#baby $BABY 最初は、バビロンのセキュリティはほぼ全面的にビットコインから来ているのだと思っていました。
しかし深く読むほど、その説明の不十分さがはっきりしてきました。
ビットコインは経済的な重みを与えていますが、そのプロトコルは、ほとんど議論されないもっと小さなものにも依存しています。それが運用の一貫性です。
ファイナリティ・プロバイダーは単にBTCを用意するだけではありません。正しい乱数を生成し続け、矛盾する署名を避け、ローカルの署名状態を保持し、再起動してもその履歴を壊さずに生き残る必要があります。
プロトコルは、こうした運用上のリスクに対して、専用のアンチ・スラッシング（罰金）セーフガードまで組み込んでいます。
それによって、設計の見方が変わりました。
セキュリティの高コスト部分はビットコインに外注されています。
一方で脆い部分はソフトウェアに押し込まれています。
それは意図的なのかもしれません。
人間は決してミスをしないふりをするのではなく、バビロンは人間はミスをするものだと前提にしているようです。そして、そのミスがコンセンサスの失敗になる前に被害を減らそうとします。
そう考えると、プロトコルの本当の革新はビットコインのステーキングそのものではないのでは、と思えてきました。
経済的セキュリティと運用上のセキュリティは、1つの問題としてではなく別々のエンジニアリング問題として扱うべきだ、という発想かもしれません。
もしそれが本当なら、最終的に時間とともにバビロンのセキュリティを制限するのは何でしょう。ビットコインが担保する量なのか、それともそれを運用するオペレーターの質なのか？
@BabylonLabs_io