ZoKrates

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

Railgun 是一個適用於以太坊和 EVM 網路的隱私協定，透過零知識證明提供受保護的交易和私密的去中心化金融 (DeFi) 互動。

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

Noir 是一種受 Rust 啟發的語言，用於編寫零知識電路，具有對開發人員友善的語法，其工具由 Aztec 維護。

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

Aztec 是一個隱私優先的以太坊匯總和開發人員平台，用於建置具有可程式化隱私和零知識證明的應用程式。