比特币 Rollups 协议 BitcoinOS（BOS）于北京时间 7 月 25 日 7：22 在比特币链上首次成功验证了零知识（ZK）证明。这将允许在不改变链基础层的情况下，在比特币主网上解锁新的功能和可扩展性。该验证背后技术是 BOS 的 ZK Succinct Non-Interactive Argument of Knowledge（zk-SNARK）验证软件库 BitSNARK。BitSNARK 使开发人员能够创建「近乎去信任的跨链」，在比特币主网和 L2 Rollups 之间转移比特币。