BTC生态新里程碑：Zulu 借助 比特币 Script 达成 ZKP 验证

BTC生态近期迎来了一次关键的技术突破，Zulu 宣布成功借助BTC脚本达成 zk|SNARK 验证（ZKP）。此次革新涉及主流的 Groth16 和 FFlonk 算法，并将有关代码提交到 BitVM 存储库。

达成BTC脚本进行 ZKP 意味着BTC互联网可以对 Layer 2 进行验证，这很大地增强了 Layer 2 继承BTC互联网安全性的能力。BTC互联网以其强大的 PoW 机制和高度安全性著称，此次突破让BTC互联网的编程性限制得以进一步突破。

BTC Layer 2 的近况与挑战

因为BTC互联网的编程性限制，达成 ZKP 一直是个难点。现有些大部分BTC Layer 2 解决方法并非真正的 Layer 2，由于它们的链上状况没办法在BTC互联网上直接验证。而ETH的 Layer 2（如 zk|rollup 和 op|rollup）则是通过ETH主网进行验证，确保 Layer 2 的安全性。

BTC Layer 2 继承其互联网安全性的方法主要有两种：一是通过质押原生 比特币，由 PoS 互联网管理，二是借助BTC自己的 PoW 互联网。而 Zulu 此次达成的 ZKP 正是增强BTC互联网验证能力的重点一步。

zk|SNARK 与比特虚拟机（BitVM）

zk|SNARK（简洁的非交互式常识论证）通过数学算法构建证明系统，使验证者在不知道原始数据的状况下验证数据的正确性。现在ETH的 Layer 2 有 zk|rollup 和 op|rollup，其中 zk|rollup 被视为最后形态，由于它通过 zk 算法将买卖批量打包，并生成 SNARK 证明提交到主网。

BitVM 作为BTC脚本的重大革新，致使BTC互联网拥有了图灵完备性。去年 10 月，Robin Linus 提出了 BitVM，通过验证一种特殊的 NAND 门逻辑，解决了计算问题。近期，Robin 又提出了 BitVM 2 的设计策略，这致使 Layer 2 可以在BTC互联网上进行验证。

Zulu 的贡献与将来

Zulu Network 在 BitVM 中饰演了要紧角色，是达成 zk|SNARK 验证的核心推进者。上周，Zulu 完成了对 Groth16 脚本的切分，共切分出 1701 个子脚本。这一突破意味着 BitVM 马上达成商业化应用。

Zulu Network 是BTC生态中的双层互联网，其 Layer 2 是一个 EVM 兼容的 ZuluPrime，而 Layer 3（ZuluNexus）革新性地统一了 UTXO 和账户资产种类，达成了基于 UTXO 模型的智能合约。Zulu 正在开发支持资产发行的 Zulu Bridge 和去中心化的 ZK 桥，为用户提供链上操作的更多可能性。