circom:zkSNARK的电路编译器

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