比特币汇总协议 BitcoinOS (BOS) 于 UTC 时间 7 月 24 日晚上 11:22 在区块链主网上成功验证了第一个零知识 (ZK) 证明。
这一成就使得在比特币主网上解锁新级别的功能和可扩展性成为可能，而无需对区块链的基础层进行进一步的更改。
BOS 联合创始人 Edan Yago 在接受 Cointelegraph 的书面问答时表示，这一发展代表着比特币不再仅仅是数字黄金的时代。它也是一个操作系统和一个可以构建整个去中心化应用程序世界的平台。 这标志着以太坊、Solana 和所有其他第 1 层项目不再能免受比特币竞争的威胁。
主网验证背后的技术是BOS的ZK简洁非交互式知识论证（zk-SNARK）验证软件库BitSNARK。根据与 Cointelegraph 分享的一份新闻稿，BitSNARK 使开发人员能够创建几乎无需信任的桥梁在主网和第 2 层汇总之间来转移比特币。
Yago 解释了在主网上建立 ZK 证明的含义，并指出一笔交易现在可以代表数百甚至数千笔交易。现在，单个比特币交易即可用于私人交易以及智能合约等。
Yago 解释说，ZK 在比特币主网上证明验证方面的突破与该公司的目标非常一致，使其本质上可以变成一个操作系统。通过将比特币主网转变为不仅仅是一个支付交易系统，它可以用于去中心化的服务和活动，例如 DAO、DeFi，以及您能想到的任何事物。
关于可升级性，升级比特币的唯一方法是通过软分叉和改变共识，但现在情况已不再如此。现在可以以无需许可的方式向比特币引入任何你想要的功能，将许多人认为的劣势，即它的僵化和很难改变的事实，转变为它的主要优势。
StarkWare 获得第一个经过 ZK 验证的测试网，7 月 17 日， StarkWare 宣布在比特币测试网 Signet 上成功验证了自己的 ZK 证明的历史性里程碑。
此次开发是该公司经过三个月的OP_CAT探索之后完成的，这使得该公司能够在网络上建立新的 STARK 验证器。该验证者为基于 ZK 的第 2 层解决方案开发奠定了基础，有助于提高比特币的可扩展性并推进区块链上的全球支付机会。
