コントラクトツールVerifiable UBTZK回路とプライバシープライバシー重視 · 検証tkmct/go-ethereum(2 ☆) (新しいタブで開きます)Unified Binary Trie(UBT)とマークル・パトリシア・トライの状態更新がイーサリアムのブロックごとに一致することを検証する再帰的なzkVM証明を生成します。ライトクライアントとプライベート情報検索のためのトラストレスな状態検証を可能にします。関連リソースZK EmailZK Emailは、編集されたメールのトランスクリプトに関する事実をオンチェーンで証明するための回路とSDKを提供します。受信トレイを晒すことなく、プライバシーを保護した身元確認やレシートの確認を行いたい場合に便利です。RailgunRailgunは、ゼロ知識証明を使用してシールドされたトランザクションとプライベートな分散型金融 (DeFi) の対話を提供する、イーサリアムおよびEVMネットワーク向けのプライバシープロトコルです。NoirNoirは、Aztecによって保守されている開発者に優しい構文とツールを備えた、ゼロ知識回路を記述するためのRustにインスパイアされた言語です。snarkjssnarkjsは、ZK-SNARK証明を生成および検証し、Node.jsおよびブラウザで一般的な証明ワークフローを実行するためのJavaScriptおよびCLIツールキットです。AztecAztecは、プログラマブルなプライバシーとゼロ知識証明を備えたアプリケーションを構築するための、プライバシーファーストのイーサリアムロールアップおよび開発者プラットフォームです。CircomCircomは、ゼロ知識証明システムで使用される算術回路を記述およびコンパイルするためのドメイン固有言語およびコンパイラです。