文件名称：zkp:使用Groth16 zkSNARK执行和验证算法的框架
文件大小：262KB
文件格式：ZIP
更新时间：2024-05-04 18:05:20
zero-knowledge zk-snarks zksnark zero-knowledge-proofs zkp
ZKP ZKP是一种实用的零知识证明系统，可提供任意计算的小型且计算效率高的零知识证明。 该系统使我们能够以廉价，快速的验证时间构造简洁的非交互式证明。 下图描述了证明生成系统的拓扑。 编译阶段 程序建设 受信任的设置 证明生成 证明验证 程序建设 程序构建是由其他库开发的，这些库发出标准的JSON协议，该协议描述了门的功能组成，这些门计算加法，乘法和带线运算。 该库可以简单地使用任何其他编译器或库来发出JSON作为其交换格式。 包提供了电路构造语言的参考库。 受信任的设置 可以从命令行运行受信任的设置。 这将生成为特定电路设置所需的一次参数。 设置参数可以随后销毁，也可以在Shamir秘密共享配置中分发。 Shamir共享允许一个n-of-m的设置，其中至少n个参与者必须组合其秘密部分以重建受信任的设置。 zkp setup --prover Groth16 --input
【文件预览】：
zkp-master
----.gitignore(156B)
----Dockerfile(598B)
----exe()
--------Reference.hs(2KB)
--------Setup.hs(2KB)
--------Main.hs(4KB)
--------Prove.hs(2KB)
--------Verify.hs(1KB)
----.ghcid(105B)
----src()
--------Protocol()
--------Poly.hs(873B)
----SECURITY.md(710B)
----samples()
--------example3_fmt.json(6KB)
--------example1_fmt.json(5KB)
--------example2_fmt.json(6KB)
--------example3.json(3KB)
--------example1.json(2KB)
--------inputs1.json(15B)
--------example2.json(2KB)
----README.zh.md(7KB)
----LICENSE(54B)
----.assets()
--------circuit.png(31KB)
--------groth16_zh.png(98KB)
--------adjoint.png(3KB)
--------groth16.png(158KB)
----cabal.project(100B)
----.ghci(397B)
----zkp.cabal(5KB)
----bench()
--------Protocol.hs(2KB)
--------Bench.hs(473B)
--------Bench()
--------Poly.hs(1012B)
----.github()
--------workflows()
----spec()
--------QAP.hs(724B)
--------Protolude.spec(2KB)
--------Protolude.hs(187B)
--------Circuit()
--------Data()
--------Test()
--------QAP.spec(0B)
----README.md(8KB)
----example(283B)
----package.yaml(2KB)
----README.de.md(8KB)
----test()
--------Test.hs(65B)
--------Test()
----ChangeLog.md(49B)
----stack.yaml(389B)