跳转到主要内容
合约工具

snark-verifier (Axiom)

ZK 电路与隐私

在 GitHub 上查看 （在新标签页中打开）

查看下一个

Anon Aadhaar

关于 snark-verifier (Axiom)

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their proofs onchain.

标签

  • 验证
  • Solidity
  • Gas 优化

代码库axiom-crypto

包https:

信息

类型
ZK 电路与隐私
GitHub 星标数
106
许可证
Apache-2.0
收录审核时间
2026年9月

类似工具

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 是一种领域特定语言和编译器，用于编写和编译零知识证明系统中使用的算术电路。