比特币生态里程碑：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 现在的测试网积分活动。详细看官方的文档https://www.yuque.com/zulunetworkzhongwenshequn/zvggg8/kr9epkg0v27rh860?singleDoc#