文件名称：算术电路：零知识证明系统的算术电路
文件大小：411KB
文件格式：ZIP
更新时间：2024-02-21 07:54:07
compiler qap zero-knowledge zk-snarks zksnarks
算术电路：零知识证明系统的算术电路
【文件预览】：
arithmetic-circuits-master
----arithmetic-circuits.cabal(6KB)
----package.yaml(2KB)
----default.nix(1KB)
----README.tex.md(10KB)
----.github()
--------workflows()
----test()
--------Test()
--------Main.hs(65B)
----stack.yaml(286B)
----LICENSE(1KB)
----tex()
--------26affbf877c9c00bcf2d4f78f88cedbf.svg(10KB)
--------cc073b29543f2694def1c15e2d40cb07.svg(9KB)
--------d42ecdc0230bb52bdc11f68c73872136.svg(12KB)
--------580e7a6446bf50562e34247c545883a2.svg(4KB)
--------d5c18a8ca1894fd3a7d25f242cbe8890.svg(3KB)
--------79bf90d763b01295f18042a947d15f47.svg(73KB)
--------1c1d4fa3482507a0a0ce9485579cc4a9.svg(16KB)
--------083da1124b81d709f20f2575ae9138c3.svg(6KB)
--------57e4d6a592fb9f580ff984df8690de97.svg(15KB)
--------86c8263cd0afa711b888c85bcb5b03a3.svg(14KB)
--------2d4c6ac334688c42fb4089749e372345.svg(3KB)
--------2441df23627a504b2a4c6f5006893fd6.svg(4KB)
--------93142ace5b2eb0030ca1965b85a73a66.svg(54KB)
--------4fc182d9ca10181f85444d64991b4f62.svg(11KB)
--------52be0087c9da1f0683ccc50761e8bcab.svg(6KB)
--------465343d6773512ce7812f866f58faf28.svg(16KB)
--------36b962f85e4e4de2a88919a5e00acbe1.svg(17KB)
--------e5079841837a9e98336245a5ecdb2538.svg(10KB)
--------d6b98fe1452c7c16cfd1ad84a2e7331b.svg(22KB)
--------f041cced24931de6e6fbe77cf7fdc920.svg(13KB)
--------f9e3fcc232472e1452f06786885029ed.svg(17KB)
--------9b325b9e31e85137d1de765f43c0f8bc.svg(3KB)
--------d1dd493c98f06e9ef29b5fdc411e29f8.svg(7KB)
--------a420c52aa24a502d60aef830b3b45f9f.svg(5KB)
--------05487edead6a212f2c6b0eb882e301bf.svg(12KB)
--------2ad9d098b937e46f9f58968551adac57.svg(3KB)
--------065fdfe9ba3a8e9e839cea21d15eb1cd.svg(11KB)
--------2f2322dff5bde89c37bcae4116fe20a8.svg(2KB)
--------a45a5d659b15986b26d1aeba7c808734.svg(13KB)
--------c8a92e9bd23d2e4841e72114a69462d7.svg(11KB)
--------71d71cc186d8238f79d664af6a48289f.svg(13KB)
--------cffdae575457ef8fadc2d1cd93b792ef.svg(36KB)
--------adb478d926594d9e619831f4836194e3.svg(60KB)
--------89f2e0d2d24bcf44db73aab8fc03252c.svg(3KB)
--------6e1ad13b9c0521871bb453942700c519.svg(10KB)
--------c0ea121dfdf29950f20f29c86635f197.svg(12KB)
--------2c4cf6568afbabb029a579215dfa6e3e.svg(10KB)
--------e7994598838dc8af6fb203d13bc3690c.svg(13KB)
--------5e27bca98285ab8eccf4d53506baeaec.svg(5KB)
--------9000cff3d46536c190fabb076ebe7cbb.svg(5KB)
--------35236ef1f3e0c0947de75db667603ae3.svg(17KB)
--------66eff114f6c4385dd25cca62457ad776.svg(11KB)
--------55a049b8f161ae7cfeb0197d75aff967.svg(3KB)
--------0f09f0722e54ac8fb3ecb99b00156bbc.svg(11KB)
--------258504deb4909bd9a3058fffbdb20262.svg(17KB)
--------93695159b317a047750512fe6c997521.svg(13KB)
--------7585b855b6b56838a0569b062b5478f0.svg(17KB)
--------ce8bc0cdbc2970342fabcc02e3d83914.svg(50KB)
--------3d688cfd3f6ea02dead75f511c40e5c0.svg(108KB)
--------661afe19025c1f97ae61a41f91d325e9.svg(16KB)
--------7bfea768905ffffe4fc4a7ad428c05b2.svg(45KB)
--------03928532e020cc2450c9e305aa51e636.svg(22KB)
--------7592e8ca3cc64009a29ef0fb58f65c76.svg(5KB)
--------cf792d8b490521d817a643a4adea6f28.svg(17KB)
--------e669a12254dafeeb34eec7c07244ce05.svg(55KB)
--------bf01d477a12bededfd9d65617fedacc9.svg(8KB)
--------817efae2209aae0ea92bdb9b7816127e.svg(82KB)
--------85a105718538df533c60d0d34caeac95.svg(12KB)
--------dc35769e37858254d0d77fab2d83bcf4.svg(10KB)
--------ad84179c73fb68d93d2a147cce2cb19c.svg(13KB)
--------b2584d6517f9c72bcd800016d8d1fa0d.svg(6KB)
----src()
--------Circuit.hs(173B)
--------Circuit()
--------QAP.hs(21KB)
--------Fresh.hs(293B)
----bench()
--------Circuit.hs(1KB)
--------Main.hs(279B)
----.gitignore(99B)
----.assets()
--------adjoint.png(3KB)
--------circuit.png(31KB)
--------arithmetic-circuit-example.svg(7KB)
----Example.hs(895B)
----README.lhs(13B)
----stack.yaml.lock(4KB)
----.circleci()
--------config.yml(577B)
----stylish-haskell.yaml(738B)
----README.md(15KB)
----ChangeLog.md(130B)
----.hlint.yaml(431B)