【CTO Tech Blog】ゼロ知識セットメンバーシップ証明を可能にするCurve Treesの仕組み
- CTO Tech blog
当社のCTO、安土 茂亨がクラウドやBlockchainについて書き連ねるブログ Develop with pleasure! から最新記事をご紹介するCTO Tech Blog。
今回は「ゼロ知識セットメンバーシップ証明を可能にするCurve Treesの仕組み」というタイトルの記事をご紹介！！
📦 ブログ記事の概要
📄 概要
Curve Treesは、ある要素が集合に含まれていることを、要素そのものやマークルパスを公開せずに証明できるよう設計されたデータ構造および証明スキームです。
通常のマークルツリーでは兄弟ノードを含む認証パスを提示しますが、Curve Treesでは各ノードをPedersen Commitmentで構成し、ルート以外の情報を隠したままメンバーシップをゼロ知識で証明します。
⚙️ 技術的ポイント
- 分岐数を大きくした浅いマークルツリーを使い、証明が必要な階層数を減らす。
- 各ノードは、子ノードの座標とブラインド値をまとめたPedersen Commitmentとして計算する。
- 階層ごとに異なる楕円曲線を切り替える2-cycle曲線により、子ノードの座標を次の階層のスカラーとして利用する。
- Permissible Pointを使ってy座標を省略し、x座標だけでコミットメントを構成し、必要な生成元の数を半減する。
- 各階層でコミットメントを再ランダム化し、どの子を選んだか、どのノードを通ったかを隠す。
- 「親が子全体をコミットしていること」と「その子の1つを選んだこと」を算術回路として表現し、Bulletproofsなどで証明する。
💡 技術的意義
Curve Treesでは、公開される情報をツリーのルートに限定し、リーフの値や集合内の位置、認証パスを秘匿したままメンバーシップを証明できます。
そのため、Moneroの匿名性強化や、BitcoinのUTXO情報を明かさずに所有を証明する仕組みなど、プライバシーを重視する暗号資産・認証システムへの応用が期待されています。
📌 まとめ
本記事は、ゼロ知識証明、匿名暗号資産、Pedersen Commitment、Bulletproofsに関心のあるエンジニアや研究者におすすめです。
特に、通常のマークル証明では漏れてしまう要素やパスの情報を、どのように代数的なコミットメントとゼロ知識証明で隠すのかを理解するうえで参考になる内容です。
🔗元記事へのリンク
Chaintopeでブロックチェーンの未来を共に創りませんか？
Chaintopeは、独自のブロックチェーン「Tapyrus（タピルス）」と、開発プラットフォーム「Tapyrus Platform」を活用し、デジタル社会の信頼基盤を構築しています。
私たちは、ブロックチェーン技術の可能性を最大限に引き出し、社会に新しい価値を提供することを目指しています。
募集職種：
- ブロックチェーンエンジニア
- アプリケーションエンジニア
- インフラ・保守エンジニア
- プロジェクトマネージャー
- フィールドセールス
Chaintopeで働く魅力：
- 最先端のブロックチェーン技術に触れる機会
- リモートワークやフレックスタイム制による柔軟な働き方
- 専門性の高いチームとの協働
ブロックチェーン技術に情熱を持つあなたのスキルを、私たちのチームで活かしませんか？
↓↓詳細は、採用情報をご覧ください↓↓