合約工具

snark-verifier (Axiom)

ZK 電路與隱私

驗證 · Solidity · Gas 最佳化

axiom-crypto/snark-verifier https://crates.io/crates/snark-verifier

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.

相關資源

ZK Email

ZK Email 提供電路和 SDK，用於在鏈上證明關於已編輯電子郵件副本的事實。當您想要在不洩露收件匣內容的情況下進行保護隱私的身分或收據檢查時，這非常有用。

Self Protocol

Self Protocol 提供開放的身分和證明原語，當建構者需要與錢包或憑證綁定的保護隱私驗證流程時，可以將其嵌入。

zkTLS/ TLSNotary

zkTLS / TLSNotary 是一個開放協定，用於透過 MPC 證明 TLS 工作階段的屬性，讓驗證者可以在不查看完整明文的情況下信任副本。

Circom

Circom 是一種領域特定語言和編譯器，用於編寫和編譯零知識證明系統中使用的算術電路。

snarkjs

snarkjs 是一個 JavaScript 和 CLI 工具包，用於產生和驗證 zkSNARK 證明，以及在 Node.js 和瀏覽器中執行常見的證明工作流程。

Semaphore

Semaphore 是一個用於私密群組成員資格證明的零知識協定，可在不透露身分的情況下實現匿名信號傳遞和身分驗證。