以太坊二层网络解决方案 Hermez 开源项目所使用的 Circom 电路

以太坊二层网络解决方案 Hermez 宣布开源在项目中使用的 Circom 电路。Hermez 表示，电路是一组约束和规则，协调人必须遵循这些约束或规则处理所有允许的交易，并且为了生成批量的 zk-SNARK 有效性证明，该证明将在以太坊主网上进行验证。Hermez 的电路是由 Circom 编写的，Circom 是 iden3 零知识技术堆栈中使用的编程语言，与其他电路编译器不同的是，Circom 是一种 DSL 语言，语法类似于 C 和 javascript。Hermez 还表示他们建立了一个关于密码学的通用电路库 circomlib，其他项目已经在使用它，比如 Semaphore 和 Tornado.cash。