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上获得，并且可以在具有最小设置的测试网络上进行测试。