宇宙链 宇宙链
Ctrl+D收藏宇宙链

跨链桥:用零知识证明桥接多链宇宙

作者:

时间:1900/1/1 0:00:00

桥是一种通信协议,用于促进区块链之间的信息传输。建造桥虽然有用,但却是一件有风险的事情。区块链历史上最代价惨重的一些黑客攻击都仅针对桥。

据估计,截至2022年,过去一年损失的资金中,69%是由于桥攻击造成的,损失达数十亿美元。

在本文中,我们关注使用零知识证明(ZKP)的桥结构的具体实现。虽然有些黑客攻击不能仅仅因使用ZKP而做到预防,但ZKP的可靠性将区块链共识协议的安全性扩展到了桥。

桥与零知识证明

近年来,我们看到零知识证明(ZKP)在应用方面取得了巨大的进展,其稳定性为提供安全和去中心化的应用程序创造了条件。因此,ZKP也被用于制定桥建设是有意义的。下面,我们回顾和比较这一领域的三个有趣的发展:

使用zk-SNARK对共识进行简洁验证:使用单个zk-SNARK实现以太坊PoS(权益证明)轻客户端。

通过zk-SNARKS(ElectronLabs)将IBC(区块链间通信)引入以太坊:CosmosSDK上的工作原型到带有单个zk-SNARK的以太坊轻客户端。

