比特币 (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 层解决方案开发奠定了基础，有助于提高比特币的可扩展性并推进区块链上的全球支付机会。