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

2024-08-26 00:32:56 147小编

原文作者:日月小楚

原文来源:mirror

近期比特币生态中一个重要里程碑事件,Zulu宣布实现利用比特币脚本的zk-SNARK验证(ZKP)。涉及Groth16/FFlonk主流算法,并将代码提交到BitVM存储库。

实现了比特币脚本进行ZKP,这意味着比特币网络可以对layer2进行验证这真正意味着layer2,它负责继承比特币网络的安全性,来自比特币Pow机制的安全性,这应该是区块链最具安全性的网络。

由于比特币网络的编程性限制,实现ZKP是特别困难的。现有的大部分比特币l2,实际上并不是真正法L2,因为其链上状态是无法在比特币网络上直接验证的。他们现在打算是生成一个zk证明,发布到btc网络上。但是这个证明并不是比特币网络验证的,而是他们自身网络的角色,就导致l2的链上状态跟比特币网络是分离良策。

这跟以太坊的layer2有着明显的不同。 无论是zk-rollup还是op-rollup,都会将数据打包后交由以太坊主网络进行验证。 而以太坊layer2层相比其它公链最大的优势是,由以太坊来保证layer2的安全性。

成为比特币网络验证的layer2,它最大的好处是继承了比特币网络的安全性。比特币网络的安全明显是胜于以太坊的。现在能真正继承其安全性,有两种方式。一种是babylon为代表,质押原生的btc,自己由pos网络进行管理,对作恶者进行严厉惩罚。当质押的btc价值比较大,作恶的代价非常高,以此保证安全性。但是,列举的前提是首先有大量的btc进行质押。

第二种是利用比特币自身的pow网络,作为第一条也是市值最高的网络,btc安全运行已经14年了,拥有全网最高的算力,其安全系数不言而喻。那么能继承比特币网络的安全性,其重要的一环就是btc能够实现验证。也就是这次Zulu这次ZKP的严峻意义。上次关注Zulu网络,是它首创的比特币双层架构。这次zk-SNARK验证(ZKP),让我也意识到Zulu背后的技术实力非常强大。

zk-SNARK中文

SNARK ( 简洁的非交互式知识论证 ) 是简洁非交互式的知识论证,其核心是通过数学算法来构建一个证明系统,使得验证者在不了解原始数据的情况下的验证数据本身的正确性。我们知道,现在以太坊Layer2有zk-rollup和op-rollup。而op-rollup只是中间过渡期,zk-rollup才是最终形态。因为zk-rollup是使用zk算法将交易批量打包,并生成SNARK证明提交到主网,主网验证该批次的所有交易。zk-SNARK可以有效地进行隐私保护,并且有很强的扩展性,被V神誉为下个10年的重中之重。

比特虚拟机

这里必须要介绍一下BitVM。在BitVM之前,比特币的脚本并不具备图灵的。尽管大量的人经过大量工作,但仍然无法使用。直到去年10月Robin Linus释放了一个令人震惊的BitVM,Robin的方法是在比特币脚本上验证一种特殊启动逻辑门,称为NAND门,这是计算的基本语序之一,位于物理/电气级别。所有可能的计算都可以由NAND门构建而成。

最近,Robin又提出了BitVM 2的设计方案。

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 个公共的输入,总共切分出了 1701 个子脚本,大小小于 4M,深度由于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#

欧意交易所返回搜狐,查看更多

责任编辑:

首页
欧意官网
欧意APP下载