「結果發現，這在 Bitcoin 上實際上足夠高效 - 在 Bitcoin Script 的所有瘋狂限制之內。」 - @robin_linus，BitVM 創建者 & @ZeroSync_ 在 ZK Radio 第 86 集中，Robin Linus 解釋了 BitVM 如何消除 Bitcoin 的驗證限制作為障礙 - 說明為什麼駁斥一個不正確的 SNARK 可能比完全驗證一個正確的 SNARK 更便宜，以及這種不對稱如何用於在 Bitcoin 的受限腳本環境中樂觀地驗證 SNARK。 這就是使 BitVM 成為可能的機制。這也是信任最小化的 Bitcoin 橋樑可以依賴於存在性誠實假設而不是誠實多數模型的原因。 觀看與 Robin 的完整對話，了解這些原語如何解鎖一類新的 Bitcoin 規模系統：