比特币生态里程碑:Zulu利用Bitcoin Script实现ZKP验证
近期比特币生态中一个重要里程碑的事件,Zulu宣布实现首个利用Bitcoin Script 的zk-SNARK验证(ZKP)。涉及 Groth16/FFlonk 主流算法,并将代码提交到 BitVM 存储库。
实现了比特币脚本进行ZKP,这意味着比特币网络可以对layer2进行验证。这是真正意义的layer2,它将继承比特币网络的安全性的,来自比特币Pow机制的安全性,这应该是区块链最具安全性网络。
由于比特币网络的编程性限制,实现ZKP是特别困难的。现有的大部分比特币l2,实际上并不是真正意义上L2,因为其链上状态是无法在比特币网络上直接验证的。他们现在的做法是生成了一个zk proof,发布到btc网络上。但是这个证明是并不是比特币网络验证的,而是他们自身网络的角色,这就导致l2的链上状态跟比特币网络是分离的状态。
这跟以太坊的layer2有着明显的区别。不管是zk-rollup还是op-rollup,都会将数据打包后交由以太坊主网络进行验证。而以太坊layer2层相比其它公链最大的优势,是由以太坊来保证layer2的安全性。
成为有比特币网络验证的layer2,它最大的好处是继承比特币网络的安全性。比特币网络的安全明显是胜于以太坊的。现在能真正继承其安全性的,有两种方式。一种是babylon为代表,质押原生的btc,自己形成pos网络进行管理,对作恶者进行惩罚。当质押的btc价值比较大,作恶的成本非常高,以此保证安全性。但是,这种方式的前提是先有大量的btc进行质押。
第二种是利用比特币自身的pow网络,作为第一条也是市值最高的网络,btc安全运行已经14年了,拥有全网最高的算力,其安全系数不言而喻。那么能继承比特币网络的安全性的,其重要的一环就是btc能够实现验证。也就是这次Zulu这次ZKP的重要意义。上次关注到Zulu network,是它首创的bitcoin 双层架构。这次zk-SNARK验证(ZKP),让我也意识到Zulu背后的技术实力非常强大。
zk-SNARK的重要性
SNARK ( succinct non-interactive argument of knowledge) 是简洁非交互式知识论证,其核心是通过数学算法来构建一个证明系统,使得验证者在不了解原始数据的情况下验证数据本身的正确性。我们知道,现在以太坊Layer2有zk-rollup和op-rollup。而op-rollup被认为只是中间过渡期,zk-rollup才是最终形态。因为zk-rollup是使用zk算法将交易批量打包,并生成SNARKs证明提交到主网,主网验证该批次的所有交易。zk-SNARK可以有效的进行隐私保护,并且有很强的扩展性,被V神誉为下个10年的重中之重。
BitVM
这里必须要介绍一下BitVM。在 BitVM 之前,比特币的脚本编程语言被认为不具备图灵完备的。尽管大量的人经过大量努力,依然无法解决这个问题。直到去年10月Robin Linus发布了一个令人轰动的BitVM,Robin的方法是在比特币脚本上验证一种特殊类型的逻辑门,称为NAND门(“与非”门)这是计算的基本原语之一,位于物理/电气级别。所有可能的计算都可以由NAND门构建而成。
最近,Robin又提出了BitVM 2的设计方案。不再直接使用脚本 NAND 门,而是将它们用于使用通用的 SNARK 零知识证明验证器
BitVM的意义在于,可以实现使用比特币网络进行验证,并且无需升级、无需分叉、不给btc带来任何额外的负担。layer2执行负责的其它的负责计算,继承主网的安全性。由于BitVM的巨大意义,很多layer2都在BitVM的基础上进行了构建。比如Bitlayer就是将BitVM作为核心组件,采用了分层虚拟机技术(Layered Virtual Machine)的二层解决方案。
在Zulu Network中,BitVM也是非常重要的存在。而Zulu同样也是BitVM非常重要的贡献者,可以说用比特币脚本实现zk-SNARK验证对BitVM是最核心的一步。Zulu 为 BitVM 2 官方 GitHub 代码仓库贡献颇多,因而得到了 BitVM 发明人 Robin Louis 的高度肯定。
上周,Zulu 已经完成对 Groth16 脚本的切分。2 个 public 的输入,总共切分出了 1701 个子脚本,大小小于 4M,栈深度<1000。此次 ZKP 脚本切分完成,代表 BitVM 迈向商用的又一个里程碑。由于Zulu的出色工作,BitVM2可以很快实现比特币上面的第一个SNARK证明。也说明Zulu的技术也处于领先的地位。
图片注:Zulu的技术进展得到了 BitVM 发明人 Robin Louis 的高度肯定
最后简单介绍下Zulu Network
Zulu Network 是首个比特币生态的双层网络,其layer2层是一个EVM兼容的ZuluPrime。EVM项目可以快速、低成本的部署,实现生态的繁荣。另外一层为Layer3层,称为ZuluNexus。它创新性地统一了 UTXO 和账户资产类型,并实现了基于 UTXO 模型的智能合约创新。这意味着它能最大限制的发挥UTXO的优点,并且能支持未来UTXO上的创新。Zulu 正在开发两个产品:
- 一个可以通过ZKP验证链下状态的Zulu bridge,用于支持资产发行
- 首个去中心化的 ZK 桥来为用户提供任意金额的跨链操作
Zulu现在尚未发币,想早期的参与的可以参加Zulu现在的测试网积分活动。详细看官方的文档