zkp:使用Groth16 zkSNARK执行和验证算法的框架-源码

[{"title":"（ 63 个子文件 262KB ） zkp:使用Groth16 zkSNARK执行和验证算法的框架-源码","children":[{"title":"zkp-master","children":[{"title":".gitignore <span style='color:#111;'> 156B </span>","children":null,"spread":false},{"title":"Dockerfile <span style='color:#111;'> 598B </span>","children":null,"spread":false},{"title":"exe","children":[{"title":"Reference.hs <span style='color:#111;'> 2.02KB </span>","children":null,"spread":false},{"title":"Setup.hs <span style='color:#111;'> 2.03KB </span>","children":null,"spread":false},{"title":"Main.hs <span style='color:#111;'> 3.99KB </span>","children":null,"spread":false},{"title":"Prove.hs <span style='color:#111;'> 1.87KB </span>","children":null,"spread":false},{"title":"Verify.hs <span style='color:#111;'> 1.16KB </span>","children":null,"spread":false}],"spread":true},{"title":".ghcid <span style='color:#111;'> 105B </span>","children":null,"spread":false},{"title":"src","children":[{"title":"Protocol","children":[{"title":"Groth.hs <span style='color:#111;'> 13.39KB </span>","children":null,"spread":false}],"spread":true},{"title":"Poly.hs <span style='color:#111;'> 873B </span>","children":null,"spread":false}],"spread":true},{"title":"SECURITY.md <span style='color:#111;'> 710B </span>","children":null,"spread":false},{"title":"samples","children":[{"title":"example3_fmt.json <span style='color:#111;'> 5.59KB </span>","children":null,"spread":false},{"title":"example1_fmt.json <span style='color:#111;'> 4.86KB </span>","children":null,"spread":false},{"title":"example2_fmt.json <span style='color:#111;'> 5.61KB </span>","children":null,"spread":false},{"title":"example3.json <span style='color:#111;'> 2.54KB </span>","children":null,"spread":false},{"title":"example1.json <span style='color:#111;'> 2.18KB </span>","children":null,"spread":false},{"title":"inputs1.json <span style='color:#111;'> 15B </span>","children":null,"spread":false},{"title":"example2.json <span style='color:#111;'> 2.39KB </span>","children":null,"spread":false}],"spread":true},{"title":"README.zh.md <span style='color:#111;'> 7.05KB </span>","children":null,"spread":false},{"title":"LICENSE <span style='color:#111;'> 54B </span>","children":null,"spread":false},{"title":".assets","children":[{"title":"circuit.png <span style='color:#111;'> 30.97KB </span>","children":null,"spread":false},{"title":"groth16_zh.png <span style='color:#111;'> 97.73KB </span>","children":null,"spread":false},{"title":"adjoint.png <span style='color:#111;'> 3.27KB </span>","children":null,"spread":false},{"title":"groth16.png <span style='color:#111;'> 158.01KB </span>","children":null,"spread":false}],"spread":true},{"title":"cabal.project <span style='color:#111;'> 100B </span>","children":null,"spread":false},{"title":".ghci <span style='color:#111;'> 397B </span>","children":null,"spread":false},{"title":"zkp.cabal <span style='color:#111;'> 5.28KB </span>","children":null,"spread":false},{"title":"bench","children":[{"title":"Protocol.hs <span style='color:#111;'> 1.71KB </span>","children":null,"spread":false},{"title":"Bench.hs <span style='color:#111;'> 473B </span>","children":null,"spread":false},{"title":"Bench","children":[{"title":"Reference.hs <span style='color:#111;'> 1.23KB </span>","children":null,"spread":false},{"title":"Protocol.hs <span style='color:#111;'> 1.61KB </span>","children":null,"spread":false},{"title":"Poly.hs <span style='color:#111;'> 1009B </span>","children":null,"spread":false}],"spread":false},{"title":"Poly.hs <span style='color:#111;'> 1012B </span>","children":null,"spread":false}],"spread":false},{"title":".github","children":[{"title":"workflows","children":[{"title":"cabal.yml <span style='color:#111;'> 1024B </span>","children":null,"spread":false},{"title":"stack.yml <span style='color:#111;'> 1.54KB </span>","children":null,"spread":false}],"spread":false}],"spread":false},{"title":"spec","children":[{"title":"QAP.hs <span style='color:#111;'> 724B </span>","children":null,"spread":false},{"title":"Protolude.spec <span style='color:#111;'> 1.59KB </span>","children":null,"spread":false},{"title":"Protolude.hs <span style='color:#111;'> 187B </span>","children":null,"spread":false},{"title":"Circuit","children":[{"title":"Arithmetic.hs <span style='color:#111;'> 53B </span>","children":null,"spread":false}],"spread":false},{"title":"Data","children":[{"title":"Euclidean.hs <span style='color:#111;'> 44B </span>","children":null,"spread":false},{"title":"Field","children":[{"title":"Galois.hs <span style='color:#111;'> 89B </span>","children":null,"spread":false}],"spread":false},{"title":"Pairing","children":[{"title":"BN254.spec <span style='color:#111;'> 37B </span>","children":null,"spread":false},{"title":"BN254.hs <span style='color:#111;'> 711B </span>","children":null,"spread":false}],"spread":false},{"title":"Curve.hs <span style='color:#111;'> 757B </span>","children":null,"spread":false},{"title":"Aeson.hs <span style='color:#111;'> 58B </span>","children":null,"spread":false},{"title":"Curve.spec <span style='color:#111;'> 29B </span>","children":null,"spread":false},{"title":"Text","children":[{"title":"Prettyprint","children":[{"title":"Doc.hs <span style='color:#111;'> 327B </span>","children":null,"spread":false}],"spread":false}],"spread":false},{"title":"Curve","children":[{"title":"Weierstrass.hs <span style='color:#111;'> 87B </span>","children":null,"spread":false}],"spread":false},{"title":"Poly.spec <span style='color:#111;'> 23B </span>","children":null,"spread":false},{"title":"Poly.hs <span style='color:#111;'> 198B </span>","children":null,"spread":false}],"spread":false},{"title":"Test","children":[{"title":"QuickCheck.hs <span style='color:#111;'> 104B </span>","children":null,"spread":false},{"title":"QuickCheck","children":[{"title":"Arbitrary","children":[{"title":"Generic.hs <span style='color:#111;'> 96B </span>","children":null,"spread":false}],"spread":false}],"spread":false}],"spread":false},{"title":"QAP.spec <span style='color:#111;'> 0B </span>","children":null,"spread":false}],"spread":false},{"title":"README.md <span style='color:#111;'> 8.38KB </span>","children":null,"spread":false},{"title":"example <span style='color:#111;'> 283B </span>","children":null,"spread":false},{"title":"package.yaml <span style='color:#111;'> 2.30KB </span>","children":null,"spread":false},{"title":"README.de.md <span style='color:#111;'> 7.96KB </span>","children":null,"spread":false},{"title":"test","children":[{"title":"Test.hs <span style='color:#111;'> 65B </span>","children":null,"spread":false},{"title":"Test","children":[{"title":"Arithmetic.hs <span style='color:#111;'> 6.95KB </span>","children":null,"spread":false},{"title":"Groth.hs <span style='color:#111;'> 5.92KB </span>","children":null,"spread":false},{"title":"Poly.hs <span style='color:#111;'> 2.01KB </span>","children":null,"spread":false}],"spread":false}],"spread":false},{"title":"ChangeLog.md <span style='color:#111;'> 49B </span>","children":null,"spread":false},{"title":"stack.yaml <span style='color:#111;'> 389B </span>","children":null,"spread":false}],"spread":false}],"spread":true}]