加密货币:如何解决跨链桥的问题？4 个 ZK 桥新项目介绍

作者：

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

作者：zkvalidator；编译：Kate, Marsbit

ZK技术已广泛用于隐私和扩展目的。尽管如此，新一波的项目正在利用这种加密解决方案的特点来解决区块链行业最引人注目的问题之一：跨链桥。

采用ZK进行桥接的原因之一是其无需信任的加密性质，它解决了中心化桥接解决方案的弱点之一，而中心化桥接解决方案是2022年大规模黑客攻击的中心。

桥的问题

当前跨链桥面临两个重要问题：可扩展性和安全性。由于桥需要跟踪两条链的状态，因此它们需要强大的计算能力和存储能力。为了避免这种开销，许多桥已经转向了基于委员会的方法，在这种方法中，一小部分验证者(甚至只是多签名持有者)签署状态转移，从而变得容易受到攻击。

在2022年期间，由于桥攻击漏洞，超过16亿美元的资产损失。但是这个数字可以有两种解释。一方面，通过桥的传输流量表明对互操作性的市场需求正在增加。另一方面，如此重要的一块拼图代表了更大的区块链生态系统中最薄弱的环节之一。安全问题的三个主要领域是代码中的bug、架构中的盲点(例如缺少故障安全)和委员会/验证器接管。

高盛：探索如何确定比特币和其他加密资产的“基本面”:本周，高盛经济研究团队的Zach Pandl和Isabella Rosenberg发布报告，探索了如何确定加密资产的基本面问题。报告指出，将加密资产等同于黄金是确定其基本面的常见框架，但除此之外，加密货币价格也与其底层分布式网络的价值有关。报告使用区块链地址估算网络用户数量，并与货币市值进行比较，观察到：“市值与网络规模之间存在明显的相关性”，且相关性超过1。他们基于历史数据计算出的平均增长曲线接近价值=用户数的1.4次幂，这给出了一个利用基本面作为市值参考的基准比率。基于该推断，报告指出BTC的市值远大于基本面，其基于用户增量的价值（基本面）与市值相比存在严重偏差。过去几年，比特币市值较2018年平均水平上涨520%，但网络仅增长60-100%。报告认为这一偏差意味着要么比特币现在被高估，要么2018年被低估，要么兼而有之。但报告也指出，除基本面因素外，加密货币上涨还有众多其他因素，包括情绪，以及它作为一种快速致富的新方式的吸引力。但投机交易带来的网络活动增加并不能完全反应基本面的改善，因为平台并未获得更高的经济价值，要使加密货币网络具备可持续价值，活动需要由非投机性用例驱动，而目前此类用例十分缺乏。（雅虎财经）[2021/7/21 1:06:15]

韩国国会将讨论如何提高加密货币交易透明:金色财经报道，韩国国会将于今日举行一场题为“如何提高加密货币交易透明度”的研讨会。该研讨会将讨论有关防止和建立监管加密交易的系统的问题。据报道，此前国会全体会议已通过一项特别法案，旨在引入一种数字资产业务报告系统，包括客户身份识别和建立反义务。如果政府签署该法律，新的反法案可能最早在2021年3月开始阻止与非法暗网相关的加密交易。国会议员Lee Soo-jin表示，区块链是数字经济的根基，透明度是关键，但随着加密货币被用于犯罪活动，负面形象开始积累，需要通过与调查机构的技术合作来防止。[2020/7/10]

2022年的大规模黑客攻击推动了ZK桥的发展

这导致开发人员开始探索替代解决方案——特别是那些依赖于密码学的解决方案。使用zk-SNARKs固有的属性消除了对委员会模型的需求，同时仍然可以扩展网络。

ZK是怎么玩的？

为了在没有共享安全性的情况下验证另一个区块链(目标链)上的一个区块链(源链)的状态，你可以为在目标链上运行的源链使用链上轻客户端。轻客户端或轻节点是一个连接到全节点以与区块链交互的软件。

