作者:Patrick McCorry;编译:0×26,区块律动
本文来自 Arbitrum 基金会和 Lemniscap 的 Patrick McCorry。Patrick 是英国第一位加密货币博士毕业生,在 2013 到 2016 年攻读博士期间,研究比特币和以太坊相关方向,之后在伦敦国王学院担任助理教授,UCL、NCL 和 UIUC 做研究员。2019 年,Patrick 离开大学进行 Layer2 方向创业,并被 Infura 收购,他在 Infura 期间还制作了一整套区块链课程。之后 Patrick 加入了 Lemniscap 和 Arbitrum Foundation。
本文分两部分,第一篇为《区块链作为数据库》(Blockchain as a Database),第二篇是《数据库跨链》(Bridging Databases)。Patrick 用第一性原理,将区块链抽象成共识协议+数据库的形式,并以此为基础,解释了 Layer1、Layer2 和跨链桥的工作原理,以及 Layer1 和 Layer2 的区别等。
以下为经律动编译的文章原文:
关于验证桥是否定义了 rollup 存在了很大的争议,或者换句话说:
rollup 等于桥?
我们先退后一步,用第一性原理看这个问题。
什么是区块链?
如何把资产从一个数据库通过桥转移到另一个数据库?
我们通过两篇文章讨论上述两个话题,讨论完毕后再回过头审视这两个话题,评估其正确与否。
区块链的主要目的:允许任何第三方算出相同的数据库信息,并相信这份数据有效。
区块链的核心是数据库,其中记录着:
账户余额
智能合约代码
程序状态
在几乎所有的系统中,区块链都定义了所有历史交易的顺序。
至少这是很长一段时间内,我们学到的。
它不必是一串交易列表。很可能是一个状态差异列表,边上还有零知识证明。
那,什么是区块链?
区块链,是一组有顺序的数据表,可以根据确定的规则计算出数据库副本。
重新强调下区块链的目的:
允许用户计算出数据库副本。
唯一的任务就是让复制这个数据库成为可能。
很无聊对吧?
关于区块链,其中的一个难题是:
社区如何达成全球一致(共识),并且认识到什么是真正的区块链。
如果我们能对同一个区块链达成统一,那全球的用户都能算出同样的数据库。
这引出了共识协议的想法,目标很简单:
使一群可能是匿名的、互不信任的各方,就一个决定达成一致。
在区块链的语境中,共识协议使一个方能够提出一个数据『块』,将其附加到数据序列的最上端,所有其他方都同意这确实是新的区块头。
这就是为什么它被称为区块链,就是因为我们都在就同一串数据块达成一致!
在设计和实施共识协议时,需要考虑许多技术挑战:
我们能否实现开放,让任何人都可以参与?
各方达成一致需要多大的通信复杂性?
是否可能为人们提供经济激励,让他们主动参与?
尽管这是一个非常有趣且复杂的主题,我们暂时先不关注这些挑战。唯一需要记住的是,只需要存在一个共识协议,它可以使所有各方就新的数据块达成一致。
多年来,特别是在追寻区块链 Layer 1 的过程中,社区已经经历过各种各样的共识协议配置的尝试:
Bitcoin 上的 Nakamoto
Ethereum 上的 Gasper
Cosmos 上的 Tendermint
Avalanche 上的 Snowman
昆明市出台数字经济发展计划,拟壮大区块链产业和超前布局元宇宙产业:金色财经报道,昆明市人民政府网近日公布了《昆明市数字经济发展三年行动计划(2022—2024年)》,其中提及壮大区块链产业和超前布局元宇宙产业:到2024年,昆明市将建成1个元宇宙发展试验区,形成5个以上元宇宙创新应用试点;并新增10家以上具备较强竞争力的技术龙头区块链企业,孵化20个以上区块链特色应用。
《行动计划》提出,昆明市力争通过3年时间,全市数字经济规模翻一番,突破5000亿元,年均增长25%以上。[2023/1/3 22:23:03]
在几乎所有情况下,(协议)进入市场的策略都是发布一个新的共识协议,协议会持续对数据库进行更新。不仅仅是关于部署共识协议,还包括所有围绕它的基础设施。以及社会层面上,使诚实的大多数无准入的参与其中。
这是一个艰巨的任务。
同时也引发了一个有趣的问题:
如果我想推出一个链,最终成为新的数据库,我真的还需要推出一个新的共识协议么?
令人惊讶的是,答案是不!
区块链可以像一个公告栏一样,让所有人看到一样的讯息。
在深入探讨之前,我们先设想一个抽象概念:
公告栏,确保持续性的让所有有需求的人看到数据。
这是一个与电子投票协议有关的概念。公告栏允许所有用户可以获得同样的协议记录。用户可以获得这份记录,独自执行,并验证协议是否正确。在电子投票这个例子中,(公告栏)可以用来检查投票活动是否正确运行,以及所有票数是否正确记录。
这和区块链有什么关系?好吧,只要:
任何人都能获得公告栏中的数据。
那么,任何人都能得到带有时间戳的数据并且计算出数据库的副本。实际上,许多 Layer-1 链,特别是 Bitcoin 和 Ethereum,是特别好的公告栏。此外,它们还让在公告栏上写入数据变得很容易。
只需汇总(roll up)数据并将它发布到区块链系统上。
重用现存的区块链系统被称为 rollup。
Rollup:所有的数据被汇总并发布到相应的链上。
决定数据的排序,并保证任何人都可以访问数据的繁重工作,留给了现有的区块链系统。这不是一个新的想法。事实上,它已经存在了大约 10 年。rollup 方法已经成为引导新数据库的一种流行方式。
有许多例子:Coloredcoins,MasterCoin / Omni,Ordinals,Arbitrum,Optimism,StarkEx,ZkSync,Polygon Hermez,Scroll。
上述所有项目,以及一些其他的项目,都在试图在 Bitcoin 或 Ethereum 基础上引导新的数据库。
事实上,由于这种方式的流行,还有一个名为 Celestia 的平台,它专注于构建专门用于启动 rollup 的数据库。
我们仍然可以把 rollup 看作是区块链:
一系列定期发布的数据,
并会附加在有顺序的相关数据库中。
区块可能会看起来不一样,甚至可能是一串数据块。但总的来说,它仍然是仅附加数据结构,最终总具有(或因果的)排序。
最终,不论是开发出一种新的共识协议还是重拾已有的,目标是一样的:引导出一个数据库。
由社区来执行并强制执行全球公认的规则,特别是反击系统内部节点。
假设各方都可以获取相同的数据,最后的挑战是让所有各方遵循同一套规则,即同一套解析数据块和计算数据库副本的规则(『状态转换函数』)。
解析数据的一个例子:
取一个数据块,
将其解析为一个交易,
检查交易是否可执行,
动态 | 区块链技术将助力抵御人工智能深度伪造局Deepfake:据Cointelegraph消息,人们或可通过区块链的数字签名技术对各种视频和音频文件进行确认,从而有效抵御人工智能深度伪造局(Deepfake)。文章指出,人工智能深度伪造局是面部和语音克隆人工智能技术的结合,这种技术允许创建逼真的、电脑生成的真人视频。区块链则是对抗Deepfake技术所带来的各种数字威胁的合法工具。Factom Protocol市场总监Greg Forst表示,如果视频内容一经创建就上传至区块链,生成验证标签或图形,则会有效抵御Deepfake。[2019/12/22]
在特定的虚拟机上执行它,
将更新传递到数据库。
这导致了加密货币的一个独特问题:
在面对解析数据时,需要一套拥有全球共识的解析规则。
在协调全球一致解析规则时,我们需要评估两种情况:
操作执行。所有各方都同意的规则,99.9% 的时间都在执行。
规则的治理。所有各方都有一个设定过程,提出并同意新的规则。
首先,几乎所有的讨论都将区块链网络的安全性与日常的规则执行操作联系起来。这十分重要,因为它关注的是软件,和参与的各方,如何持续执行同一套规则来保护数据库。
然而,保护区块链网络的最终保障,特别是当操作执行出现问题时——意味着要更新规则。关于如何改变规则,何时执行新的规则,这必须有一个过程,让所有参与者达成社会层面的共识。
让我们更详细地探讨执行和治理的概念。
我们所有人都有责任持续执行规则,验证每一个提出的数据库更新。
日常操作执行是使区块链系统计算数据库如此令人兴奋的原因!
我们只需要对以下两点达成一致:
在哪里找到数据块的总排序
解析数据块的规则。
这就够了。只要遵循规则的数据库,所有参与者都有机会获取数据块,执行规则。
无论参与者是大还是小,是排序发起者还是家庭节点,每个人都应该对数据库的内容有信心。
进一步说,只要所有的市场参与者都执行同样的规则,他们都可以计算出同样的数据库副本,那么我们就可以让市场决定什么应该被认为是真正的区块链。
所有的区块链系统都必须用一套解析数据和计算数据库的规则来引导。
几乎所有的区块链系统都需要一个引导阶段:
(Bitcoin)比特币核心来自中本聪
(Ethereum)黄皮书来自 Gavin Wood。
通常情况下,一个项目是由一小群开发者引导的,他们决定规则,启动区块链,然后将软件(以及规则)交给更广大的社区。
下一步就是改变规则。
关于改变规则有很多原因,例如软件升级或者修复漏洞。任何规则的修改都需要获得更广泛的同意,或者叫做,社会共识。
有两种方式达成改变规则的共识:
粗略的共识。不透明且不明确的过程。
链上治理。明确的代币治理者投票的过程。
前者,粗略的共识,是像比特币和以太坊这样的区块链网络的核心部分。它涉及到人为的过程,与各种参与者达成一致,然后开发者实施升级,提出一个标记日,升级可以生效。
后者,链上治理,首先由 Tezos 开创,使参与者能够明确地投票决定是否应该部署升级,然后提供一个时间表,成功投票后,软件可以在这个时间表上更新。正如我们将很快看到的,链上治理的方法已经在 DAOs 中流行起来,作为一种管理单一项目的方式。
在上述两种情况下,仍然需要就提议的升级达成一致,(即使这样)也不能保证它会顺利进行:
没有区块链分裂:升级顺利执行,全球一致(包括市场)只接受一个新规则的数据库。
现场 | Block Hop 创始人 Alex:区块链底层应该能够提供相当稳定的经济环境:金色财经现场报道,全球区块链开发者大会 GBDC 2018于香港正式召开,在“区块链未来十年”主题圆桌上,Block Hop 创始人 Alex指出,未来十年人们将在虚拟世界里投入更多的时间,明白在虚拟世界的权利义务以及获取利润的方式。未来十年不仅希望在技术层面为开发者和用户提供高TPS,更希望实现开发者更加友善的基础服务以更好的融入领域之中。同时,区块链底层应该能够提供相当稳定的经济环境,让虚拟资产价格更加稳定,使人们关注玩家的游戏行为。[2018/12/16]
区块链分裂:如果升级有争议,且争议双方仍然运行,那么它可能导致永久的分叉,因为两个社区应用不同的规则,计算出不同的数据库,各自有自己的市值。
换句话说,治理过程只提供了一个模糊的结果,社区可能会接受提议的升级。(真正的结果)我们只能在标记日和升级执行后才能确定。很有可能社区成员会反对,忽视新的规则,允许两个竞争的数据库出现。就像 BTC/BCH 和 ETH/ETC 一样。
最后,有两种方式执行新规则的改变:
硬分叉。未升级节点将拒绝的规则的可检测变化。对规则进行可检测的更改,未升级的节点将无法参与新规则。
软分叉。非升级节点将忽视的规则的不可检测变化。对规则进行不可检测的更改,未升级的节点将这部分忽略。
硬分叉或软分叉的概念关注的点在于,是否可以检测到规则的变化,以及它如何对此做出反应。很容易就会围绕应该使用哪种方法展开激烈的辩论,因为它最终会影响网络的抗审查性,抵御恶意攻击,以及用户是否可以明确选择规则变更。
区块链网络的整个追求就是构建一个开放的数据库,允许任何人读取,写入和保护它。
过去 14 年来,社区最大的实验始终集中在如何构建一个「更好」的数据库。
已经有了明显的演变:
托管数据库。复制 web2 的体验,但信任操作员保护数据库的完整性和活力。
公共数据库。允许任何人读取数据库,但最终信任一个操作员来更新它。
开放数据库。允许任何人读取,写入和保护数据库。
举一些例子:
中心化交易平台。几乎所有的交易平台都实现了 web2 风格的数据库,不可能有任何人计算出数据库的副本。
权威证明(PoA)。一些区块链系统依赖于一个指定的,或多个指定的权威,发布新的区块来更新数据库。任何人都可以下载区块,解析数据块,计算出数据库的副本。他们只是没有权威提出新的区块。
中本聪共识。任何愿意使用财务资源的人,都可以参与更新数据库的过程,通过发布(和投票)新的区块。同样,任何人都可以下载区块,解析数据块,计算出数据库的副本。
现在——我们使用「更好」的这个词,因为答案——什么是好的数据库,是非常主观的,它取决于社区试图优化的指标:
看重可以参与共识协议的参与者?
看重可以下载数据库副本的参与者?
限制谁可以写入数据库,而不需要受信任的操作员的批准?
不在意在系统上进行交易的成本?也许在试图保持数据对任何人开放的同时?
什么对奶奶来说最容易进行交易?
我们可以客观地定义指标,并评估区块链系统如何实现其声明的目标。社区会永远争论哪些指标重要,以及他们如何比竞争对手更好地实现这些指标。然而,最终重要的是用户选择在哪里进行交易,以及他们为什么做出这个决定。
只有一个问题——我们如何将资产从一个数据库移动到另一个数据库?例如,一个典型的用户流程可能包括:
上线。在 Coinbase 上购买代币
转移。将代币从 Coinbase 转移到以太坊
行动。尝试 DeFi 应用,
转移。将代币从以太坊转移到 Arbitrum
转移。将代币从 Arbitrum 转移到 Binance,
链下。变成法币。
所有命名的系统都是各自具有不同安全性和可审计性的数据库。但是,为了实现资产的转移,我们需要谈谈桥,这将是我们下一篇文章的重点!"
美股收盘 区块链中概股涨跌各异:今日美股收盘,区块链概念板块中概股涨跌各异,人人网收跌0.23%,寺库收跌3.13%,兰亭集势收跌3.24%,迅雷收跌1.26%,猎豹移动收跌0.23%,拍拍贷收涨1.09%。[2018/5/25]
桥接世界——引言
简短回顾:《区块链作为数据库》
上文探讨了 "什么是区块链?",这是一个了解区块链目的的绝佳机会。
那么,什么是区块链?
区块链只是一种数据结构,用于规定数据(交易)的整体排序。
只有一个目的:
任何人都可以获取区块链,按顺序解析数据(交易),并计算出同一数据库的副本。
现在轮到了——区块链网络中最难解决的问题之一:参与者如何验证他们拥有相同、且唯一的区块链副本?
简单来说,区块链工程的整个领域都集中在以下方面:
实现单一数据库。
在全球范围内,所有各方汇聚到同一个区块链上的唯一方法就是加入共识协议。它让所有各方共同商定出决定——添加最新的数据块。
一个有趣的附带说明是,数据块不一定是交易列表,事实上有两种选择:
交易历史。要执行的事务的明确列表。状
态差异。可用于更新数据库中存储槽的「状态差异」列表。
由参与者决定如何将数据解析为可应用于数据库更新的规则集("状态转换函数")。由于有效性证明的兴起,状态转换方法是最近才出现的。
因此,归根结底,所有区块链协议的重点都是保证正确的数据排序,并向所有人公开。事实上,有一个非常微妙的假设:
最近广播。共识协议只能保证数据在某个时间点的发布。
并不能保证历史上达成一致的决策都是可用的,而且大多数提供数据的节点都是利他的(译者注,大多数提供历史交易数据的节点是出于利他主义行为。这是因为在区块链网络中,节点没有义务一直保存所有的交易数据。)。
最后,在决定如何确保数据库数据的公开性时,项目可以做出以下选择:
部署一个新的共识协议("Layer1")
重新使用现有的共识协议("rollup")
前者是一项艰巨的工作。它需要引导整个生态系统愿意站出来,并且通常需要诚实的大多数参与者来保护系统。
rollup 承认引导这样一个生态系统是很困难的,而且造轮子的价值不大。利用 Layer1 作为公告板,并让其保证所有相关数据的可用性(和排序)要容易得多。
无论一个项目决定部署新的 Layer1 还是 rollup,所有方法都会导致一个具有不同程度的信任假设和安全性的数据库世界。
我们可以很容易地将它们归类为「封闭」、「公共」或「开放」数据库,其重点在于数据库是否可以公开读取,以及用于实现向数据库写入的机制。
将资产从一个数据库转移到另一个数据库的跨链桥。
上述内容听起来很理论化,但有经验证据表明,我们现在生活在一个有成百上千个数据库希望与加密资产互动的世界。
这就引出了下一个问题:
用户如何将其资产从一个数据库转移到另一个数据库?
我们需要研究用户如何将其资产从一个数据库转移到另一个数据库。
更广义地说,他们如何在不同的系统间传递信息。让我们一探究竟!
这一切都是关于如何通过桥将消息从一个数据库发送到另一个数据库。
有一个组件可以助力实现想象中的那种区块链世界:
桥:为难以或不可能跨越的事物提供通道。
其实桥的工作很简单。它应该让消息从一个数据库传递到另一个数据库。它可以被视为一种通信协议,其中实体(桥)位于发送者和接收者之间。
所有通信协议都尽力满足以下属性:
传递及时。消息尽可能快的被接收者使用。
瑞士邮政将利用区块链提供业界领先的温度监控解决方案:据ccn消息,瑞士邮政(Swiss Post )将整合由区块链创业公司Modum开发的基于区块链的解决方案,将帮助交付药品运输和其他温度敏感产品。总部位于苏黎世区块链开发商Modrum使用区块链智能合约和物联网技术研发传感器,已经成功完成了许多首次温度监控货件交付试点。Modum表示,该解决方案将监控商品状态并向审核员证明其合法合规性。Modum声称为制药行业提供了一种“被动监控解决方案”,该传感器可持续监控环境条件,并验证根据区块链上的智能合约收集的信息以验证预先确定的要求,其制药客户目前正在使用该公司的智能合约来记录出货的温度阈值。[2018/4/25]
完整。应该传递完整的内容。
可验证。接收者可以验证该消息确实是由发送者发起的。
有一点值得注意,桥作为通信协议,并不致力于保护消息的隐私性。这在桥这个领域是可选项,且(现在)还没有保护消息隐私的桥协议。
现在,桥需要解决的主要问题是能够让接收者相信消息的真实性,即证明过程。
我们相信人为运营的操作系统能够传递信息并证明其真实性。
在几乎所有桥的设计中,发送者(数据库 A)和接收者(数据库 B)之间都有一组权威机构。当然,发送者和接收者很可能是存在于各自数据库中的智能合约。
这些权威机构将:
获取。从数据库 A 获取新的消息。
签名。对将发送到数据库 B 的所有消息进行数字签名。
证明。将数字签名和消息发送到数据库 B。
证明过程要求接收方的数据库(数据库 A)验证消息确实是由受信任的权威机构签名的。如果是这样,它就可以对消息的内容和来源有信心。
关键问题:信任这些指定的权威机构。
更进一步,发送者和接收者都必须百分百的信任指定的机构来传递消息并证明其完整性。这是因为如果没有第三方的帮助,发送者和接收者就无法看到外界。
这种桥可以被称作人工运营桥。
它依靠人类(服务器端应用程序)来促进通信并代表发送者或接收者强制执行所有规则。它是最容易部署的桥类型,可以应用于各种不同的区块链,但它是最难大规模保护的。
不幸的是,加密货币和中本聪发起运动的全部意义在于消除系统运行所需的所有信任,并用加密证明取而代之。
我们需要做得更好。
我们可以尝试减少中间人为操作角色的权限,直至仅携带消息的邮递员。
我们应该将加密证明与发送者的消息一起发送,以证明消息的真实性。
如果成功,这份证明应该使接收方智能合约对消息的真实性毫无疑问地相信,而不必信任人工一方。
可以减少人工运营的角色:协助将消息(作为中继器)从数据库 A 中传递到数据库 B。
让我们探讨几种不同程度的方法来证明其的实际意义。
对于这种方法,我们提出以下问题:
我们是否可以通过要求人工运营对其证明负责来减少对人工运营的信任?
在这种方法中,权威机构仍然需要证明消息的真实性,但如果权威机构试图作弊,可能会立即受到惩罚。例如,通过不正确且冲突的消息。
Nomad 协议是实施这种负责方法的一个例子。
它假设有两个权威方:
认证权。负责读取数据库 A,签署其发出的消息,并将签名提交给数据库 A。
否决权。负责交叉验证签名消息是否源自数据库 A,以此保护数据库 B。
执行认证权一方应该锁定相当大的资产,以阻止恶意行为,并且任何人都可以扮演这个角色。另一方面,否决权必须在协议实际运行之前指定,如何使否决权角色无准入化仍然是一个开放的研究问题。
Nomad 协议有三个阶段:
认证消息。认证者读取数据库 A 中的消息,签署消息并将签名提交给数据库 A。
消息中继。任何人都可以拿到签名的消息并将其转发到数据库 B。
否决阶段。有一个固定的时间窗口(例如,30 分钟),供有否决权的一方检查发送到数据库 B 的消息是否与数据库 A 上的消息完全相同。如果不是同一个,那么应该否决并取消消息。
虽然出于说明目的,我们的示例假设只有一个接收数据库,但 Nomad 协议可以扩展,允许多个数据库接收相同的签名消息。
数据库 A 承担认证的责任,但依赖拥有否决权的另一方,来监视所有支持的数据库上的恶意签名消息。
我们需要考虑拥有权力的一方可能试图桥协议的情况:
1. 认证方确认并签署了一份没有数据库 A 确认的消息。
2. 否决方否决数据库 A 认可的消息。
在第一种情况下,认证方独断的生成了一个数字签名,如果他们试图接收者,数据库 A 将无法识别该数字签名。任何一方都可以获取签名,将其发送到数据库 A,并授权数据库 A 惩罚认证方。
在第二种情况下,它仍然是一个完全受信任的角色,并且协议内没有方法可以反击。需要注意的是,协议记录对所有参与者都是公开的,并且在事后可以通过投票取消否决权。然而,到那时可能已经造成了损失,因为否决诚实的消息可能会对依赖基于时间的行动(即清算)类的智能合约产生重大影响。
跟踪被各自共识协议同意的区块,以及有关特定交易和更一般的数据库记录证明。
对于第二种方法,我们提出以下问题:
我们可以跟踪数据库 A 的共识协议吗?
正如上文中提到的,所有区块链网络都有一个共识协议,该协议同意定期在链最顶端生成新区块。区块可以被认为是对数据库的批量更新。
在这种方法里,目标是允许数据库 B 上接收(消息)的智能合约,能够跟踪且相信来自数据库 A 的共识协议生成的数据。
为了实现这一点,共识协议默认情况下必须是轻客户端友好的:
轻客户端:需要最少的计算和数据即可了解且相信数据库的当前状态。
简而言之,轻客户端允许用户了解数据库中记录的值,并确信共识协议同意该数据应该存在于数据库中。
轻客户端的概念和比特币一样古老。
比特币白皮书中将其称为简化支付验证(Simplified Payment Verification,SPV)模式。SPV 允许用户验证他们确实收到了比特币,而无需验证和保存整个比特币数据库的副本。
所有的区块头形成一个链式结构,并且每个区块头的哈希值都包含了工作量证明的结果
SPV 过程按以下方式运行:
加密承诺。每个块头都包含代表整个比特币数据库的加密承诺(默克尔根)。此外,区块头还包含前一个区块的链接及其自身的工作证明。
检查最长链。任何用户应该都可以获得区块头数据并且独立的验证(PoW)目前为止的最长链。
包含证明。一旦用户确信他们的区块头列表代表了主链,任何人都可以向用户提供数据库中特定数据的包含证明(默克尔根)。
确信。用户可以将包含证明与相关块头进行交叉检查,然后确信数据库中的特定数据。
比特币 SPV 模式可以作为构建轻客户端桥的基础,允许另一个区块链上的智能合约了解比特币数据库中的内容。
一个名为 BTCRelay 的旧项目在比特币(数据库 A)和以太坊(数据库 B)之间实现了轻客户端桥。这是以太坊上的智能合约,可以解析比特币区块头、包含证明,并通过工作量证明追踪最长的链。最终,它的目的是验证 UTXO 是否确实存储在比特币数据库中,然后允许另一个智能合约对其进行操作。
不幸的是,BTCRelay 有点超前了。虽然它的功能很完整,但它没有受到太多的关注。
我们可以从该项目中学到一些经验教训:
累积 gas 成本。跟踪区块头需要许多链上交易,财务成本会随着时间的推移而累积。
只适用于比特币的分叉。BTCRelay 只兼容分叉比特币代码库的区块链。使用不同共识协议的区块链需要专门实现其各自的轻客户端。
仍然需要信任共识。BTCRelay 只能检查工作证明是否正确,而不能检查区块头是否有效。如果一个敌对的矿工用有效的工作证明制作了一个恶意的区块头,那么桥就可能被破坏。等待约 6 次确认并依赖比特币的诚实多数假设(>51% 的矿工是诚实的)仍然是必要的。
有些研究主要集中在,通过将多个区块头聚合到一个更新中来降低累积 gas 成本的能力上。例如,NIPOPOWS 和 Glimpse 专注于与 PoW 相关的轻客户端。
然而,随着其他区块链网络上的许多桥遵循构建轻客户端桥的理念,成功的曙光已经闪现:
Cosmos 的 IBC
Near 的 Rainbow bridge
Ava 的 P-Chain
IBC 和 P-Chain 都有一个专用层来跟踪来自不同的共识协议。它们都遵循共识协议产生的诚实的大多数签名,但更多的时候,如果共识协议决定基础层,签署一个冲突的消息,并不总是有后果。
所有的工作都集中在将信任传递给最有可能被信任的各方,但最终仍然依赖于信任诚实的大多数各方!
总览本文列举的所有桥,我们始终依赖于一组中间人,他们必须保证通过桥发送的消息的真实性,即使只是保证一个共识协议达成了一个单一的决定。
我猜想有这样一个基本要求,即桥总是需要一组中间人来帮助将消息从发送方数据库传送到接收数据库。
如果我们接受这个前提,那么我们也可以认为跟踪共识协议中参与者所做的决定是有意义的,因为他们是决定将应用于数据库的更新总排序的真理之源。
这就引出了最后一个问题:
我们能否建立一座桥,独立检查共识协议所做决定的有效性?
这有一个微妙的区别。
桥不仅要检查共识协议是否同意数据库更新的总排序,还要检查更新本身相对于数据库的所有其他更新是否有效。
如果能够做到这一点,那么接收方的智能合约(数据库 B)就可以确信数据库 A 中应用了更新,并确信数据库中的数据实际上是有效的。
然后,它就可以读取数据库,提取相关信息,然后对其执行操作。
可以这样做吗?答案是肯定的。
我们可以重复使用数据库 A 的共识协议对所有数据块进行排序,然后验证节点桥可以独立检查所有数据块作为数据库 B 更新的有效性。
验证桥核心是使智能合约不仅能够检查是否做出了决定,而且能够独立验证决定的内容是否正确。
总体思路是比轻客户端桥多走几步:
欺诈与有效性证明。扩展轻客户端的能力,简洁地验证大型计算的正确性。
数据可用性层。通过重新使用数据库 A 对数据块进行排序,从数据库 B 中移除共识协议。
开放成员。允许各方自我任命,并为执行所有数据库更新的有效性做出贡献。
为了避免重复验证桥的分析——仅有最后一个问题需要讨论。
本文只关注:
在数据库之间来回传递消息的能力。
使接收者对消息的真实性有信心。
我们还没有讨论桥如何在数据库之间持有或转移资产。
这是因为,从根本上说,所有桥都负责及时传递消息,并使接收方确信消息的真实性。
金库在数据库 A 中持有代币,并通过桥授权在数据库 B 中发行相同数量的代币。
现在,我们可以在每个数据库上部署智能合约,智能合约可以通过在桥上发送消息进行交互。
最常见的应用是将资产从数据库 A 转移到数据库 B(反之亦然)。
这两种智能合约包括:
金库。发送数据库上的智能合约,用于保管资产。
发行。接收方数据库中的智能合约,有权为金库中的资产出具欠条。
在更高维度上,这两个智能合约可以实现大多数想要将资产转移到另一个系统的用户非常熟悉的存款/取款流程:
存款流程。用户可以将钱币存入数据库 A 的金库,金库可以通过桥发送信息,在数据库 B 的用户地址发行相同数量的资产。
提款流程。用户可以通过请求发行者在数据库 B 上销毁代币并通过桥发送消息让金库将相同数量的代币释放到用户的地址来提取代币。
这种设计的好处之一是,任何人只要有数据库 A 中金库的读取权限和数据库 B 中发行人的读取权限,就可以验证资产是否覆盖负债。换句话说,任何人都可以验证发行的代币是否有一个完全抵押的金库作为后盾。
当然,如果我们想在数据库中移动资产,并使其大规模运行,这一切都取决于桥的安全性,以及我们如何信任发送的信息的完整性。
历史上,我们一直未能建立起安全的桥,因为它们都依赖于人类来保护发送的信息。包括 BitFinex、Binance、Bitstamp 在内的大多数大型交易所,以及最糟糕的 MtGox,都曾因桥事故而导致用户资金损失。此外,还有 PolyNetwork、Ronin Bridge 和 Harmony 等跨区块链转移资金的桥。
作为一个社区,我们多年来一直在尝试各种桥的设计,有些只是依赖于可信的中介,而有些则试图将信任从中介转移到各自区块链的共识协议上。
验证桥只是更进一步——不仅信任共识协议做出的决定,而且检查它是否是一个有效的决定。
区块律动BlockBeats
媒体专栏
阅读更多
金色财经
金色荐读
区块链骑士
金色财经 善欧巴
Block unicorn
Foresight News
深潮TechFlow
长达三年的 Ripple 案终于告一大段落,XRP 应声而涨, 7 月 14 日.
1900/1/1 0:00:00作者:Bernard Marr,Forbes;编译:松雪,金色财经元宇宙是一个巨大的在线游戏——它是虚拟现实 (VR)——它是区块链.
1900/1/1 0:00:00今天的通讯由Siddharth共同撰写,讽刺的是,他正在社交网络之外的喜马拉雅山脉的某个地方享受着美好旅程.
1900/1/1 0:00:00作者 :defioasis近期 Binance 宣布上线第 32 个 Launchpad 项目 Arkham(ARKM).
1900/1/1 0:00:00作者:JP Koning,来源:JP Koning博客;编译:松雪,金色财经SEC 多年来一直暗示稳定币可能是证券。我一直觉得将稳定币当作证券进行监管的想法有点奇怪.
1900/1/1 0:00:00作者: Marc Andreessen,a16z创始人;翻译:金色财经cryptonaitive & ChatGPT人工智能时代已经来临.
1900/1/1 0:00:00