BitcoinOS (BOS)，一种比特币叠加协议，成功地在7月24日晚间11点22分UTC的比特币区块链主网上验证了第一个零知识（ZK）证明。

这项成就使得在比特币主网上实现新层次的功能性和扩展性成为可能，而无需对区块链底层进行进一步的更改。

在与CoinTelegraph的书面问答中，BOS共同创始人伊丹·亚哥表示，这一发展“标志着比特币不再只是数字黄金的时代。

相关： Polygon启动升级后的ZK证明系统Plonky3

主网上ZK证明验证的影响

主网验证背后的技术是BOS的ZK Succinct Non-Interactive Argument of Knowledge（zk-SNARK）验证软件库，BitSNARK。

根据与CoinTelegraph分享的新闻稿，BitSNARK可以使开发者创建“几乎无需信任的桥梁”，在主网和层2叠加之间移动比特币（BTC）。

亚哥解释了在主网上建立ZK证明的影响，表示一笔交易现在可以代表“数百甚至数千笔交易。”

相关： StarkWare在比特币上验证了首个零知识证明

比特币区块链变操作系统

亚哥解释说，ZK在比特币主网上证明验证的突破与公司的目标紧密一致，使其可以“基本上变成一个操作系统。”

亚哥解释说，通过将比特币主网转变为“不仅仅是一个支付交易系统”，它可用于“去中心化服务和工作，如DAO、DeFi、你能想象的一切。”

关于可升级性，亚哥表示，“升级比特币的唯一方法是软分叉和共识的改变”，但情况并非如此了。

相关： 比特币交易员警告：当地BTC价格在5.3亿美元ETF流入后达到顶点

StarkWare成功验证首个测试网ZK证明

7月17日，StarkWare宣布成功在其自己的比特币测试网Signet上验证了ZK证明的历史性里程碑。

这一发展在该公司进行了三个月的“OP_CAT”探索之后到来，这使它能够在网络上建立新的STARK验证器。

该验证器为基于ZK的层2解决方案开发奠定了基础，以帮助提高比特币的扩展性和推动区块链上的全球支付机会。

杂志： 胖企鹅在像素世界中着陆，以太坊ETF，更多： hodler’s digest，7月14-20日