ZKsync EraVM 操作码定义
ZKsync 非环式 EraEVM 实现
zkEVM 公共工具
尝试使用 DuckDuckGo 搜索。
halo2 中哈希函数的 ZK 梳理工具。这是 Axiom 对 zkEVM 项目中电路的修改。