zkbridge:无需信任的跨链桥变得实用((BerkleyRDI):使用2步递归zk-SNARK实现CosmosSDK到以太坊轻客户端,以太坊轻客户端到兼容EVM的区块链(本文未涉及)。

这些项目利用zk-SNARK的特性来重新定义桥应该如何设计。以上所有假设都存在一个轻客户端协议,该协议确保节点可以同步最终区块链状态的区块头。将ZKProllup背后的思想应用于桥的两个主要挑战是:首先,与rollup相比,桥中涉及的电路大小要大几个数量级;其次,如何减少链上的存储和计算开销。

共识证明的简明验证(SuccinctLabs)

SuccinctLabs为以太坊2.0权益共识证明构建了一个轻客户端,在Gnosis和以太坊之间构建了信任最小化的桥,它使用zk-SNARK(非零知识)的简洁属性来高效地验证链上共识有效性证明。

该设置由以太坊中每27小时随机选择的512名验证者组成的同步委员会组成。这些验证者被要求在其运行周期内对每个区块头进行签名,如果超过2/3的验证者对每个区块头进行签名,则以太坊的状态被认为是有效状态。验证过程主要包括:

0xScope创始人:Multichain的部分跨链桥疑似恢复运行:6月5日消息,Web3知识图谱协议0xScope创始人Bobie在社交媒体上称,Multichain的Zksync Era/Kava EVM/Avax C-Chain跨链桥疑似恢复运行。不过,Multichain官方社交媒体账号并未发布任何更新。

此前6月1日消息,Multichain表示,目前仍无法联系到CEO获得必要的服务器访问权限,将在UI上对受影响的链暂停相应的跨链服务。[2023/6/5 21:16:38]

Merkle证明的区块头

Merkle证明的同步委员会中的验证者

用于正确轮换同步委员会的BLS签名

上述验证需要每27小时在链上存储512个BLS公钥,并且要对每个区块头验证签名都进行验证,这将导致512个椭圆曲线添加(在曲线BLS12-381中)和链上的配对检查,该操作的成本是高昂的。这里的核心思想是使用zk-SNARK(Groth16)来生成有效性证明(大小恒定),并且可以在Gnosis上进行有效的链上验证。

使用zk-SNARKS的简洁性来摆脱昂贵的链下验证

以太坊轻客户端在Gnosis链上使用Solidity智能合约,而链下计算包括构建circom电路以验证验证者及其BLS签名,然后计算zk-SNARK证明。在此之后,区块头和证明被提交给智能合约,然后智能合约在Gnosis链上执行验证。SNARK计算部分的电路大小和验证时间总结如下:

SNARK部分的电路大小

优化包括使用验证者的512个公钥(PK)输入作为使用ZK友好的Poseidonhash的承诺。Poseidonhash解决了存储开销问题并减小了电路大小。减小电路尺寸的过程如下;受信任的委员会在27小时后更新,之前的委员会使用SSZ(SimpleSerialization),使用SHA256序列对新的委员会进行数字签名。而不是直接在创建大型电路的SNARK中使用它(每个位操作需要一个门,在SHA中有大量的位操作),对当前公钥使用Poseidonhash的承诺。

Celer推出的跨链桥cBridge宣布支持Ontology:7月5日消息,由区块链互操作性协议Celer Network推出的跨链桥cBridge宣布支持Ontology。用户现可通过cBridge在以太坊和Ontology之间进行对USDT、USDC、ETH和WBTC高速安全低成本的跨链转账。

此次桥接遵循此前Celer提出的开放的原生资产跨链桥标准,针对同一种原生资产跨链启用多方铸币者(multi-minter)资产合约,以使各协议和链可同时使用多个跨链解决方案,拒绝供应商锁定。[2022/7/5 1:51:14]

总结:它所使用的这种桥接方法非常特定于应用程序(依赖于共识协议),它的安全性来自于zk-SNARK的稳定性。此外,通过优化,它不仅实现了较低的存储开销,降低了电路复杂度,完成了简洁验证,同时也具有通用性。

将IBC引入以太坊(ElectronLabs)

ElectronLabs旨在从CosmosSDK生态系统(应用特定区块链的框架)中构建一座桥,使用IBC(区块链间通信)来实现框架中所定义的所有主权区块链间的通信。

此设置与前面讨论的情况类似,但方向相反,其中轻客户端(来自CosmosSDK)需要在以太坊上的智能合约中进行验证。从实际意义上讲,在以太坊上运行来自其他区块链的轻客户端似乎具有挑战性。在CosmosSDK中,Tendermint轻客户端运行在扭曲的Edwards曲线(Ed25519)上,以太坊链本身不支持该曲线。因此,以太坊(BN254)上Ed25519签名的链上验证变得低效且成本高昂。

在Cosmos到以太坊的桥中使用zk-SNARK

与我们前面的讨论类似,CosmosSDK上的每个区块头(每个区块头由曲线Ed25519上的约128个EdDSA签名组成)由一组验证者签名组成(验证一个区块需要32个高风险签名)。验证签名会生成大型电路,这是一个重要的计算组件。因此,基本问题是如何在以太坊链上高效、便宜地验证来自CosmosSDK中任何区块链的Ed25519签名。解决方案是构建一个zk-SNARK,它在链下生成签名有效性的证明,并且只在以太坊链上验证证明本身。

Harmony正在开发Harmony-ETH跨链桥:6月15日消息,公链Harmony表示,正在开发无需信任的ETH跨链桥, 团队正构建代码。Harmony-ETH跨链桥将完全无需信任,改进我们当前的Horizon桥。[2022/6/15 4:26:52]

circom库支持BN128、BLS12-381和Ed448-Goldilocks曲线,因此,为了在素数p=2^(255)-19的Ed25519曲线上执行模运算,可以将字段元素的表示分解为更小的85位整数(85*3=255),以实现高效的模运算。circom生成的电路是Ed25519签名验证电路的R1CS表示,它由椭圆曲线点加法/加倍和上面定义的模运算组成。用于签名验证的电路使用circom库构造,每次签名验证会产生约2M的约束。

在见证计算之后,Rapidsnark库为Ed25519签名验证生成Groth16证明。与BLS签名不同,Ed25519曲线签名不可聚合,因此不能为聚合签名生成单个zk-SNARK证明。相反,签名是批量验证的,并且可以观察到,验证时间与批次中的签名数量成线性关系。

因此,减少一批次中的签名数量,确实可以降低证明时间(减少延迟),但随之也会增加成本(gas费),因为每批生成的证明数量会增加。

总结:这种桥接方法也特定于它们的应用程序,并具备源于zk-SNARK证明的可靠性的安全性。特别是,在不引入任何新的信任假设的情况下,它验证了以太坊上Tendermint轻客户端的Ed25519签名。域外模块化算法是一种有价值的链上验证计算优化方法。与SuccinctLabs方法类似的一个具体技术问题是延迟。CosmosSDK中的区块生成速率约为7秒,为了跟上这个速率,证明时间就不得不降低。Electronlabs提出用多台机器并行计算,以与区块生成速率相同的速度生成证明,并进行递归生成单个zk-Snark证明。

Celer Network 推出的跨链桥 cBridge 跨链资金突破 50 亿美元:金色财经消息,据官方消息,跨链基础设施 Celer Network 推出的跨链桥 cBridge 跨链资金突破 50 亿美元。[2022/3/27 14:20:56]

zkbridge(BerkleyRDI)

与其他两个行业主导的ZKP桥结构不同,zkbridge是一个框架,可以在其之上构建多个应用程序。这个想法类似于前面讨论的两种方法,并且需要两个链上的轻客户端和智能合约来跟踪摘要,对应于两端的最新状态。桥的核心组件是区块头中继网络、更新合约和应用程序特定合约(发送方:SC1,接收方:SC2)。

桥组件是灰色阴影区域。

区块头中继网络由中继节点网络组成,这些中继节点侦听桥接链上的状态变化,并从区块中的完整节点检索区块头。桥上中继节点的主要功能是生成一个ZKP,该ZKP验证来自一个链的区块头的正确性,并将其转发给另一个链上的更新合约。更新合约会进行验证并接受或拒绝来自中继网络中的节点的证明。行业主导的方法和zkbridge之间的主要区别是,信任假设基本上简化为中继网络中存在一个诚实节点,并且zk-SNARK是可靠的。

这种结构的一个关键创新是并行使用了zk-SNARK:Virgoprover(deVirgo),它具有简洁的验证/证明大小,不需要可信的设置。其用于验证N个签名的电路本质上由相同的子电路的N个副本组成,称为数据并行电路,每个子电路与其他子电路相互排斥。例如,前面一节中讨论的Ed25519签名验证就是这种情况。

Virgoprover的核心组件是基于GKR协议的零知识扩展,该协议为分层电路中的每个子电路和多项式承诺方案运行总和校验参数。deVirgo泛化本质上是在一组中继节点上运行一个Virgoprover,并通过将证明和多项式承诺聚合到一个主节点来避免证明大小的线性增长。

dFuture正式上线BSC/Heco跨链桥:据官方消息,dFuture于2021年10月27日15点正式上线BSC/Heco跨链桥。本次跨链桥上线,同步支持火币生态链Heco和币安智能链BSC之间的DFT资产跨链,还可支持不同钱包地址之间的资产互转,整个过程仅耗时3-5分钟。

本次跨链的实现,标志着DFT多链生态逐渐被打通,为dFuture未来产品内的跨链生态发展带来更好的基础支持。[2021/10/27 21:01:37]

在deVirgo中证明ed25519签名的电路尺寸

对于使用大约10M门验证100个签名的电路,证明大小为210KB(与Virgoprover大小相同)。Zkbridge使用两步递归。在第一步中,生成一个deVirgo证明,然后使用Groth16prover对其进行压缩。Groth16verifier生成deVirgo电路执行的完整证明。递归的主要目的是实现简洁(证明尺寸)和降低验证gas成本。

然后,中继网络将Groth16证明提交给可以在链上验证它的更新合约。deVirgo证明系统具有后量子抗性,因为它只依赖于抗碰撞哈希函数,主要的计算瓶颈是大型电路中的数论变换(NTT)。有一件事似乎没有被提及,即中继网络的计算将遭受与MPC相同的通信复杂性,这也将影响证明时间。对于中继网络中的N台机器,GKR多层和校验协议的通信复杂度为O(Nlog_2(gatesperlayer))。即使对于32个签名的情况,在中继网络中有32台机器,这也将导致网络中的通信轮数比较多,这可能会完全扼杀分布式计算带来的性能。

使用上述方法解决了前面讨论的来自CosmosSDK-Ethereum轻客户端的Ed25519签名验证问题。桥由一个中继网络组成,它获取Cosmos区块头并生成一个deVirgo证明用于分布式证明生成。接下来,由Electron-labs设计的优化签名验证电路的Gnark适配在递归的第二步生成Groth16证明。

Ed25519签名的证明时间:RV:递归验证者

更新合约在以太坊的Solidity中实现,并跟踪Cosmos区块头和中继网络的Groth16证明。验证成本是恒定的<230Kgas,这是由于Groth16证明的恒定大小。此外,有可能批量验证B个连续区块头,并为B个头生成单个证明。然而,增加批次的大小也增加了验证时间,但由于链上的验证负担较小,因此会降低gas成本。和以前一样,硬件加速也可能进一步改进Gnarkprover。

总结:zkbridge是在桥上构建应用程序的框架。桥的设计使用中继网络来生成ZKP,并且具有最低的信任假设。只要能够克服中继网络中类似MPC的通信复杂性,就可以使用任何可并行化的ZKprover。更具体地说,先不考虑deVirgo中继网络的MPC复杂性,NTT是中继节点的单个Virgoprover组件的瓶颈。

快速比较:

下面我们对本文讨论的三种桥梁结构的各种特征进行快速比较。

综上所述,使用ZKP设计桥,解决了去中心化和安全性问题,但由于电路规模大而产生了计算瓶颈。

计算开销的问题可以通过硬件加速来改善,特别是使用SNARK,以及提交公共数据的技巧,它们可以有效的减少存储开销。由于大部分的桥接工作都是证明数据并行电路,因此将ZKP推广到像deVirgo这样的并行性是有价值的研究方向。

此外,由于多链宇宙中的区块链是根据应用程序在各种各样的领域(字段,曲线)上定义的,字段内外算法的优化在最低级别上是至关重要的构建模块。通过MPC生成证明的并行性在通信复杂度方面有其自身的瓶颈,这是目前尚未解决的问题。

为什么多链宇宙是碎片化的?

区块链生态系统的当前状态类似于泡沫宇宙的异构分布,每个都有自己的共识机制、设计、应用程序和用例规则。截至撰写本文时,有超过100个第1层(L1)区块链协议,用户数量不断增长,随着区块链用例的增加,这个数字可能还会增长。

区块链三难困境指出,很难同时实现理想区块链的三个基石:

去中心化

可扩展性

安全

根据用例的不同,除了吞吐量和成本之外,三个基石的重要性顺序也可能不同。三难困境中的不同权衡可以想象成在保持面积不变的情况下三角形的变形。当两个角互相靠近时,第三个角会移动得更远。这些权衡导致了区块链的不同概念,从而使开发人员能够自由地为合适的应用程序选择不同的平台。这同时也导致了碎片化的多链宇宙,每个区块链基本上都是独立运行的,完全“不知道”其他区块链的存在。

多链宇宙中的链间通信,通常被称为互操作层,是充当不同区块链之间桥梁的基础设施。桥使用户能够在链之间传递消息,包括数字资产、链状态、合约请求、证明等。简而言之,跨链桥“整理”了碎片化的多链世界。因此,很多研究和开发都集中在构建多链宇宙中的这个关键组件上。

建设桥

桥是一种双向通信协议,它向另一个链C2中的应用程序证明一个链C1中的事件的发生,反之亦然。为了简单起见,我们使用术语,源链(C1)和目标链(C2),它们是可以互换的。C1上的状态更改必须在C2上“链上”进行验证。这通常是由轻客户端完成的:C2上的合约跟踪C1上的一组区块头,并使用与从源链提交的根对应的Merkle证明对它们进行验证。一般来说,C1和C2可以在不同的域中工作。除了不断增加的区块头列表之外,客户端还需要存储和验证新出现的区块头。这将导致显著的计算和存储开销,而且通常效率低下。为了绕过这个问题,许多桥的建造都采取了更中心化的方法。

致命弱点:轻客户端协议,有一小组可信任的验证者来签署状态更改。

这通常发生在资金转移的情况下,其中将大量信任假设放在中心化的桥实体上,该实体通常由少量受信任方组成。这违背了区块链的基本原则,也带来了与审查和安全相关的问题。

区块链历史上一些最大的黑客攻击发生在桥上

大多数现有的桥(为了流动性)通过锁定-铸造-销毁-释放机制运行。用户通过将资金发送到链C1上的桥协议与桥进行交互,桥协议将这些资金“锁定”到合约中,即这些资金在C1中不可用。桥允许用户在另一个区块链C2中铸造等值的资金。一旦用户花费了一些资金,并希望将剩余的资金返回到C1,他就“销毁”C2中的资金,桥对其进行验证,并“释放”C1中的剩余资金。在这样的链间桥中,大量资金可能存放在其安全性依赖于少数受信任方的桥中,使其成为攻击的活跃目标。

总的来说,建造桥的主要技术挑战是:

低计算开销(有效处理跨域数据)。

低存储开销。(简洁)

安全/去信任。(可靠性)

希望这篇文章对大家有一定的帮助。

对本文感兴趣的可以私我哦~欢迎志同道合的币圈人一起探讨~

标签:区块链ARKNAR区块链工程专业学什么区块链存证怎么弄区块链技术发展现状和趋势ARK币是什么币NAR价格NAR币

芝麻开门交易所热门资讯
FTX 在日本和巴哈马面临麻烦,因为监管机构缩小了他们的视线

简单来说: 日本金融厅(FSA)已要求FTX停止运营。FTX所在的巴哈马当局也冻结了该交易所的资产。美国参议员仍在考虑一项由SamBankman-Fried支持的加密法案.

1900/1/1 0:00:00
Layer-1 区块链 Kava 代币在主网升级前飙升 40%

Layer-1区块链Kava的原生代币KAVA在过去一周内飙升了近40%,因为其网络准备进行主要的主网升级.

1900/1/1 0:00:00
BTC在美联储会议前攀升至 1万6 美元,会继续到2万吗?

比特币稳定在16,300美元左右,因为交易员预计周三晚些时候美联储会议纪要将发布。比特币持稳其16,000美元的价位,因为交易员预计美联储将在美国东部时间下午2点发布上次货币政策会议的会议记录.

1900/1/1 0:00:00
比特币、以太坊、XRP 链上分析:零售需求在哪里?

简单来说: 在2015年和2018-2019年周期中,比特币价格以类似的区间波动势头移动。以太坊价格扭转了9月中旬的大部分跌幅,使其价值低于1,200美元.

1900/1/1 0:00:00
美元货币紧缩结束叠加比特币减半,牛市真要等 2024 年?

9月下旬,美联储进行历史性的年内第三次加息75BP,10月份公布的通胀数据又大幅超出市场预期,市场预计加息周期将至少延续到2023年底,你怎么看待美元的加息缩表政策?现在目前来看.

1900/1/1 0:00:00
TA:推特上支持 Dogecoin 和 Shiba Inu

这些天来,加密货币行业的知名人士经常引起人们对模因币Dogecoin和ShibaInu的关注。包括马克华莱士和埃隆马斯克在内的世界各地富有和知名人士的支持继续涌入.

1900/1/1 0:00:00