區塊鏈開發人員距離在比特幣上推出 Rollups 又近了一步，實現了“無限的智能合約功能”，並在 OG 加密網路之外進行了擴展。

週五，BitcoinOS 發布了「BitSNARK 和 Grail」白皮書，這是一個以信任最小化方式將比特幣橋接到第 2 層匯總和區塊鏈的系統。

比特幣總結：有可能嗎？

The new rollup system is an outgrowth of 比特虛擬機 – the Bitcoin-based computing paradigm discovered by Robin Linus last year.

BitVM 最引人注目的應用之一是它能夠驗證比特幣上的「簡潔非互動式知識論證」(SNARK)。推而廣之，這為比特幣 Rollup Bridges 以及類似於以太坊上的 Optimism 或 Arbitrum 的擴展技術提供了可能性。

BitSNARK 基於 BitVM 構建，使用為此特定目的優化的軟體庫，從而實現廉價、高效且足夠安全的橋樑以供實際使用。

“這是解決比特幣規模、計算表達能力和去中心化三難困境的解決方案。” 寫道： 該論文的作者之一 Edan Yago 週四在 Twitter 上發表了演講。 “不需要軟分叉、升級或新的操作碼。”

新的比特幣橋模型

到目前為止，與以太坊等更具表現力的區塊鏈上構建的擴展系統相比，現有的比特幣第 2 層系統一直受到重大權衡的困擾。例如，由於通路管理的成本和複雜性，比特幣的閃電網路對於個人使用來說可能變得不切實際。

此外，像 Liquid 和 Rootstock 這樣的比特幣側鏈需要第三方聯盟來管理 L1 和 L2 之間的“橋樑”，這代表了兩條鏈的單點故障。

這就是 Grail 的用武之地：新系統使用 BitSNARK 為比特幣和匯總交易產生 SNARK 證明，並允許在 L1 和 L2 匯總之間進行安全的資產轉移。

“While many systems rely on a majority vote in a threshold signature scheme for security, BitSNARK promises to provide stronger security by allowing a single honest agent to prevent abuse by any or all of the other agents,” the 白皮書 說。

作者表示，Grail 橋至少需要兩個操作員才能運行，但理論上可以支援任何數量的操作員。創建者還可以建立系統，讓舊的橋樑操作員離開該組，或讓新的操作員加入該組。

亞戈 說過 BitcoinOS 團隊目前的目標是設計一座擁有 100 多個營運商的橋樑。

「除非各方串通，否則信任假設就會成立，」他補充道。 “這就是它如此強大的原因。”

該白皮書是在 Runes 推出後不久發布的，這是一種比特幣代幣協議，在過去一周大幅增加了比特幣基礎層的活動和費用。