pacts

ビットコインの量子計算に関する懸念は常に「中本聡関連の難題」が存在しています。もし性能が十分に強力な量子コンピュータが登場すれば、公鍵が露出した古いウォレットに保管されている数百万枚のビットコインが盗まれるリスクにさらされる可能性があります。その中には、匿名の創造者中本聡に帰属するとされる約110万枚のビットコインが含まれており、現在の価値は約840億ドルです。ベテラン開発者のJameson Loppと他の5人の開発者は、4月中旬にBIP-361を通じてこの提案を正式に提出しました。これは、量子攻撃に対して脆弱なアドレスを5年のタイムラインで段階的に廃止し、移行を完了できなかったコインを凍結するというものです。しかし、この提案は別の問題を引き起こしました：中本聡および他のすべての長期間休眠している保有者は「現れる」必要があり、そうでなければ資産へのアクセス権を失うリスクがあります。Paradigmの普通パートナーDan Robinsonは金曜日に提案を発表し、このトレードオフを回避する方法を提案しました。その核心概念は「証明可能なアドレス制御権タイムスタンプ」（PACTs）です。PACTsの核心的な考え方はコインを移動させることではなく、特定の日付に所有権の証明にタイムスタンプを付け、ウォレット所有者が実際に支出する必要があるまで外部に情報を開示しないことです。もしビットコインが後に量子攻撃に脆弱なコインを凍結するソフトフォークを有効にした場合、このプロトコルにはSTARK証明（量子コンピュータに対しても安全なゼロ知識証明）を受け入れる救済ルートが含まれる可能性があります。これは、保有者が量子ハードウェアが存在する前にそのコミットメントを作成したことを証明します。保有者は支出を希望する際にその証明を提出し、ネットワークは対応するコインを解放します。この償還プロセスでは、アドレス、金額、さらには元のタイムスタンプ作成時間に関する情報は一切開示されません。

Paradigmの普通パートナーDan Robinsonは「証明可能なアドレス制御タイムスタンプ」（PACTs）メカニズムを提案し、量子計算の潜在的な脅威に対するビットコインアドレスの保護パスを提供することを目的としています。この提案は、保有者がBIP-322を通じてアドレス制御証明を生成し、ランダムなソルト値と組み合わせてオンチェーンのコミットメントを生成し、OpenTimestampsを利用してタイムアンカーを完成させ、ウォレット情報を公開することなく所有権証明を確立することを可能にします。将来的にソフトフォークによって量子脆弱アドレスが凍結された場合、ユーザーは資産を解放するためにSTARKゼロ知識証明を提出することができます。このメカニズムは、BIP-32に基づいて派生したウォレットに対しても潜在的な回復パスを提供しますが、その実現はビットコインがSTARK検証能力を導入し、コミュニティの合意を得ることに依存しています。