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

时间:2024-10-03 编辑: 浏览:(145)

近期比特币生态中一个重要里程碑的事件,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#

最新 更多 >
  • 1 Eigenpie可能存在的套利策略

    作者:Wayne_Zhang,Web3Caff高级研究员 来源:substack前言EigenLayer 开放空投领取,进一步点燃了LRT赛道的发币热潮。现在已经发币的项目有Renzo、Ether.fi等项目,完全稀释市值都在10亿美金以上,且均上线Binance、OKX等一线交易所。市场对于其他LRT赛道项目新项目的空投预期和项目估值逻辑有了一定的初步锚定。已上线的LRT项目FDV数据,来源:C

  • 2 传统投资者惊呆 比特币(BTC)到底是不是风险资产

    随着“五月卖出”情绪上升,了解比特币 ETF 推出后传统金融界如何看待加密货币非常重要比特币和黄金 高级 ETF 分析师 Eric Balchunas 最近将比特币比作“青少年时期的黄金”。两种资产之间的关系可以揭示华尔街如何看待当前形势下的加密资产。对比特币需求的激增与黄金 ETF 的大量抛售同时发生,尽管黄金价格达到每金衡盎司 2,200 美元的历史新高,但同期黄金 ETF 的资金流出却高达

  • 3 以下是加密财富导师持有的10大Altcoins

    Levi Rietveld是X平台上广受关注的加密货币财富导师,他披露了构成其加密货币投资组合的前十大加密货币。 在X最近的一篇帖子中,Rietveld透露了他所持有的领先加密资产,以应对即将到来的牛市。这些资产从市场上一些最有价值的加密资产到不太突出的代币。具体而言,它们包括XRP、RNDR、Hedera(HBAR)、比特币和Stellar(XLM)。 以下是我持有的10大加密货币:1$HBA

  • 4 学校中心宣布发布面向职业培训的人工智能学习解决方案市场

    基于SaaS的LMS使职业教练能够在学校网络中扩大学习。 密歇根州沃伦,2024年5月13日/PRNewswire/-学校中心,一个基于人工智能、SaaS的职业学习管理系统(LMS),今天宣布发布一个新的软件平台,使职业教练和其他人能够通过各个学校和学校网络扩大他们的在线学习能力。Schools Hub是一个用于职业培训的自动化学习解决方案市场。一名教练可以使用Schools Hub的开箱即用解决

  • 5 美国证券交易委员会对Coinbase“夺权”指控进行反击

    在一份新的文件中,美国证券交易委员会(SEC)要求法院驳回Coinbase的请愿书,即要求其开发一个新的加密货币监管系统。 Coinbase在3月份的一份文件中声称,监管机构“缺乏将现有证券制度扩展到加密资产的法定权力”,并补充说,它“在没有国会授权的情况下奋力前进”,并“通过执法行动攫取权力”。加密交易所辩称,任何关于扩展现有证券制度的决定都应该“通过未来的规则制定来做出和实施” 美国证券交易委

  • 6 OpenAI推出新的人工智能模型和桌面版ChatGPT

    在这篇文章中MSFT关注你最喜欢的股票REATE FREE ACCOUNT 2023年12月11日,OpenAI首席执行官Sam Altman在亚特兰大举行的希望全球论坛年会上。达斯汀·钱伯斯|彭博社|盖蒂图片社 周一,OpenAI推出了新的人工智能模型和桌面版ChatGPT,以及新的用户界面。CTO Mira Murati在直播活动中表示,此次更新将GPT-4带给所有人,包括OpenAI的免

  • 7 购买比特币——金砖国家黄金支持的加密货币将“暴跌美元”:Robert Kiyosaki

    Kiyosaki表示,金砖国家黄金支持的加密货币将严重影响美元。然而,金砖国家成员国仍未就共同货币达成官方共识。 《富爸爸,穷爸爸》一书的作者Robert Kiyosaki强调了金砖国家黄金支持的加密货币对美元的严重影响。 作为去美元化计划的一部分,最初由巴西、俄罗斯、印度、中国和印度组成的金砖国家探索了在不依赖美元和欧元的情况下进行跨境贸易的各种方式。 数字技术和区块链是计划的一部分。此外,还推

  • 8 Meme Coin的季节:非传统加密货币主宰3个月收益

    在过去的90天里,比特币升值了23.4%。然而,其他八种加密货币的涨幅明显更大,每种加密货币在同一时期都有三位数的涨幅。 90天趋势将利基代币推向新高度 过去一周的统计数据显示,加密货币兑美元表现平平。然而,在过去的90天里,各种数字资产对美元的汇率大幅上涨。在过去三个月里,两种表情包硬币——pepe(pepe)和dogwifhat(WIF)——分别上涨了705%和692.3%。 伟大的模因复兴

  • 9 "税务大师" 卡洛斯•拉米雷斯连续第三年举办《美国税务会议》,这是拉美裔税务专业人士的首要活动

    迈阿密和拉斯维加斯正在为西班牙裔社区最相关的税收教育会议做准备,尊敬的嘉宾、前国税局局长查尔斯•雷蒂格将出席。 迈阿密2024年5.月13日 /美通社/ -- @新概念公关----被誉为 "税务大师" 的卡洛斯•拉米雷斯EA(注册代理人)工商管理硕士、拉丁美洲商业学院 不稳定税主席兼创始人、税收教育界的标志性人物连续第三年发布美国税收公约。 卡洛斯•拉米雷斯为完善这一惯例倾注了毕生的精力,将其确立

  • 10 cmDeFi: Farcaster 在加密星夜下重塑SocialFi

    核心观点:Farcaster 是一个去中心化社交媒体协议,为开发者、创作者和普通用户提供一个开放且可组合的社交层。用户层面专注隐私保护和自主控制权,协议层面专注开源且无需许可,产品层面提倡“小程序”级别的互动性,通过Frames在社交媒体帖子中直接访问多样化的服务和应用。去中心化架构:不依赖中央服务器,在区块链上运行。用户控制权:用户可以完全控制自己的数据和社交图谱,即使应用受限,用户依然保有身份