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