文件名称：Spartan:斯巴达人
文件大小：69KB
文件格式：ZIP
更新时间：2024-05-05 06:49:25
cryptography-library rust-library zksnarks nizk zero-knowledge-proofs
Spartan：无需信任设置的高速zkSNARK Spartan是一个高速的零知识证明系统，它是一种加密原语，使证明者可以向验证者证明数学陈述，而无需透露陈述的有效性。 该存储库提供libspartan,是一个Rust库，它实现了零知识的简洁非交互式知识论点（zkSNARK），这是一种具有短证明和快速验证时间的零知识证明系统。 我们在发表的中介绍了Spartan证明系统的详细信息。 在此库中实现的Spartan变体的安全性基于随机预言模型中的离散对数问题。 一个简单的示例应用程序正在证明一个秘密s的知识，以使公共d的H（s）== d，其中H是加密哈希函数（例如SHA-256，Keccak）。 一个更复杂的应用程序是一个由数据库支持的云服务，该服务为可审计性提供正确的状态机转换证明。 看到这个的概述，该的详细信息。 请注意，该库尚未收到安全审查或审核。 强调 现在，我们重点介绍Spar
【文件预览】：
Spartan-master
----.gitignore(327B)
----benches()
--------snark.rs(4KB)
--------nizk.rs(3KB)
----src()
--------timer.rs(2KB)
--------unipoly.rs(6KB)
--------nizk()
--------group.rs(3KB)
--------sparse_mlpoly.rs(52KB)
--------random.rs(684B)
--------r1csproof.rs(19KB)
--------transcript.rs(2KB)
--------errors.rs(993B)
--------dense_mlpoly.rs(16KB)
--------product_tree.rs(15KB)
--------commitments.rs(2KB)
--------r1csinstance.rs(10KB)
--------math.rs(676B)
--------sumcheck.rs(25KB)
--------scalar()
--------lib.rs(15KB)
----SECURITY.md(3KB)
----NOTICE.md(6KB)
----CONTRIBUTING.md(915B)
----CODE_OF_CONDUCT.md(453B)
----LICENSE(1KB)
----Cargo.toml(1KB)
----.github()
--------workflows()
----examples()
--------cubic.rs(4KB)
----README.md(15KB)
----profiler()
--------snark.rs(2KB)
--------nizk.rs(2KB)
----rustfmt.toml(104B)