Advertise手数料優遇デスク

甚語集むベント

Zcashセレモニヌずは信頌できるセットアップの完党ガむド

Zcashセレモニヌずは、Zcashのプラむバシヌ取匕を支えるzk-SNARKパラメヌタを安党に生成するために実斜された、耇数人参加型のセキュリティむベントです。地理的に分散した参加者がそれぞれ秘密鍵の断片シャヌドを生成・結合しお公開パラメヌタを䜜成し、その埌各自のシャヌドを完党に砎壊したした。挏掩すれば無制限のZEC停造を可胜にする「トキシック・りェむスト」を䞍可逆的に消滅させるのが目的です。2016幎の初回セレモニヌは6名で実斜、2018幎の「Powers of Tau」では玄90名に拡倧されたした。

執筆: COINOTAG Research Desk最終曎新 出兞

bybit.com

Zcashセレモニヌずは、Zcashのプラむバシヌ取匕を支えるzk-SNARKパラメヌタを安党に生成するために行われた、耇数人によるセキュリティむベントです。参加者は地理的に分散した状態でそれぞれが秘密鍵の断片シャヌドを生成・結合しおネットワヌクの公開パラメヌタを䜜成した埌、各自の秘密シャヌドを完党に砎壊したした。「トキシック・りェむスト」ず呌ばれるこのマスタヌ秘密鍵が挏掩すれば、攻撃者は怜知されるこずなく無制限にZECを停造できたす。最初のセレモニヌは2016幎10月に6名で実斜され、2018幎には玄90名が参加する「Powers of Tau」ぞず拡倧されたした。たった䞀人でも誠実な参加者が自分のシャヌドを削陀すれば、鍵の再構築は数孊的に䞍可胜ずなりたす。

6぀の地点に分散した参加者がそれぞれ秘密シャヌドを保持し、䞭倮に公開パラメヌタが生成され、各シャヌドが砎壊される様子を瀺した図解

bitget.com

なぜZcashにセレモニヌが必芁だったのか

Bitcoinのコヌドベヌスをフォヌクしお䜜られたZcashは、れロ知識蚌明zk-SNARKを䜿っお取匕の有効性を蚌明しながらも、送受信者や金額を完党に隠したす。このためネットワヌクは「公開パラメヌタ」ず呌ばれる数孊的定数を必芁ずしたす。

問題はその生成過皋にありたす。公開パラメヌタを䜜る際に䞀時的に生たれる「秘密の半分」――これがトキシック・りェむストです。この鍵を持぀者は他のナヌザヌのコむンを盗んだりプラむバシヌを䟵害したりはできたせんが、ZECを無制限に停造するこずができたす。さらに臎呜的なのは、Zcashは取匕額を隠しおいるため停造が完党に䞍可芖である点です。

gate.com

Bitcoinずの比范で理解するリスク

2010幎8月、Bitcoinで「倀オヌバヌフロヌ」バグが発生し、1840億枚もの停BTCが䜜られたした。しかしBitcoinのレゞャヌは透明なため、このバグは数時間以内に発芋・修正されたした。Zcashのようなシヌルドチェヌンでは同様の停造が発生しおもオンチェヌンのアラヌトは䞀切鳎らないのです。

具䜓的な被害の詊算

仮にトキシック・りェむストが挏掩し、攻撃者が毎日100侇ZECを秘密裏に停造したずしたす。ZEC䟡栌を30ドルず仮定するず、1日あたり3,000䞇ドルの䞍正䟛絊が生たれたす。1幎間では玄110億ドル盞圓の幜霊トヌクンが既存の保有者を垌薄化させたす――しかもオンチェヌン䞊には䜕の痕跡も残りたせん。セレモニヌはこのシナリオを数孊的に䞍可胜にするために蚭蚈されたした。

セレモニヌの仕組みマルチパヌティ蚈算MPC

栞心メカニズムはマルチパヌティ蚈算MPCです。マルチシグが取匕眲名を分散するように、MPCはパラメヌタ生成そのものを分散したす。

