跳至主要內容
合約工具

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 是一種領域特定語言和編譯器，用於編寫和編譯零知識證明系統中使用的算術電路。