
如何解决跨链桥的问题?4 个 ZK 桥新项目介绍
原文标题:Exploring ZK Bridges
原文作者:zkvalidator
原文来源:zkvalidator
编译:Kate, Marsbit
ZK技术已广泛用于隐私和扩展目的。尽管如此,新一波的项目正在利用这种加密解决方案的特点来解决区块链行业最引人注目的问题之一:跨链桥。
采用ZK进行桥接的原因之一是其无需信任的加密性质,它解决了中心化桥接解决方案的弱点之一,而中心化桥接解决方案是2022年大规模黑客攻击的中心。
桥的问题
当前跨链桥面临两个重要问题:可扩展性和安全性。由于桥需要跟踪两条链的状态,因此它们需要强大的计算能力和存储能力。为了避免这种开销,许多桥已经转向了基于委员会的方法,在这种方法中,一小部分验证者(甚至只是多签名持有者)签署状态转移,从而变得容易受到攻击。
在2022年期间,由于桥攻击漏洞,超过16亿美元的资产损失。但是这个数字可以有两种解释。一方面,通过桥的传输流量表明对互操作性的市场需求正在增加。另一方面,如此重要的一块拼图代表了更大的区块链生态系统中最薄弱的环节之一。安全问题的三个主要领域是代码中的bug、架构中的盲点(例如缺少故障安全)和委员会/验证器接管。
2022年的大规模黑客攻击推动了ZK桥的发展
这导致开发人员开始探索替代解决方案——特别是那些依赖于密码学的解决方案。使用zk-SNARKs固有的属性消除了对委员会模型的需求,同时仍然可以扩展网络。
ZK是怎么玩的?
为了在没有共享安全性的情况下验证另一个区块链(目标链)上的一个区块链(源链)的状态,你可以为在目标链上运行的源链使用链上轻客户端。轻客户端或轻节点是一个连接到全节点以与区块链交互的软件。
这使你在目标链的执行环境中验证源链的共识,而无需超出每个链共识所需的额外信任假设。然后,目标链将有一些关于源链的信息融入到自己的共识中。
这是对ZK桥如何工作的简单解释
通过使用零知识证明系统,特别是SNARK的“简洁性”属性,现在可以使用链上轻客户端有效地执行此验证过程。还可以验证链上的状态转换和共识,以获得最大的安全性,类似于运行全节点。
我们确定了至少四个项目在不同的生态系统和开发阶段致力于ZK桥解决方案。
简洁实验室(Succinct Labs)
Succinct Labs开发了一个系统,允许Gnosis和以太坊2.0之间的信任最小化连接,以太坊2.0是一个权益证明共识区块链。该系统使用SNARKS来有效地验证Gnosis链上共识证明的有效性。
以太坊2.0网络有一个由512名验证者组成的委员会,每27小时随机选择一次,负责在此期间签署每个区块头。如果至少有2/3的验证者签署了给定的区块头,以太坊网络的状态就被认为是有效的。验证网络状态有效性的过程包括存储和检查验证者的512个BLS公钥,以及展示他们的签名和块头和验证者的Merkle证明。
这个过程在计算上成本很高,所以轻客户端使用SNARK来创建一个恒定大小的证明,可以在Gnosis链上进行有效地验证。证据是使用链下计算创建的,其中包括构建电路来验证验证者及其签名,然后生成SNARK证明。然后将证明和区块头提交给Gnosis链上的智能合约,由后者执行验证。使用SNARK有助于减少存储开销和电路复杂性,并降低信任假设。然而,这种方法是特定于以太坊2.0共识协议和EVM的,因此可能需要更容易推广到其他链上。
zkIBC由Electron Labs开发
Electron Labs正试图在Cosmos SDK生态系统(用于构建特定区块链应用程序的框架)和以太坊之间建立连接。具体来说,zkIBC 正在寻求模拟 Cosmos 主权链使用的无需信任的通信协议,名为区块链间通信协议(IBC),并将其扩展到以太坊。
然而,在以太坊上使用Cosmos SDK的轻客户端会带来一些挑战。Cosmos SDK中使用的Tendermint轻客户端在Ed25519曲线上运行,以太坊区块链本身不支持该曲线。这使得在以太坊 BN254 曲线上验证 Ed25519 签名既昂贵又低效。Electron Labs计划通过创建一个基于zkSNARK的系统来解决这个问题,该系统可以生成链下签名有效性的证明,并且只在以太坊链上验证证明。
这种方法可以在不引入任何新的信任假设的情况下,高效、廉价地验证以太坊区块链上Cosmos SDK的Ed25519签名。这种方法的一个问题是延迟,因为证明生成过程需要跟上Cosmos SDK的高区块生产率。Electron Labs计划通过使用多台机器并行生成证明并将它们组合成单个zkSNARK证明来解决这个问题。
zkBridge由BerkleyRDI设计
zkBridge是一个框架,允许创建可以在不同区块链网络之间通信的应用程序。它使用中继节点和智能合约系统来促进通信。zkBridge与其他行业主导的方法之间的主要区别在于,它只需要中继网络中存在一个诚实节点,并且假设zkSNARK是可靠的。
zkBridge使用deVirgo,这是Virgo zkSNARK证明系统的并行版本,它具有较小的证明大小,并且不需要可信设置。它依赖于一个名为GKR的协议和一个多项式承诺方案来生成验证多个签名的电路的证明。然后使用Groth16证明器压缩deVirgo证明,并通过目标区块链上的更新合约进行验证。总的来说,这种证明系统的组合在zkBridge中实现了高效的跨链通信,而无需外部信任假设。
=nil;基础无信任数据可访问性
关键数据管理(例如桥接),通常需要在完全控制下的可信环境中完整复制数据。但如果这是不可能的,或者提供起来非常昂贵,组织可能会转向值得信赖的数据提供商,例如 AWS 或 Infura,来访问他们所需的数据。
但正如我们在这篇文章的引言中提到的,信任数据提供者可能会导致审查或数据泄露问题。
这里=nil;的无信任数据管理解决方案。通过使用基于“DROP DATABASE *”系统的状态和查询证明,该解决方案允许无信任桥接。在这种情况下,协议可以使用从协议中检索到的数据和SNARK正确性证明来将数据从不同的协议数据库相互传输。
结论
由于ZK桥接空间仍处于起步阶段,我们预计在未来几年,跨链应用程序的研究突破、智能实现和采用将呈指数级增长。由于我们知道对互操作性的需求正在增长,我们可以期待更多安全和可扩展的桥接技术的发展,这反过来可能会进一步推动ZK技术的发展。
比推快讯
更多 >>- 加密资产管理公司 Blockrise 完成 200 万欧元种子轮融资
- Backpack Exchange 完成第一赛季第九周 1000 万积分发放,多项核心指标再创历史新高
- 马斯克修改对 OpenAI 诉讼,重新提出 RICO 法案指控
- 山寨币季节指数回升至 27
- 英中贸易协会主席呼吁美国政府:理智行事,走出关税战泥潭
- SOON 发布代币经济学:初始总供应量为 10 亿枚,51%分配给社区
- 美日领导人通电话 拟定 6 月中旬进行会谈
- 特朗普敦促欧盟单方面让步 欧盟坚持“对等原则”
- 特朗普敦促欧盟削减关税,否则将面临更多关税
- 美国一男子因涉及比特币洗钱被判 6 年监禁,罚没 150 万美元
- 孙宇晨出席特朗普总统晚宴并致辞:感谢总统力挺加密行业
- 比特币现货 ETF 昨日总净流入 9.348 亿美元,持续 7 日净流入
- 数据:某巨鲸平仓 HYPE 空单,损失约 2352 万美元
- aiPool 创始人讽刺某 HYPE 空头爆亏超 2100 万美元
- Bithumb 将上线 SOON
- BitMart 创始人 Sheldon Xia 受邀出席特朗普 VIP 晚宴
- 两地址过去 3 小时累计向 Binance 转入 4241 枚 ETH
- HYPE 上涨触及 35.35 美元,创历史新高
- Farcaster 创始人对呛 Vitalik 新文,Vitalik 称对方应考虑卖出 ETH
- Multichain 创始人新项目 Chainge 被曝资金卡顿,用户提币受阻
- 稳定币项目 Plasma 获 Peter Thiel 旗下 Founders Fund 战略投资
- 某以太坊 OG 地址在沉寂 4 年后将 2500 枚 ETH 转入 Kraken
- 数据:过去 24 小时全网爆仓 2.85 亿美元,多单爆仓 8646.53 万,空单爆仓 1.99 亿
- 数据:Hyperliquid 平台鲸鱼当前持仓 67.51 亿美元,多空持仓比为 0.97
- 模块化住宅制造商 BOXABL 宣布采用比特币作为储备资产
- 数据:43%的 TRUMP 晚宴参会者因持币而蒙受损失
- Uniswap Foundation:2024 年全年已拨款达 1.15 亿美元
- Ondo Finance 推出链上证券交易平台"Ondo Global Markets"
- James Wynn:若比特币达到 11.8-12.2 万美元峰值,市场或将看到降温或横盘
- Farcaster 新增支持 Solana
- Immutable 过去 9 个月裁员三分之一,转而使用 AI 完成部分工作
- YGG 推出首款 Pudgy Penguins 主题游戏《LOL Land》
- WSJ:美国多家大型银行正探索合资稳定币项目
- Bitwise 总法律顾问:特朗普参与有助加密行业,立法者应推动监管框架
- 数据:James Wynn 25 倍做多 ETH ,持仓达 6032 万美元
- Glassnode:比特币创下历史新高,但获利了结量骤降至 10 亿美元
- 巨鲸 James Wynn 开设 25 倍以太坊多单仓位
- Cetus:正与黑客协商归还资产
- 特朗普于晚宴现场发表讲话,并未宣布任何新消息
- 数据:巨鲸 James Wynn 多单加仓至超 8 亿美元,40 倍空头被迫减仓至 1643 万
- Cetus 向黑客提出回赃协议,悬赏 2324 ETH 换和平解决
- 特朗普晚宴现场照曝光,Ronin 联创、Magic Eden 联创等赴宴
- Anthropic 推出新一代 Claude 4 模型:Claude Opus 4 与 Claude Sonnet 4
- 欧洲首家比特币储备企业 Blockchain Group 购入 227 枚 BTC
- 特朗普晚宴现场外聚集抗议者展开抗议活动
- 数据:萨尔瓦多近 7 日共增持 8 枚比特币,总持仓达 6,185.18 枚
- 彭博社:美国最高法院暗示特朗普将无法解雇美联储主席鲍威尔
- 彭博分析师:正如预期,多项加密 ETF 再度遭美 SEC 延期审核
- 民主党参议员计划修改《GENIUS》法案以阻止特朗普家族从中获利
- 美民主党人抨击特朗普的TRUMP晚宴,称其是“出卖美国”