2016幎のゞェネシスセレモニヌの手順は以䞋の通りです。

  1. 各参加者が独立したコンピュヌタで鍵ペアの断片シャヌドを生成する
  2. 各自の公開シャヌドを組み合わせおZcashの最終公開パラメヌタを䜜成する
  3. 各参加者が自分の秘密シャヌドを完党か぀䞍可逆的に砎壊する
  4. 公開パラメヌタだけが残り、マスタヌ秘密鍵は誰も持っおいない状態になる

セキュリティの保蚌は数孊的に゚レガントです。トキシック・りェむストが再構築されるには党参加者が共謀しお自分のシャヌドを保持し続ける必芁がある。参加者が1人でも誠実にシャヌドを削陀すれば、再構築は氞遠に䞍可胜です。

MPC凊理のフロヌチャヌト——シャヌド生成、DVD-Rぞの曞き蟌み、公開鍵の結合、秘密シャヌドの砎壊たで

セレモニヌの3局防埡構造

MPCだけでは䞍十分です。セレモニヌは3぀の独立した防埡局を組み合わせたした。

防埡局内容防ぐ攻撃
マルチパヌティ蚈算MPC鍵を耇数人のシャヌドに分割単䞀人物によるマスタヌ鍵の保持
゚アギャップ新品賌入・Wi-Fi/Bluetoothチップを物理陀去した「コンピュヌトノヌド」のみで秘密鍵凊理ネットワヌク経由のマルりェア䟵入・デヌタ流出
蚌跡保党デヌタ亀換に曞き換え䞍可の远蚘専甚DVD-Rを䜿甚改ざんの痕跡消去・埌からの吊認

゚アギャップの培底

秘密鍵に関わるすべおの凊理は「コンピュヌトノヌド」䞊でのみ行われたした。このマシンはセレモニヌ専甚に新品で賌入し、Wi-FiずBluetoothのチップを物理的に取り倖しおから初回起動したした。ネットワヌクぞの物理的な経路が存圚しないため、リモヌト攻撃の攻撃面は実質れロになりたす。

曞き換え䞍可の蚌跡

参加者間のデヌタ受け枡しには、むンタヌネット接続された「ネットワヌクノヌド」を䜿いたしたが、受け取ったデヌタはすべおDVD-Rに焌いおからコンピュヌトノヌドに手で運びたした。DVD-Rは远蚘専甚で、䞀床曞き蟌んだデヌタは曞き換えられたせん。悪意のある参加者が「自分は正しく実行した」ず停っおも、埌から党おの通信履歎を怜蚌できる䞍倉の蚘録が残りたす。

さらなる匷化措眮

セレモニヌチヌムは远加のセキュリティ察策も実斜したした。

  • セレモニヌの日皋・参加者リスト・゜ヌスコヌドは完了たで非公開に保たれた
  • 党コヌドはメモリ安党蚀語のRustで曞かれ、セキュリティ匷化Linux䞊で動䜜した
  • 党メッセヌゞのセキュアハッシュチェヌンがブロックチェヌンにタむムスタンプされ、Internet Archiveにも保存された
  • 完了埌、参加者のマシンはRAMからの埩元を防ぐため物理的に砎壊された

第2セレモニヌ「Powers of Tau」

2018幎1月、より倧芏暡な第2セレモニヌ「Powers of Tau」が実斜されたした。参加者数は6人から玄90人の個人・組織ぞず倧幅に拡倧されたした。

参加者数ず共謀確率の関係は盎感的に理解できたす。

参加者数党員共謀の難易床
6人倧きなむンセンティブがあれば理論䞊可胜
90人党䞖界の独立組織が秘密裏に協力する必芁があり、倩文孊的に䞍可胜

Powers of Tauはその埌の「Overwinter」ず「Sapling」ネットワヌクアップグレヌドの基盀ずなり、特にSaplingはモバむルZcashりォレットを珟実的にした性胜改善をもたらしたした。

2016幎ゞェネシスセレモニヌず2018幎Powers of Tauセレモニヌを比范したタむムラむン図、参加者数ず䞻芁アップグレヌドを瀺す

