你喜歡寫組合語言嗎？我不喜歡。 ZKVM 改變了一切：用 Rust 編寫比特幣保險庫程序，自動轉換為證明。 我們將比特幣直接連接到 EVM 協議，沒有任何橋接或包裝資產。 很酷吧？

我們正在構建一種尚不存在的東西：真正可編程的比特幣保險庫。 我們不是將比特幣強行融入現有框架，而是創建完全新的API，以與比特幣的實際設計相結合。 這可能會改變每個比特幣應用的構建方式。

每個借貸協議都需要相同的三個動作：存款、贖回、清算。 挑戰： 你的抵押品存在於比特幣上。你的協議存在於EVM鏈上。 我們的解決方案：編程保險庫以直接連接它們。 不需要橋接，不需要信任假設。

我們的無信任保險庫方法表明有一條更好的道路：直接的比特幣可編程性，既能保持安全性，又能實現複雜性。

SBC 對 Babylon 來說至關重要。兩年前，我們在 SBC 的一個側邊活動中向投資者推介了比特幣質押。 那是我們的轉折點。 我們剛剛帶著一些新東西回來。有些會議就是有那種能量。

第四屆科學與工程共識研討會將於週日於伯克利舉行，正好在SBC之前一天。我們有一份優秀的演講者名單：感謝 @poddotnetwork 和 @babylonlabs_io 的贊助。直播：

第四屆科學與工程共識研討會將於週日於伯克利舉行，正好在SBC之前一天。我們有一份優秀的演講者名單，涵蓋區塊鏈共識的前沿主題：。感謝 @poddotnetwork 和 @babylonlabs_io 對本次活動的贊助。

沒有什麼能比聰明的人在同一個房間裡共同解決難題的能量更強。

新實驗加載中

我們正在全力定義無信任的比特幣保險庫應該是什麼樣子。 稍後再見。