Scalable zk-SNARK
... entire process of proof is solely multiplicative constant costs overtime and additivecosts in memory. Thus, the described implementation of zk-SNARK has two important properties: capacity and incremental computability.
Demochkina P.B.
zk-SNARK, Zcash, zero-knowledge proof, scalability, incrementally computable
34-41