我曾经讨厌 Circom，但现在它变得轻而易举。这里是一个强大的环境，可以帮助您进行电路原型设计、开发和测试： - 无需配置的 Hardhat 插件 - 管理并下载适合您机器架构的 Circom 编译器 - 为电路信号生成 TypeScript 类型，以便在测试中使用 - 仅重新编译修改过的电路 - 通过 Chai 断言允许见证 + 替代测试 - 支持 Groth16 和 Plonk 证明系统 - 自动下载 phase-1 PTAU 文件 - 可选为 Vyper 爱好者生成 Vyper 验证器 再也不碰命令行了。