Bitcoinos（BOS）はBitsnark V0.2を発売し、BTCのプログラム可能な機能を拡大します

Bitcoinos（BOS）は、ビットコインネットワークでゼロ知識証明（ZKPS）を検証するためのプロトコルの改良バージョンであるBitsNark V0.2を発売しました。この新しいテクノロジーは、コアプロトコルを変更せずに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）は、ビットコインネットワークでゼロ知識証明（ZKPS）を検証するためのプロトコルの新しいバージョンであるBitsnark v0.2をリリースしました。このコードは、レビューとテストのために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.

検証プロセスを完了するために必要な相互作用の数も6に減少し、実際のアプリケーションのプロトコルの効率と実現可能性が向上しました。

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.

このプロトコルの更新により、以前はビットコインで展開するのが困難だったアプリケーションへのドアが開きます。これにより、信頼できないCrypto橋は、集中仲介業者を必要とせずに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で利用でき、テストは最小限のセットアップでテストネットワークで実行できます。