详解 crypto新推出的两款SNARK工具

NARK （简洁的非交互式知识参数）是一种加密协议，任何人都可以向不信任的验证者证明它知道满足某些属性的“证人” 。

• 在 Web 3 中的一个突出用例是 L 2 向 L 1 证明它们知道授权一系列交易的数字签名，因此签名本身不必由 L 1 网络存储和验证，从而提升可扩展性。

• 在区块链之外的应用包括：快速证明不受信任的硬件设备产生的所有输出的有效性，确保用户可以信任它们。个人可以以零知识的方式证明 ，受信任的当局已向他们颁发了凭证，证明他们的年龄足以访问有年龄限制的内容，而无需透露其出生日期。任何通过网络发送加密数据的人都可以向管理员证明该数据符合网络策略，而无需透露更多细节。

虽然许多 SNARK 对验证者来说保持有吸引力的成本，但 SNARK 通常仍会在证明者计算中引入约六个数量级的开销。证明者所承受的额外工作是高度并行化的，但数百万倍的开销严重限制了 SNARK 的应用范围。