最初、バビロンのTrustless Bitcoin Vaultsにおけるゼロ知識証明が、セキュリティ物語のすべてなのだと思っていました。正しい証明なら正しい償還（レデンプション）で、議論は終わりです。ところがTBVが実際に出金を処理する仕組みを深く読むと、証明はその半分にすぎません。誰かが、例えばイーサリアムのようなホストチェーン上である出来事が起きたことを裏づけるZK証明とともに償還リクエストを提出すると、その主張は即座には実行されません。まず詐欺（フロッド）を否定するための猶予期間、つまり、何かがおかしければ誰でも異議を申し立てられる期間が開きます。預託者自身は常に、自分で自分に異議を唱える（チャレンジャーとして行動する）ことが許されています。これは一見安心材料に聞こえますが、実際にそれが要求することを理解すると不安になります。つまり、あなた自身が、その猶予期間が閉じる前に悪い主張を見抜けるだけの注意力を保ち続ける必要があるということです。あなたが見ていなければ、他の誰も動かなければ、無効な償還が異議なしにそのまま通ってしまう現実的な可能性があります。さらに、私が想像以上に意外だった細部があります。償還は部分的ではありません。全バルート一括のみです。1つ入れば1つ出る、段階的にほどけていくのではなく、ポジション全体が正しく異議申し立てされるか、されないかのための単一のウィンドウがあるだけです。そして、このすべての下支えになっているのがBABEです。BABEは、そもそもこの一連を暗号学的に検証可能にするための、証明検証レイヤーです。チームは、BABEがなければ信頼不要の検証は一切存在しない、つまりシステム全体が機能停止すると、はっきりと言っています。したがって、誠実な説明は「数学があなたのビットコインを守る」ではありません。そうではなく、「数学が、虚偽の主張を証明可能にする。しかも、実際にそれを間に合うように証明できる立場の誰かが存在する場合に限って。」 @BabylonLabs_io #baby
$BABY
$COTI