世界协调时7月24日晚11点22分，比特币升级协议BitcoinOS（BOS）在区块链主网上成功验证了第一个零知识（ZK）证明。
这一成就使比特币主网的功能和可扩展性达到了新的水平，而无需进一步更改区块链的基础层。
BOS 联合创始人伊丹-亚戈（Edan Yago）在与 Cointelegraph 的书面问答中表示，这一发展 "代表了一个时代，比特币不再仅仅是数字黄金"。
"它也是一个操作系统和平台，在这个平台上可以构建整个世界的去中心化应用。[......]这标志着以太坊、Solana 和所有其他第一层项目都不再能免受比特币的竞争。"
主网防 ZK 验证的影响
主网验证背后的技术是BOS的ZK简洁非交互式知识论证（zk-SNARK）验证软件库BitSNARK。
根据 Cointelegraph 分享的一份新闻稿，BitSNARK 使开发人员能够创建 "近乎无信任的桥梁"，在主网和第二层卷积之间移动比特币（BTC）。
亚戈解释了在主网上建立ZK-proofs的意义，指出一笔交易现在可以代表 "成百上千笔交易"。
"一笔比特币交易现在可以用于私下交易，也可以用于智能合约等事情。"
比特币区块链变身操作系统
亚戈解释说，ZK在比特币主网证明验证方面的突破与该公司的目标密切相关，使其基本上可以 "变成一个操作系统"。
亚戈解释说，通过将比特币主网转变为 "不仅仅是支付的交易系统"，它可以被用于 "去中心化的服务和活动，比如DAO、DeFi，任何你能想象到的东西"。
关于可升级性，亚戈说，"升级比特币的唯一途径是通过软分叉和改变共识"，但现在情况不再是这样了。
"现在可以以一种无许可的方式，为比特币引入任何你想要的功能，[......]将很多人认为的缺点，即比特币正在僵化和很难改变的事实，变成了它的主要优势。"
StarkWare 获得首个通过 ZK 验证的测试网络
7 月 17 日，StarkWare 宣布其在比特币测试网 Signet 上成功验证了自己的 ZK-proof，这是一个历史性的里程碑。
在此之前，该公司进行了三个月的 "OP_CAT "探索，从而在网络上建立了新的 STARK 校验器。
该验证器为基于 ZK 的第二层解决方案的开发奠定了基础，有助于提高比特币的可扩展性，推动区块链上的全球支付机会。