跳转到主要内容
合约工具

Sonobe

ZK 电路与隐私

访问网站 （在新标签页中打开）GitHub 上的 Sonobe （在新标签页中打开）

查看下一个

snark-verifier (Axiom)

关于 Sonobe

一个模块化折叠库，支持多种折叠方案（Nova、HyperNova、ProtoGalaxy、CycleFold）和决策器后端（Groth16、KZG），用于增量可验证计算。支持 Arkworks、Circom、Noir 和 Noname 前端。

标签

  • 注重隐私
  • 可扩展性
  • SDK

代码库privacy-scaling-explorations

信息

类型
ZK 电路与隐私
GitHub 星标数
288
许可证
MIT
收录审核时间
2026年7月

类似工具

ZK Email

ZK Email

ZK Email 提供电路和 SDK，用于在链上证明关于已编辑电子邮件副本的事实。当你需要保护隐私的身份或收据检查，而又不想暴露收件箱信息时，它非常有用。

SP1 (Succinct)

SP1 (Succinct)

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

Circom

Circom

Circom 是一种领域特定语言和编译器，用于编写和编译零知识证明系统中使用的算术电路。