ビットコイン (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の共同創設者エダン・ヤゴ氏はコインテレグラフとの書面Q&Aで、この開発は「ビットコインがもはや単なるデジタルゴールドではない新時代を開く」と述べた。

“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.

ヤゴ氏はまた、ビットコインメインネット上で検証を証明するという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.

「ビットコインメインネットを単なる決済取引システム以上のものに変えることで、『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.

ビットコインのアップグレード可能性と、この開発が物語にどのように適合するかについて尋ねられたとき、ヤゴ氏は、ビットコインをアップグレードする唯一の方法はソフトフォークとコンセンサスの変更を介することであると指摘しました。

“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.

この開発は、同社による 3 か月にわたる「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 ソリューション開発の基礎を築きました。