昨天，比特幣區塊鏈中書寫了一個新的里程碑，在主網區塊中添加了第一個零知識證明。

BitcoinOS rollup 開發人員已經驗證了包含 zk 計算證明的區塊 853626，解鎖了一系列新的網絡功能。

由於這些技術改進，比特幣在區塊空間方面變得更加高效，並且變得越來越類似於操作系統。

讓我們看看下面的所有細節。

昨天 UTC 時間 23:22，BitcoinOS（BOS）rollup 協議成功驗證了比特幣主網上的第一個 zk 證明。

由礦工Foundry USA 添加到鏈中的區塊 853626 正式載入區塊鏈的歷史，因爲它開創了以前無法想象的新功能。

因此，比特幣提高了自身的可擴展性，擴大了自身的網絡容量，而不需要軟分叉，也不需要承擔所有相關風險。

正如 BitcoinOS 合作者 Edan Yago 在採訪中所報道的：

“每次發生軟分叉，不僅會給系統帶來更大的風險……而且還會在用戶社區中產生巨大的摩擦”

BitcoinOS充當比特幣層的超級鏈，以鏈的形式爲各種無需信任、可互操作的彙總提供支持，並由L1 的安全性保證。

該基礎設施在主網之外運行，但通過零知識證明與主層進行通信，使網絡能夠適應比規範的價值交換更復雜的用途。

該項目團隊將在今天於納什維爾舉行的比特幣主題活動中談論所取得的重大里程碑。

他們的目標是在世界上最去中心化的區塊鏈上解鎖無限的功能，並通過零知識證明實現迄今爲止被認爲不可能實現的功能

爲了慶祝這一成果，BitcoinOS還開發了zk交易的區塊瀏覽器，以方便讀取鏈上交易。

通過在比特幣主網上推出第一個 zk 證明，該 rollup 的開發人員實際上已經讓閃電網絡等一些可擴展性解決方案變得過時。

例如，這個第二層網絡要求用戶信任集中式公司和企業，以便安全地使用閃電通道。

此外，與主網相比，L2 的渠道間流動性明顯較低，因此還遠遠不能承載更大的交易。

儘管它一直是比特幣用戶進行日常小額支付的首選網絡，但隨着彙總的出現，它有可能失去吸引力。

像 BitcoinOS 這樣的解決方案實際上不需要依賴中介，而是利用中央比特幣網絡的安全性。

zk證明集成了更多的隱私和可擴展性，增加了與DeFi世界的可能聯繫並引入了新的用例。

正如合作伙伴 Edan Yago 在最近的一次採訪中所描述的那樣：

“不幸的是，閃電網絡一直是一個被高估的可擴展性解決方案。

作爲一項技術，由於它是預先資助的，並且需要從一個參與者轉移到另一個參與者，因此它僅適用於非常有限數量的利基應用。

隨着比特幣區塊上第一個零知識證明的到來，中本聰的區塊鏈變得越來越類似於以太坊。

通過增加可擴展性和引入智能合約，比特幣可以實現Vitalik Buterin所期望的“全球計算機”的角色。甚至更好的是，正如 BitcoinOS 的 Edan Yago 所描述的那樣，該網絡可以成爲一個爲一系列去中心化應用程序提供支持的“操作系統”。

因此，比特幣從“價值層”的定義轉向了去中心化服務和活動平臺的概念。

以下是 Yago 在介紹比特幣基礎設施增強時所說的話：

“它也是一個操作系統和一個平臺，可以在其上構建整個去中心化應用程序世界。[…] 這標誌着以太坊、Solana 和所有其他 1 級項目不再能免受比特幣競爭的衝擊。”

對於那些不知道的人來說， rollup 和 zk proof 可以在網絡上實現更快的交易，因爲它們需要更少的計算能力來驗證。

它們代表了一種加密工具，是以太坊EVM網絡的典型特徵，它可以證明鏈下信息是真實的，而無需泄露信息本身。

此外，zk證明是批量包含的，因此其中包含數十筆交易，有助於減少對比特幣區塊空間的需求。

對此，Yago 如此解釋創建 ZK 證明的含義：

“現在單個比特幣交易就可以用於私人交易和智能合約之類的。”

BitconOS的rollup是用stake BitVM構建的，而軟件驗證庫zk是BOS的簡潔非交互式知識論證（zk-SNARK），BitSNARK。

BitSNARK 的獨特之處在於它允許開發人員創建無需信任的橋樑來移動 BTC。

儘管 BitcoinOS 已成爲第一個在主網上驗證 zk 證明的 rollup，但我們必須記住 還有其他競爭對手。

其中之一就是加密公司StakWare ，該公司深度涉足零知識證明領域，還參與了以太坊的 L2 Starknet 的開發。就在幾天前，這家加密開發商還在比特幣上驗證了一個零知識證明，不過是通過 Signet 測試網絡進行的。

Starkware 通過這樣做爲區塊鏈的更大發展奠定了基礎，實現了更大的可擴展性和互操作性的新機會。

Citrea 也在尋求在比特幣上開發 zk-rollup 解決方案的道路。

今年 6 月，該公司宣佈在公共開發網絡上推出基於 zk 證明的擴展網絡，並以比特幣作爲數據可用性(DA)。

Citrea 認爲，得益於最近的 SegWit 和 Taproot 更新，最終可以在單個交易中註冊數據，從而釋放新的潛力。

最後，甚至比特幣虛擬機也認爲，比特幣的未來是由zk標記的，並且如果沒有可擴展性，就無法實現大規模採用。

該項目團隊正在構建一個平臺，允許開發人員無需開發代碼即可推出自己的 zk-VM 區塊鏈。

依賴BTC的安全性並利用專有鏈中的零知識計算證明的成本爲每月99美元。

相關文章