比特币主网首次获得 ZK-proof 验证

据 Cointelegraph 报道,BitcoinOS 成功在 BTC 主网上验证了第一个 ZK 证明, 标志着比特币作为去中心化应用平台的新时代到来。

比特币 rollups 协议 BitcoinOS (BOS)于 2024 年 7 月 24 日 UTC 11:22 在区块链主网上成功验证了第一个零知识(ZK)证明。

这一成就使得在不需要对区块链基础层进行进一步改动的情况下, 在比特币主网上解锁新的功能和可扩展性成为可能。

在与 Cointelegraph 的书面问答中,BOS 联合创始人 Edan Yago 表示, 这一发展"代表了比特币不再仅仅是数字黄金"的时代。

"它也是一个操作系统和平台, 可以建立整个去中心化应用的世界。[...] 这标志着以太坊、索拉纳和所有其他第一层项目不再安全,因为它们面临来自比特币的竞争。"

主网 ZK 证明验证的含义

支持这一主网验证的技术是 BOS 的 ZK Succinct Non-Interactive Argument of Knowledge (zk-SNARK) 验证软件库 BitSNARK。

根据 Cointelegraph 获得的新闻稿,BitSNARK 使开发者能够创建"近乎无需信任的桥梁"来转移比特币。Yago 解释了在主网建立 ZK 证明的含义,称一笔交易现在可以代表"数百甚至数千笔交易"。

"单笔比特币交易现在可用于私密交易和智能合约等用途。"

比特币区块链转变为操作系统

Yago 解释说,ZK 在比特币主网上的验证突破与该公司的目标密切相关, 允许它实质上被转变为"操作系统"。

Yago 解释说, 通过将比特币主网转变为"不仅仅是支付交易系统", 它可以用于去中心化服务和活动, 如 DAO、DeFi 等。

对于可升级性, Yago 表示, "升级比特币的唯一方式是通过软分叉和共识层的变化", 但这种情况不再适用。

"现在可以以无需许可的方式引入任何你想要的功能到比特币, [...] 将很多人认为是缺点的事情, 即它在僵化和很难改变, 转变为它的主要优势。"

StarkWare 在测试网上验证首个 ZK 证明

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

这一发展是继该公司进行 3 个月的"OP_CAT"探索后实现的,这使它能够在网络上建立新的 STARK 验证器。

该验证器为基于 ZK 的 layer-2 解决方案的开发奠定了基础, 有助于提高比特币的可扩展性, 并推动在区块链上进行全球支付的机会。