Halo2

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

Railgunは、ゼロ知識証明を使用してシールドされたトランザクションとプライベートな分散型金融 (DeFi) の対話を提供する、イーサリアムおよびEVMネットワーク向けのプライバシープロトコルです。

Noirは、Aztecによって保守されている開発者に優しい構文とツールを備えた、ゼロ知識回路を記述するためのRustにインスパイアされた言語です。

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

Aztecは、プログラマブルなプライバシーとゼロ知識証明を備えたアプリケーションを構築するための、プライバシーファーストのイーサリアムロールアップおよび開発者プラットフォームです。

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