在 ZK Radio 第 86 集中，@robin_linus (@ZeroSync_) 介紹了他為什麼創建 BitVM 以及它實際是如何運作的。 Robin 首先解釋了比特幣是如何被設計為一個點對點支付系統的，但 10 分鐘的區塊和每 10 分鐘約 4MB 的容量遠遠不足以支持全球使用。他不想將比特幣變成另一個智能合約鏈，而是希望能夠利用現有的操作碼在比特幣上實現 zkRollup 風格的橋接和 L2。 這導致了 BitVM 的核心理念：樂觀驗證——而不是在鏈上完全驗證 SNARK，你只需要能夠駁斥一個無效的證明，就像指向壞數獨解中的兩個衝突單元格。 接著，他解釋了 BitVM 如何將比特幣腳本非常有限的 32 位、無乘法環境轉變為一個通用的驗證層，通過圍繞兩個角色來構建系統：一個發佈聲明的操作員和可以簡潔地證明欺詐的挑戰者。信任模型從「誠實的多數」轉變為「一個誠實的挑戰者就足夠」，為信任最小化的橋接和更具表達力的 L2 開啟了大門，而無需軟分叉。 觀看完整的集數，深入了解 BitVM 的演變（BitVM1 → BitVM2 → BitVM3）、混淆電路和 Glock，為什麼他稱 BitVM 為「一堆黑客中的黑客」，以及這一切如何融入比特幣原生擴展的更廣泛路線圖中：