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

來源鏈接