如下图所示，我们将名称zk-stark 和 zk-snark根据功能特点分别分成四个部分，然后逐个比较分析。
zk：零知识，表明隐私的输入将会被隐藏，除了证明者，其他任何人不会看见；
s：可扩展的，和Replay Computation的验证耗时相比，zk-stark的证明和验证耗时分别与之呈拟线性关系和对数关系；
t：透明的，zk-stark算法没有CRS setup by Trusted party；
arg：知识论证，只有知道private input的prover，才能生成有效的proof；
zk：零知识，表明隐私的输入将会被隐藏，除了证明者，其他任何人不会看见；
s：简洁的，指的是生成的proof足够小和验证时间足够短；
n：非交互式的，Prover生成证明的过程中和verifier没有交互；
arg：知识论证，只有知道private input的prover，才能生成有效的proof；
相同点