Contract toolingHalo2ZK circuits & privacy注重隱私 · 擴展性 · 開發者體驗 · 驗證privacy-scaling-explorations/halo2(250 ☆) (opens in a new tab)PSE 重新架構的 Zcash Halo2 PLONK 證明系統分叉，具有帶有 Solidity 驗證者的 KZG 後端，可實現經濟的第一層 (L1) 驗證，支援多個橢圓曲線，並採用解耦的前端/後端架構。Related resourcesZK EmailZK Email 提供電路和 SDK，用於在鏈上證明關於已編輯電子郵件副本的事實。當您想要在不洩露收件匣內容的情況下進行保護隱私的身分或收據檢查時，這非常有用。RailgunRailgun 是一個適用於以太坊和 EVM 網路的隱私協定，透過零知識證明提供受保護的交易和私密的去中心化金融 (DeFi) 互動。snarkjssnarkjs 是一個 JavaScript 和 CLI 工具包，用於產生和驗證 zkSNARK 證明，以及在 Node.js 和瀏覽器中執行常見的證明工作流程。NoirNoir 是一種受 Rust 啟發的語言，用於編寫零知識電路，具有對開發人員友善的語法，其工具由 Aztec 維護。CircomCircom 是一種領域特定語言和編譯器，用於編寫和編譯零知識證明系統中使用的算術電路。AztecAztec 是一個隱私優先的以太坊匯總和開發人員平台，用於建置具有可程式化隱私和零知識證明的應用程式。
