gnark

gnark zk-SNARK 库

Go 中的高性能 zk-SNARKs。 gnark 提供了一个高级 API,用于定义电路,然后编译、证明和使用生产级的证明系统进行验证。它是 Apache 2.0 许可的开源软件,并使用 [gnark-crypto] 进行域算术和密码学基元。 gnark 依赖 Linea zk-rollup。通过提交 PR 将您的项目添加到 已知用户 中。

为什么要使用 gnark

• 使用 Go 语言开发电路
• 迅速的证明和验证后端
• std/ 中的可重复使用的标准小工具
• 积极的安全和回归测试文化

有用链接

• [gnark 用户文档]

• [gnark 练习场]

• [gnark 问题]

• [gnark 基准测试`](https://docs.gnark.consensys.net/overview#gnark-is-fast)

• [gnark-announce] - 版本和安全公告

• 固化验证器导出支持取决于曲线（BN254 是主要目标）。 - 序列化格式不保证跨版本的稳定性。

gnark 和 [gnark-crypto] 经过了 广泛的审计,但提供的原样,不提供任何保证或担保。特别是,gnark 不保证具有常时实现或抵御侧通道攻击的能力。

[][gnark User Documentation]