Consensys 对于 SNARKs 与 STARKs 的对比

[Whisker17]

Zero-Knowledge Proofs: STARKs vs SNARKs

[Whisker17]

[Whisker17]

• 在密码学中，椭圆曲线是在这样一个基本假设下运行的，即在已知的基点上寻找随机椭圆曲线元素的离散对数是不可行的。

[Whisker17]

• 可信设置是指用于创建隐私交易所需证明和验证这些证明的密钥的初始创建事件。
• 最初，当创建这些密钥时，验证密钥和发送隐私交易的密钥之间存在一个隐藏参数。
• 如果用于在可信设置事件中创建这些密钥的秘密没有被破坏，这些秘密可用于通过虚假验证伪造交易，使持有者能够执行操作，例如凭空创建新代币并将其用于交易

[Whisker17]

• 据估计，SNARKs 的 Gas 需求量仅为 STARKs 的24%，这意味着终端用户与 SNARKs 的交易将会便宜得多。
• 最后，SNARKs 的证明尺寸比 STARKs 小得多，这意味着它需要更少的链上存储。