Spartan

Spartan: 高速的无可信设置的 zkSNARKs

Spartan 是一种高速的零知识证明系统,是一种密码学原语,使得证明人可以向验证人证明一个数学公式,而不透露公式的有效性以外的任何信息。本仓库提供 libspartan,这是一个 Rust 库,实现了零知识简洁非交互式知识证明 (zkSNARK),这是一种具有短证明和快速验证时间的零知识证明系统。Spartan 验证系统的详细信息描述在我们在 CRYPTO 2020 上发表的 论文 中。本库中实现的 Spartan 变体的安全性基于随机神经模型中的离散对数问题。

一个简单的示例应用是证明一个秘密 s，使得 H(s) == d，其中 H 是一个密码哈希函数（例如，SHA-256、Keccak）。一个更复杂的应用是一个基于数据库的云服务，该服务生成正确状态机转换的证明，以便进行审计。请参阅这篇 论文 了解概述，并参阅这篇 论文 了解详细信息。

• 无"有毒"废物： Spartan 是一个透明的 zkSNARK，不需要可信的设置。因此，它不涉及任何必须保密的陷阱或需要多方仪式才能生成公共参数。

• 标准化安全性： Spartan 的安全性依赖于计算离散对数的难度（一种标准方法）。