セキュリティ

暗号学的に意味のある量子コンピューターに対して、ビットコインのどの資産が実際に脅威にさらされるのか。NISTの標準化など各国の制度の記録と、いつ来るのか、どう移るのかをめぐる論争の形をまとめる。

Blockstream CEOアダム・バックが、量子コンピューターがビットコインの脅威になるのはおよそ20〜40年先で、それまでにNISTのポスト量子署名SLH-DSAなどを導入できると述べた。

量子コンピューターによる近い将来の脅威がビットコインにあるかという質問へのアダム・バックの返答。NIST標準化済みのSLH-DSAと20〜40年の猶予を挙げている。

量子耐性出力タイプPay-to-Merkle-Root（P2MR）。Taprootから量子脆弱な鍵パスを除き、スクリプトツリーのマークルルートのみにコミット。SegWit v2ソフトフォーク。

米国のエンジニア。2014年にStatoshiを作り、2017年に自宅へSWATを差し向けられた。2018年にCasaへ移って「Who Controls Bitcoin Core?」を書いた。

著名なセキュリティ研究者カミンスキーが脆弱性を探すも失敗。「見事なバグをいくつも思いついた。だが、いざコードで試してみると、そのたびに、その問題をふさぐ一行がすでに書かれていた」

LessWrongで、ウェイ・ダイはビットコインを作ったのは自分ではなく、「10年以上前に似た考えを書いただけ」だと述べた。採掘用にRadeon 5870を買い、安全性の検証がまだだと注意した。

2010年8月、フォーラムの利用者が、アラートキーを守って拷問に耐えられるかとサトシに尋ねた。鍵で何ができ、写しは誰の手に渡り、2018年までにどう取り除かれたのか。

ジェフ・ガージックがバリュー・オーバーフロー事件の最初の公開警告を投稿。ブロック #74638で92,233,720,368.54277039 BTCの出力が二つあることを指摘した。

整数オーバーフローのバグ（CVE-2010-5139）を突かれ、ブロック74638で1,844億BTCが作られた。修正版は発見から5時間40分後に出て、正しいチェーンは約15時間後に追い越した。

一つのトランザクションに1,844億ビットコインを作らせた、バリュー・オーバーフローの脆弱性を直す緊急のリリース。サトシは、ソフトフォークによる修正を急いで広めた。

2010年8月15日のオーバーフロー事件の成り立ちを読む。ソフトフォークによる立て直しの仕組み、5時間で対応できたのがこのときだけだった理由、トランザクションの作り、中央集権パラドックス。

本名を明かさずにフォーラムに参加した、初期の利用者。2010年に最大級のノードを動かし、ブロックチェーンの写しを公開した。その写しが、バリュー・オーバーフロー事件の復旧パッチの出発点になった。

サトシがSourceForgeユーザー名を訂正、マルミのFAQ草稿を承認、「複数の鍵に分けて保管」を言い換え、ウォレットのパスワードを銀行への安全性訴求点として位置づけ直す。

サトシが、攻撃者に追いつかれるのを防ぐために、トランザクションがなくてもチェーンを延長し続ける必要があることを説明する。

Periwinkleのセキュリティコンサルタント。2009年1月の暗号学メーリングリストでビットコインを論じ、ボットネットに乗っ取られたマシンは最も安全な部類に入る、と皮肉った。

トランメルが、アドレスはいくつもの手段で確かめられるので、IPアドレスあての送金より安全だと書いた。データを失う心配、アドレスを知らせるかを選ぶ設定、終了時に接続を正しく閉じない問題も挙げた。

サトシがトランメルの中間者攻撃の分析に答えて、攻撃を2種類（通信の経路上の者、インターネットの誰でも）に分けた。IP送金の弱点を認め、IPとアドレスを併せて使う案を示し、ウォレットの暗号化に触れた。

トランメルが、ビットコインのIP送金の機能を詳しく調べ、ARPポイズニングやISPでの傍受などによる中間者攻撃の弱点を見つけた。送金には常にビットコインアドレスを使うよう勧めた。

テキサス州オースティンの情報セキュリティ研究者。リリース直後にビットコインのソフトウェアを動かし、サトシから25 BTCを受け取った。知られているなかでも、ごく初期の個人どうしの送金である。

ジョン・レヴィンがビットコインの安全性前提を否定。ボットネット運営者は10万台超のゾンビファームを日常的に制御、hashcashも同理由で失敗——悪者が善人より計算力で勝る、と主張。