Halo2

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

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

使用零知識證明進行私密身分驗證。在不透露任何個人資訊的情況下驗證年齡、國家或人格證明。採用行動優先設計，提供用於整合的 SDK 和鏈上註冊合約。

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

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

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