snarkjs

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

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

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

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

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

MACI (Minimal Anti-Collusion Infrastructure) 使用零知識證明在以太坊上實現抗共謀、私密的投票和信號系統。