昨天，在比特币的区块链中写下了一个新的里程碑，向主网的一个区块添加了第一个zk proof。
BitcoinOS rollup开发者已验证包含zk计算证明的区块853626，解锁了网络的新功能阶段。
感谢这些技术改进，Bitcoin在区块空间方面变得更加高效，并且越来越像一个操作系统。
让我们看看下面的所有细节。
Summary
BitcoinOS rollup 在 Bitcoin 主网中添加了历史上第一个 zk proof
昨天在 23:22 UTC，BitcoinOS (BOS) 卷叠协议在比特币主网上成功验证了第一个 zk proof。
区块853626，由miner Foundry USA 添加到链中，正式进入区块链历史，因为它开启了迄今为止难以想象的新功能。
Bitcoin 改善了自身的可扩展性并扩大了自身的网络容量，所有这些都无需进行软分叉，避免了所有相关风险。
正如BitcoinOS的合作者Edan Yago在一次采访中所提到的：
“每次发生软分叉时，不仅会在系统中引入更大的风险……而且还会在用户社区内部产生显著的摩擦”
BitcoinOS 作为比特币层的超级链，以链的形式为各种无信任、互操作和由安全性的L1提供支持的rollup提供动力。
这个基础设施，虽然在主网之外运行，但通过zk证明与主层进行通信，使网络能够适应比传统价值交换更复杂的使用。
这个项目的团队将在今天举行的纳什维尔比特币主题活动中讨论所取得的重大成就。
他们的目标是通过zk proof在世界上最去中心化的区块链上解锁无限功能，使得直到今天被认为不可能的事情成为可能
为了庆祝这一成果，BitcoinOS 还开发了一个区块浏览器用于 zk 交易，以便于读取链上交易。
闪电网络变得过时
这些rollup的开发者，通过在Bitcoin主网上推出首个zk proof，实际上使一些扩展解决方案变得过时，例如Lightning Network。
例如，这个二级网络要求用户信任集中化的公司和企业，以便能够安全地使用lightning通道。
此外，L2 在通道之间的流动性显著低于主网，因此还远未能处理更大规模的交易。
尽管它一直是比特币爱好者日常微支付的首选网络，但现在随着rollup的到来，它有失去吸引力的风险。
像BitcoinOS这样的解决方案实际上不需要依赖中介，重新获得Bitcoin中心网络的安全性。
zk 证明集成了更多的隐私和可扩展性，增加了与 DeFi 世界的潜在连接，并引入了新的用例。
正如合作者 Edan Yago 在最近的一次采访中所描述的：
“不幸的是，Lightning Network 是一个被高估的可扩展性解决方案。
作为一种技术，由于它是预融资的，并且由于需要从一个参与者转移到另一个参与者，它仅适用于数量非常有限的小众应用程序。
比特币区块链作为操作系统呈现出类似以太坊的形态
随着第一个zk proof在比特币区块上的到来，中本聪的区块链变得越来越像以太坊。
通过增加可扩展性和引入智能合约，比特币可以完成全球计算机的任务，这是Vitalik Buterin一直渴望的。更好的是，正如BitcoinOS的Edan Yago所描述的，该网络可以成为一个操作系统，为一系列去中心化应用程序提供动力。
这样 Bitcoin 从“价值层”的定义转变为更多的去中心化服务和活动平台的概念。
这是Yago的话，他介绍了比特币基础设施的增强：
“它也是一个操作系统和一个平台，可以在其上构建整个去中心化应用程序的世界。[…] 这标志着一个章节，其中Ethereum、Solana和所有其他一级项目不再能免受Bitcoin的竞争。”
对于那些不知道的人，rollup 和 zk proof 使网络上的交易更快，因为它们需要更少的计算能力来验证。
它们代表了一种加密工具，典型于以太坊的EVM网络，证明了链下信息是真实的，而不透露信息本身。
此外，zk proof 被包含在批处理中，因此 内部包含数十个交易，有助于 减少对 Bitcoin blockspace 的需求。
对此，Yago 用以下话语解释了创建 ZK 证明的含义：
“一笔比特币交易现在可以用于私人交易和智能合约等。”
BitconOS的rollup是用stake BitVM构建的，而软件验证库zk是BOS的简洁非交互知识论证（zk-SNARK），BitSNARK。
BitSNARK 的特点是它允许开发人员创建无信任的 bridge 以转移 BTC。
其他将zk proof集成到比特币网络的rollup解决方案
尽管BitcoinOS获得了在主网验证zk proof的首个rollup的头衔，但我们必须记住 还有其他竞争者。
其中之一是加密公司StakWare，深耕于zk领域，并且有以太坊的L2 Starknet。加密开发者就在几天前也在比特币上验证了zk proof，不过是通过Signet测试网络。
Starkware 通过这样做，为区块链上的更大规模发展奠定了基础，实现了更大的可扩展性和新的互操作性机会。
即使 Citrea 也在开发基于Bitcoin的zk-rollup解决方案。
六月宣布了基于zk proof的扩展网络在public devnet上的启动，比特币作为数据可用性(DA)。
Citrea 认为，得益于最近的 SegWit 和 Taproot 更新，终于可以在单个交易中记录数据，释放新的潜力。
最后，Bitcoin Virtual Machine 也认为 Bitcoin 的未来是 zk，并且没有可扩展性就无法实现大规模采用。
这个项目团队正在构建一个平台，使开发人员能够在无需编写代码的情况下启动自己的区块链 zk-VM。
每月花费99美元依靠BTC的安全性并在专有链中利用零知识计算证明。
