以太坊二層網絡解決方案Hermez開源項目所使用的Circom電路
以太坊二層網絡解決方案Hermez宣布開源在項目中使用的Circom電路。 Hermez表示,電路是一組約束和規則,協調人必須遵循這些約束或規則處理所有允許的交易,並且為了生成批量的zk-SNARK有效性證明,該證明將在以太坊主網上進行驗證。 Hermez的電路是由Circom編寫的,Circom是iden3零知識技術堆棧中使用的編程語言,與其他電路編譯器不同的是,Circom是一種DSL語言,語法類似於C和javascript。 Hermez還表示他們建立了一個關於密碼學的通用電路庫circomlib,其他項目已經在使用它,比如Semaphore和Tornado.cash。
评论
推荐阅读