BitCoinos（BOS）啟動BITSNARK V0.2，擴展BTC的可編程功能

BitCoinos（BOS）已啟動了Bitsnark V0.2，這是其改進的協議版本，用於驗證比特幣網絡上的零知識證明（ZKP）。這項新技術旨在擴展BTC的可編程功能，而無需修改其核心協議

BitcoinOS (BOS) has released BitSNARK v0.2, a new version of its protocol for verifying zero-knowledge proofs (ZKPs) on the Bitcoin network. The code is now available on GitHub for review and testing.

BitCoinos（BOS）已發布Bitsnark V0.2，該版本的新版本用於驗證比特幣網絡上的零知識證明（ZKP）。該代碼現在可以在GitHub上提供審查和測試。

The protocol is designed to expand BTC’s programmable capabilities without modifying its core protocol. It operates through an interactive verification process between a prover and a verifier. The prover submits a ZKP to the Bitcoin blockchain, claiming that a computation was performed correctly. If the verifier has doubts about the validity of the proof, they initiate a challenge.

該協議旨在擴展BTC的可編程功能，而無需修改其核心協議。它通過供者和驗證者之間的交互式驗證過程進行操作。供者將ZKP提交給比特幣區塊鏈，聲稱正確執行了計算。如果驗證者對證明的有效性有疑問，他們會發起挑戰。

Using a binary search method, the specific point of disagreement in the computation is identified and resolved deterministically on the Bitcoin network. This process enables the validation of complex computations with minimal on-chain data, eliminating the need to alter BTC’s consensus protocol.

使用二進制搜索方法，在比特幣網絡上確定並確定確定計算中的特定分歧點。此過程可以用最小的鏈上數據驗證複雜的計算，從而消除了改變BTC共識協議的需求。

A New Set of Capabilities for Bitcoin

比特幣的新功能

This new iteration, v0.2, introduces several improvements over the previous version. It can verify any computation performed in any virtual machine, in contrast to the prior version, which was limited to specific tasks.

這種新的迭代v0.2引入了對先前版本的幾個改進。與先前的版本相比，它可以驗證任何虛擬機中執行的任何計算，該計算僅限於特定任務。

Furthermore, it reduces the transaction size required to verify external proofs to less than 100 kilobytes, making it easier to include these transactions in regular blocks without causing issues for miners. The previous version required a larger transaction size.

此外，它將驗證外部證明驗證外部證明所需的交易規模降低到小於100千千萬座，從而更容易將這些交易包括在常規塊中而不會引起礦工問題。以前的版本需要更大的交易大小。

The number of interactions needed to complete the verification process has also been reduced to six, increasing the protocol’s efficiency and feasibility for real-world applications.

完成驗證過程所需的相互作用數量也已減少到六個，從而提高了協議的效率和對現實應用程序的可行性。

Bridges, Rollups, Stablecoins, and More

橋樑，卷，穩定幣等

This protocol update opens the door to applications that were previously difficult to deploy on Bitcoin. It enables trustless crypto bridges to transfer assets between BTC and other blockchains without the need for centralized intermediaries.

此協議更新為以前難以在比特幣上部署的應用程序打開了大門。它使無信任的加密橋樑可以在BTC和其他區塊鏈之間轉移資產，而無需集中式中介機構。

It also facilitates the implementation of rollups, which improve network scalability by executing thousands of off-chain transactions before settling them on the main chain.

它還有助於實施匯總，從而通過執行數千筆鏈交易來改善網絡可擴展性，然後再將其解決在主鏈上。

Finally, it supports the development of programmable BTC tokens and decentralized financial applications like exchanges, BTC-backed stablecoins, and lending protocols.

最後，它支持可編程BTC令牌的開發和分散的財務應用，例如交易所，BTC支持的穩定協議和貸款協議。

With this release, BOS invites developers and community members to test and contribute to the progress of BitSNARK. The code is available on GitHub, and testing can be done on test networks with minimal setup.

通過此版本，BOS邀請開發商和社區成員測試並為Bitsnark的進步做出貢獻。該代碼可在GITHUB上獲得，並且可以在具有最小設置的測試網絡上進行測試。