比特币生态里程碑：Zulu利用Bitcoin Script实现ZKP验证

日月小楚｜2024-06-21 13:00

近期比特币生态中一个重要里程碑的事件，Zulu宣布实现首个利用Bitcoin Script 的zk-SNARK验证（ZKP）,实现了比特币脚本进行ZKP，这意味着比特币网络可以对layer2进行验证。这是真正意义的layer2，它将继承比特币网络的安全性的。

近期比特币生态中一个重要里程碑的事件，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利用Bitcoin Script实现ZKP验证

图片注：Zulu的技术进展得到了 BitVM 发明人 Robin Louis 的高度肯定

最后简单介绍下Zulu Network

Zulu Network 是首个比特币生态的双层网络，其layer2层是一个EVM兼容的ZuluPrime。EVM项目可以快速、低成本的部署，实现生态的繁荣。另外一层为Layer3层，称为ZuluNexus。它创新性地统一了 UTXO 和账户资产类型，并实现了基于 UTXO 模型的智能合约创新。这意味着它能最大限制的发挥UTXO的优点，并且能支持未来UTXO上的创新。Zulu 正在开发两个产品：