直播｜方鱼 > 老牌交易所满币如何在合约市场异军突起:金色财经 · 直播主办的《币圈 “后浪” 仙女直播周》第5期本期3:00准时开始，本期“后浪”仙女满币网 CMO 将在直播间聊聊“老牌交易所满币如何在合约市场异军突起”，感兴趣的朋友扫码移步收听！[2020/6/18]

这使你在目标链的执行环境中验证源链的共识，而无需超出每个链共识所需的额外信任假设。然后，目标链将有一些关于源链的信息融入到自己的共识中。

这是对ZK桥如何工作的简单解释

通过使用零知识证明系统，特别是SNARK的“简洁性”属性，现在可以使用链上轻客户端有效地执行此验证过程。还可以验证链上的状态转换和共识，以获得最大的安全性，类似于运行全节点。

我们确定了至少四个项目在不同的生态系统和开发阶段致力于ZK桥解决方案。

声音 | 江卓尔：扩容之争核心是如何解决拥堵问题，应该大区块扩容:莱比特矿池江卓尔今日发微博称，扩容之争核心是如何解决拥堵问题，扩容派坚持中本聪的大区块扩容路线，Core党提出隔离见证SW扩容（号称有4M效果）和闪电网络，3年过去了，结果呢？SW扩容只有1.2MB的微弱效果，区块还是满的，一到5月的小牛市立马堵成狗，手续费飙升。闪电网络更是彻底扑街，没人去用这种反人性+反经济规律的产品。Core无法解决拥堵问题，无可争辩的事实说明中本聪是对的，应该大区块扩容。[2019/11/16]

简洁实验室（Succinct Labs）

https://youtu.be/cMSayTJA1B4

Succinct Labs开发了一个系统，允许Gnosis和以太坊2.0之间的信任最小化连接，以太坊2.0是一个权益证明共识区块链。该系统使用SNARKS来有效地验证Gnosis链上共识证明的有效性。

普京：俄罗斯不能有自己的加密货币但必须研??究如何使用加密货币:据cointelegraph消息，俄罗斯总统普京6月7日在与俄罗斯公众的年度现场问答会议上表示，俄罗斯不能有自己的加密货币，这是因为加密货币超越了国界。对于所谓加密货币挖矿，普京指出俄罗斯确实没有对此进行规范，但态度“非常谨慎”。关于加密货币作为支付方式，普京指出，虽然专家说日本已经部分采用加密货币作为支付，但这“在其他国家并不适用”。俄罗斯联邦中央银行认为加密货币既不是支付手段，也不是价值储备手段。加密货币不受任何支持，人们应该小心谨慎地对待它。俄罗斯必须密切关注这一现象，以确定俄罗斯如何参与其进程。此外普京还补充说明，俄罗斯必须研??究如何使用加密货币，以避免在国际金融领域的任何限制。据cointelegraph分析，普京或许在暗示可以通过使用加密货币避免目前西方国家对俄罗斯的制裁。[2018/6/8]

以太坊2.0网络有一个由512名验证者组成的委员会，每27小时随机选择一次，负责在此期间签署每个区块头。如果至少有2/3的验证者签署了给定的区块头，以太坊网络的状态就被认为是有效的。验证网络状态有效性的过程包括存储和检查验证者的512个BLS公钥，以及展示他们的签名和块头和验证者的Merkle证明。

这个过程在计算上成本很高，所以轻客户端使用SNARK来创建一个恒定大小的证明，可以在Gnosis链上进行有效地验证。证据是使用链下计算创建的，其中包括构建电路来验证验证者及其签名，然后生成SNARK证明。然后将证明和区块头提交给Gnosis链上的智能合约，由后者执行验证。使用SNARK有助于减少存储开销和电路复杂性，并降低信任假设。然而，这种方法是特定于以太坊2.0共识协议和EVM的，因此可能需要更容易推广到其他链上。

zkIBC由Electron Labs开发

https://youtu.be/f4kBUe2n0Qk

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;基础无信任数据可访问性