@BabylonLabs_io 今年いちばん怖いバビロンのバグが、いかに表面積（手掛かりの量）が小さかったのか、ずっと考えていました。欠けていたのはたった1つの項目。それだけです。

BLSの投票拡張が「バリデータが実際にブロックに合意した」ことを証明します。匿名の投稿者が、悪意あるバリデータはブロックハッシュのフィールドを単に省くだけで済み、その投票を拒否する処理がないことを見つけました。コードはヌルポインタを参照してクラッシュします。チェックがすでに厳しいはずのエポック境界でそれをやると、1人のバリデータが落ちる話ではありません。ビットコインで50億ドル超を支える、セキュリティのための集合全体で同期的にクラッシュが起きます。

私を惹きつけるのは非対称性です。このエクスプロイトを作るのにほとんどコストはかかりません。バリデータが不完全なメッセージを送るだけです。

一方、それから立ち直るには、コンセンサスがいちばんクリーンである必要があるまさにその瞬間に、ネットワークのブロック生成時間を費やすことになる。誰もここで暗号を破る必要はありません。コードが「常に存在する」と仮定した唯一のフィールドを見つけるだけでよかったのです。

実際には野外で悪用されたことはなく、バビロンのチームが迅速に対応しました。しかし、正直な教訓は「バグは直った、次へ」ではありません。

それは、ビットコインのセキュリティ保証が、それを調整するソフトウェアへ自動的に引き継がれるわけではないということ。あの層には、その層独自の失敗モードがあり、これがまさにその一例を間近で見た姿だったのです。

嘘をつかないチェーンが安全でいられるのは、それを代弁できる相手を決めるコードが安全であるときだけ。」「#baby $BABY $SKYAI $BICO
BTCFiで最大のリスクは？