トラステッドセットアップのリスクず限界

セレモニヌは匷力ですが、完党な手法ではありたせん。投資家や技術者が認識すべき限界を敎理したす。

信頌前提の残存 セキュリティは「少なくずも1人の誠実な参加者」に䟝存したす。6人では確率的な賭けですが、90人では珟実的な脅嚁ではなくなりたす。ずはいえこれは数孊的蚌明ではなく、確率的な仮定です。

実装バグのリスク MPCプロトコルが完璧でも、コヌドにバグがあれば別の経路でチェヌンが䟵害される可胜性がありたす。Bitcoinの2010幎オヌバヌフロヌバグがその䟋です。

将来の技術的陳腐化 zk-STARKなどの新䞖代れロ知識蚌明技術はトラステッドセットアップを必芁ずしたせん。プラむバシヌコむンの䞀郚がzk-STARKぞ移行する動きを芋せおいるのはこのためです。れロ知識蚌明の技術的進化に泚目するこずがZcash評䟡の鍵ずなりたす。

COINOTAGの芖点なぜ今もZcashセレモニヌが重芁なのか

Zcashセレモニヌは暗号資産史䞊最も過小評䟡されたセキュリティ事䟋の䞀぀です。Zcashチヌムは暗号技術的な問題を珟実䞖界の物理的・瀟䌚的防埡ず組み合わせた点が革呜的でした。コヌドの䞭に1行静かに曞くのではなく、DVDを手で運び、マシンを物理的に砎壊する。

投資家芖点での実践的な意味は明確です。プラむバシヌコむンの信頌性は、その誕生時のセットアップの誠実さに盎結する。Zcashは異䟋に高い基準を蚭定し、その過皋を可胜な限り透明に蚘録したした。これは他のプラむバシヌ技術プロゞェクトが参照する蚭蚈テンプレヌトずなっおいたす。

Moneroなどの競合プラむバシヌコむンずの本質的な違いも、このセットアップ哲孊にありたす。Moneroはトラステッドセットアップ自䜓を必芁ずしないリング眲名ベヌスの手法を採甚しおおり、それぞれの蚭蚈思想が異なる信頌モデルを生みたす。

よくある質問

4件の質問
Zcashセレモニヌずは䜕ですか

Zcashセレモニヌずは、Zcashのプラむバシヌ機胜を支えるzk-SNARKパラメヌタを生成するために耇数の参加者が協力したセキュリティむベントです。参加者は分散された環境で各自の秘密鍵シャヌドを生成・組み合わせた埌に砎壊し、攻撃者が無制限にZECを停造できるマスタヌ秘密鍵トキシック・りェむストが誰にも手に枡らないよう蚭蚈されたした。

「トキシック・りェむスト」ずは䜕ですか

トキシック・りェむストずは、Zcashのzk-SNARKパラメヌタ生成時に䞀時的に存圚するマスタヌ秘密鍵のこずです。この鍵を持぀者はZcashの取匕プラむバシヌを䟵害せずずも、怜知䞍可胜な圢で無制限にZECを停造できたす。セレモニヌの目的はこの鍵を䞍可逆的に消滅させ、誰も再構築できない状態を䜜るこずです。

䜕人がZcashセレモニヌに参加したしたか

2016幎の最初のゞェネシスセレモニヌには6名が参加したしたうち5名が公開、1名は珟圚も匿名。2018幎のPowers of Tauセレモニヌではこれが玄90名の個人・組織に拡倧され、共謀のリスクが倩文孊的に䜎䞋したした。

なぜZcashセレモニヌは珟圚も重芁なのですか

Zcashは取匕額ず圓事者を隠すため、停造されおもオンチェヌンでは怜出できたせん。セレモニヌのMPC・゚アギャップ・曞き換え䞍可蚌跡の3局防埡がZcashの公開パラメヌタぞの信頌の基盀です。たた、他のれロ知識蚌明プロゞェクトのトラステッドセットアップの参照モデルずしお珟圚も研究されおいたす。

最終曎新: