本日、Babylonのパブリック・テストネット上でネイティブのBTC担保による借り入れを試すために一日中ほとんどの時間を費やしました。私が最も興味深いと感じたのは、Trustless Bitcoin Vaults（TBV）が、別のチェーンの状態に基づく償還を支えるために、コンパクトなGroth16証明をどのように使えるかという点です。証明自体は非常に小さいのです。

しかし、BABEがビットコイン上で争われた証明をどのように扱うのか調べてみると、証明サイズの小ささは物語の一部にすぎないように見えてきました。ビットコイン・スクリプトはGroth16を直接検証しません。BABEは、ビットコインが取引やスクリプトを通じて認証できる形で、争い得る証明の各部分を表現する必要があります。これにより、「証明圧縮」と「紛争（ディスピュート）のコスト」の間に違いが生まれます。Groth16の証明は簡潔でも、その証明を争うために必要なビットコイン取引はかなり大きくなります。

私がまだ分かっていないのは、実際にビットコイン上で証明が争われた場合に、Groth16による節約が本当に生き残るのかどうかです。証明が小さくても、その正当性を強制するのに依然としてはるかに大きなオンチェーンの手順が必要なら、あまり意味がありません。

問題は、圧縮が「紛争そのもの」のコストを下げるのか、それとも「紛争の中へ持ち込まれる証明のサイズ」だけを下げるのか、どちらなのかです。

だから私は、Groth16の証明サイズだけを切り離して見積もるのではなく、実際のチャレンジ・パスにおけるトランザクション全体のフットプリントと手数料コストを追いかけています。$BABY $HEI #baby @BabylonLabs_io ✨