昨天,比特币区块链中书写了一个新的里程碑,在主网区块中添加了第一个零知识证明。
BitcoinOS rollup 开发人员已经验证了包含 zk 计算证明的区块 853626,解锁了一系列新的网络功能。
由于这些技术改进,比特币在区块空间方面变得更加高效,并且变得越来越类似于操作系统。
让我们看看下面的所有细节。
昨天 UTC 时间 23:22,BitcoinOS(BOS)rollup 协议成功验证了比特币主网上的第一个 zk 证明。
由矿工Foundry USA 添加到链中的区块 853626 正式载入区块链的历史,因为它开创了以前无法想象的新功能。
因此,比特币提高了自身的可扩展性,扩大了自身的网络容量,而不需要软分叉,也不需要承担所有相关风险。
正如 BitcoinOS 合作者 Edan Yago 在采访中所报道的:
“每次发生软分叉,不仅会给系统带来更大的风险……而且还会在用户社区中产生巨大的摩擦”
我们做到了!这是比特币操作系统首次在比特币主网上验证了 ZK 证明。
— BitcoinOS (@BTC_OS) 2024 年 7 月 24 日
最终验证在区块853626得到确认。
一个历史性的时刻,一个历史性的街区。
比特币的新时代已经开始,可以实现无限的扩展和功能...... pic.twitter.com/x8akim4SJh
BitcoinOS充当比特币层的超级链,以链的形式为各种无需信任、可互操作的汇总提供支持,并由L1 的安全性保证。
该基础设施在主网之外运行,但通过零知识证明与主层进行通信,使网络能够适应比规范的价值交换更复杂的用途。
该项目团队将在今天于纳什维尔举行的比特币主题活动中谈论所取得的重大里程碑。
他们的目标是在世界上最去中心化的区块链上解锁无限的功能,并通过零知识证明实现迄今为止被认为不可能实现的功能
为了庆祝这一成果,BitcoinOS还开发了zk交易的区块浏览器,以方便读取链上交易。
4/ 我们为比特币 ZK 交易构建了一个区块链浏览器。在这里,您可以看到在最终验证 ZK 证明之前发生的完整挑战交易集。pic.twitter.com/ xVDCjHRheV
— BitcoinOS (@BTC_OS) 2024 年 7 月 24 日
通过在比特币主网上推出第一个 zk 证明,该 rollup 的开发人员实际上已经让闪电网络等一些可扩展性解决方案变得过时。
例如,这个第二层网络要求用户信任集中式公司和企业,以便安全地使用闪电通道。
此外,与主网相比,L2 的渠道间流动性明显较低,因此还远远不能承载更大的交易。
尽管它一直是比特币用户进行日常小额支付的首选网络,但随着汇总的出现,它有可能失去吸引力。
像 BitcoinOS 这样的解决方案实际上不需要依赖中介,而是利用中央比特币网络的安全性。
zk证明集成了更多的隐私和可扩展性,增加了与DeFi世界的可能联系并引入了新的用例。
正如合作伙伴 Edan Yago 在最近的一次采访中所描述的那样:
“不幸的是,闪电网络一直是一个被高估的可扩展性解决方案。
作为一项技术,由于它是预先资助的,并且需要从一个参与者转移到另一个参与者,因此它仅适用于非常有限数量的利基应用。
随着比特币区块上第一个零知识证明的到来,中本聪的区块链变得越来越类似于以太坊。
通过增加可扩展性和引入智能合约,比特币可以实现Vitalik Buterin所期望的“全球计算机”的角色。甚至更好的是,正如 BitcoinOS 的 Edan Yago 所描述的那样,该网络可以成为一个为一系列去中心化应用程序提供支持的“操作系统”。
因此,比特币从“价值层”的定义转向了去中心化服务和活动平台的概念。
以下是 Yago 在介绍比特币基础设施增强时所说的话:
“它也是一个操作系统和一个平台,可以在其上构建整个去中心化应用程序世界。[…] 这标志着以太坊、Solana 和所有其他 1 级项目不再能免受比特币竞争的冲击。”
对于那些不知道的人来说, rollup 和 zk proof 可以在网络上实现更快的交易,因为它们需要更少的计算能力来验证。
它们代表了一种加密工具,是以太坊EVM网络的典型特征,它可以证明链下信息是真实的,而无需泄露信息本身。
此外,zk证明是批量包含的,因此其中包含数十笔交易,有助于减少对比特币区块空间的需求。
对此,Yago 如此解释创建 ZK 证明的含义:
“现在单个比特币交易就可以用于私人交易和智能合约之类的。”
BitconOS的rollup是用stake BitVM构建的,而软件验证库zk是BOS的简洁非交互式知识论证(zk-SNARK),BitSNARK。
BitSNARK 的独特之处在于它允许开发人员创建无需信任的桥梁来移动 BTC。
尽管 BitcoinOS 已成为第一个在主网上验证 zk 证明的 rollup,但我们必须记住 还有其他竞争对手。
其中之一就是加密公司StakWare ,该公司深度涉足零知识证明领域,还参与了以太坊的 L2 Starknet 的开发。就在几天前,这家加密开发商还在比特币上验证了一个零知识证明,不过是通过 Signet 测试网络进行的。
Starkware 通过这样做为区块链的更大发展奠定了基础,实现了更大的可扩展性和互操作性的新机会。
我们的第一篇关于比特币 STARK 的研究论文就在这里✨
— StarkWare 🐺🐱(@StarkWareLtd) 2024 年 7 月 24 日
这篇论文是迄今为止发表的最实用的契约汇总研究。
所以,请坐下来,看看 STARK 技术与 OP_CAT 的结合如何为比特币解锁无限的使用案例,为其铺平道路…… pic.twitter.com /on7Le4UnMs
Citrea 也在寻求在比特币上开发 zk-rollup 解决方案的道路。
今年 6 月,该公司宣布在公共开发网络上推出基于 zk 证明的扩展网络,并以比特币作为数据可用性(DA)。
Citrea 认为,得益于最近的 SegWit 和 Taproot 更新,最终可以在单个交易中注册数据,从而释放新的潜力。
1/6 今天,Citrea 公共开发网络向开发者和用户正式上线 🍊🍋
— Citrea (@citrea_xyz) 2024 年 6 月 5 日
此次发布标志着比特币首次作为数据可用性层进行测试,使其成为动态金融生态系统的基础。
尝试比特币的第一个 ZK Rollup 👇 https://t.co/n4V9tbpGjI pic.twitter.com/e7fIyTwXor
最后,甚至比特币虚拟机也认为,比特币的未来是由zk标记的,并且如果没有可扩展性,就无法实现大规模采用。
该项目团队正在构建一个平台,允许开发人员无需开发代码即可推出自己的 zk-VM 区块链。
依赖BTC的安全性并利用专有链中的零知识计算证明的成本为每月99美元。
BVM Studio 简介
— 比特币虚拟机(@BVMnetwork) 2024 年 7 月 17 日
BVM Studio 让您轻松启动区块链,以便您可以专注于创意、社区和文化,并最终赚钱。
– 乐趣:拖放,无需代码
– 快速:几分钟内
– 价格实惠:每月 99 美元起
→ https://t.co/yCihlleqIo
作为无代码工具...... pic.twitter.com/yYCm5nh1vd