文件名称：circom:zkSNARK的电路编译器
文件大小：158KB
文件格式：ZIP
更新时间：2024-05-17 23:46:31
JavaScript
Circom Circom是一种旨在编写可用于零知识证明的算术电路的语言。 特别是，它旨在在。 用法 Circom文件 您可以在阅读有关circom的详细信息。 教程 一个很好的起点 这部也是一个很好的起点。 第一回路 创建电路。 这是一个与非门的示例： template NAND() { signal private input a; signal input b; signal output out; out <== 1 - a*b; a*(a-1) === 0; b*(b-1) === 0; } component main = NAND(); 该语言主要使用JavaScript / C语法以及5个额外的运算符来定义以下约束： <== ， ==> ：这两个运算符用于连接信号，同时暗示一个约束。 如以上示例所示，将值分配给out
【文件预览】：
circom-master
----.gitignore(988B)
----Project.sublime-project(473B)
----package.json(980B)
----cli.js(5KB)
----package-lock.json(179KB)
----src()
--------buildsyms.js(4KB)
--------compiler.js(21KB)
--------streamfromarray_bin.js(449B)
--------bigarray.js(2KB)
--------construction_phase.js(34KB)
--------streamfromarray_txt.js(1KB)
--------ctx.js(6KB)
--------build.js(14KB)
--------utils.js(2KB)
--------gencode.js(40KB)
--------lcalgebra.js(17KB)
--------iterateast.js(2KB)
--------r1csfile.js(5KB)
----TUTORIAL.md(8KB)
----doc()
--------r1cs_bin_format.md(39KB)
--------lc_example.monopic(1KB)
--------wasmmodule.c(861B)
----index.js(230B)
----COPYING(34KB)
----utils()
--------mergesymbols.js(1KB)
----.eslintrc.js(512B)
----README.md(7KB)
----parser()
--------jaz.js(60KB)
--------jaz.jison(20KB)
----ports()
--------c()
--------wasm()
----test()
--------basiccases.json(9KB)
--------circuits()
--------basiccases.js(2KB)