snark-verifier (Axiom)

ZK Emailは、編集されたメールのトランスクリプトに関する事実をオンチェーンで証明するための回路とSDKを提供します。受信トレイを晒すことなく、プライバシーを保護した身元確認やレシートの確認を行いたい場合に便利です。

Self Protocolは、ウォレットやクレデンシャルに結びついたプライバシー保護の検証フローが必要な場合に、ビルダーが組み込むことができるオープンなアイデンティティと証明のプリミティブを提供します。

zkTLS / TLSNotaryは、MPCを使用してTLSセッションのプロパティを証明するためのオープンプロトコルであり、これにより検証者は完全なプレーンテキストを見ることなくトランスクリプトを信頼できます。

Circomは、ゼロ知識証明システムで使用される算術回路を記述およびコンパイルするためのドメイン固有言語およびコンパイラです。

snarkjsは、ZK-SNARK証明を生成および検証し、Node.jsおよびブラウザで一般的な証明ワークフローを実行するためのJavaScriptおよびCLIツールキットです。

Semaphoreは、プライベートなグループメンバーシップ証明のためのゼロ知識プロトコルであり、アイデンティティを明らかにすることなく匿名のシグナリングと認証を可能にします。