比特幣 (BTC) 匯總協議 BOS 在主網上驗證第一個零知識 (ZK) 證明

主網驗證背後的技術是 BOS 的 ZK Succinct Non-Interactive Argument of Knowledge (zk-SNARK) 驗證軟體庫 BitSNARK。

Bitcoin (BTC) rollups protocol BitcoinOS (BOS) has successfully verified the first zero-knowledge (ZK) proof on the blockchain’s mainnet.

比特幣（BTC）匯總協議BitcoinOS（BOS）已成功驗證區塊鏈主網上的第一個零知識（ZK）證明。

The achievement, which occurred at 11:22 pm UTC on July 24, unlocks new levels of functionality and scalability on the Bitcoin mainnet without requiring further changes to the blockchain’s base layer.

這項成就於世界標準時間 7 月 24 日晚上 11 點 22 分實現，解鎖了比特幣主網上新水平的功能和可擴展性，而無需對區塊鏈基礎層進行進一步更改。

In a written Q&A with Cointelegraph, Edan Yago, co-founder of BOS, said the development “opens up a new era where Bitcoin is no longer just digital gold.”

BOS 聯合創始人 Edan Yago 在接受 Cointelegraph 的書面問答中表示，這一發展“開啟了一個新時代，比特幣不再只是數位黃金。”

“This marks the beginning of a new era where Bitcoin is no longer just digital gold, but a new foundation for an entirely new world,” Yago said.

亞戈說：“這標誌著一個新時代的開始，比特幣不再只是數字黃金，而是一個全新世界的新基礎。”

“We are excited to be a part of this historic moment and to continue working on making Bitcoin more accessible and useful for everyone.”

“我們很高興能夠成為這一歷史性時刻的一部分，並繼續努力讓比特幣對每個人來說都更容易使用和有用。”

ZK-proofs on Bitcoin mainnet: A breakthrough

比特幣主網上的 ZK 證明：突破

The technology behind the mainnet verification is BOS’s ZK Succinct Non-Interactive Argument of Knowledge (zk-SNARK) verification software library, BitSNARK.

主網驗證背後的技術是 BOS 的 ZK Succinct Non-Interactive Argument of Knowledge (zk-SNARK) 驗證軟體庫 BitSNARK。

According to a press release shared with Cointelegraph, BitSNARK enables developers to create “near-trustless bridges” to move Bitcoin (BTC) between the mainnet and layer-2 rollups.

根據與 Cointelegraph 分享的新聞稿，BitSNARK 使開發人員能夠創建“近乎無需信任的橋樑”，以在主網和第 2 層匯總之間移動比特幣 (BTC)。

“The BitSNARK library enables developers to create near-trustless bridges to move Bitcoin (BTC) between the mainnet and layer-2 rollups,” the statement reads.

聲明中寫道：“BitSNARK 庫使開發人員能夠創建近乎無需信任的橋樑，以便在主網和第 2 層匯總之間移動比特幣 (BTC)。”

“These bridges are crucial for scaling Bitcoin and unlocking new use cases on the network.”

“這些橋樑對於擴展比特幣和解鎖網路上的新用例至關重要。”

Yago explained the implications of establishing ZK-proofs on the mainnet, stating that a transaction could now represent “many hundreds and thousands of transactions.”

Yago 解釋了在主網上建立 ZK 證明的影響，指出一筆交易現在可以代表「數百筆交易」。

“This is a game-changer for Bitcoin, as it will allow the network to handle far more transactions without sacrificing security,” he added.

「這對比特幣來說是一個遊戲規則改變者，因為它將允許網路在不犧牲安全性的情況下處理更多的交易，」他補充道。

Bitcoin blockchain as an operating system

比特幣區塊鏈作為作業系統

Yago also highlighted that ZK’s breakthrough in proving verification on the Bitcoin mainnet aligns closely with the firm’s goal.

Yago 也強調，ZK 在比特幣主網上證明驗證的突破與該公司的目標密切相關。

According to Yago, BOS is working to turn the Bitcoin mainnet “into an operating system.”

Yago 表示，BOS 正在努力將比特幣主網「變成一個作業系統」。

“We believe that this will open up endless possibilities for Bitcoin and its community,” he said.

「我們相信這將為比特幣及其社區帶來無限的可能性，」他說。

“By transforming the Bitcoin mainnet into more than a transaction system for payments, it can be used ‘for decentralized services and activities, like DAOs, DeFi, anything you can imagine,” Yago explained.

Yago 解釋道：“通過將比特幣主網轉變為不僅僅是支付交易系統，它還可以用於‘去中心化服務和活動，例如 DAO、DeFi，以及任何你能想像到的東西’。”

“And with Bitcoin’s security and decentralization, it’s the perfect base layer for these applications.”

“憑藉比特幣的安全性和去中心化性，它是這些應用程式的完美基礎層。”

When asked about Bitcoin’s upgradability and how this development fits into the narrative, Yago pointed out that the only way to upgrade Bitcoin is through soft forks and changes to the consensus.

當被問及比特幣的可升級性以及這種發展如何融入敘事時，Yago 指出，升級比特幣的唯一方法是透過軟分叉和改變共識。

“However, this is not always feasible or desirable, especially for urgent or experimental updates,” he said.

「然而，這並不總是可行或可取的，特別是對於緊急或實驗性更新，」他說。

“ZK-proofs offer an alternative solution by allowing updates to be verified and enforced without modifying the blockchain itself.”

“ZK 證明提供了一種替代解決方案，允許在不修改區塊鏈本身的情況下驗證和執行更新。”

StarkWare secures first testnet verified ZK-proof

StarkWare 確保第一個經過 ZK 驗證的測試網

On July 17, StarkWare announced the historic milestone of successfully verifying its own ZK-proof on the Bitcoin testnet, Signet.

7 月 17 日，StarkWare 宣布了在比特幣測試網 Signet 上成功驗證自己的 ZK 證明的歷史性里程碑。

The development followed three months of “OP_CAT” exploration by the firm, which allowed it to establish its new STARK verifier on the network.

該開發是在該公司進行了三個月的「OP_CAT」探索之後進行的，這使得它能夠在網路上建立新的 STARK 驗證器。

The verifier laid the foundation for ZK-based layer-2 solution development to help improve Bitcoin’s scalability and advance global payment opportunities on the blockchain.

該驗證器為基於 ZK 的第 2 層解決方案開發奠定了基礎，有助於提高比特幣的可擴展性並推進區塊鏈上的全球支付機會。