本文作者:PatrickMcCorry
加密货币正在引领一场数据库技术的范式转移
加密货币的基石就是数据库。它记录着所有用户账户的余额、智能合约的代码和状态。
任何的用户操作最终都会通过执行交易与更新数据库的形式反映出来。
“Web2”数据库技术的问题都在于使它得以运作的信任上。它依赖于一个可信第三方来维护和保护数据库。
如果这些第三方掉线了,那么对数据库的所有访问都会被中断。如果他们在更新数据库时出了错,那么这个错误可能一直不被发现。
为了建立起公众对数据库的信心,可以雇佣审计员,通过回溯检查数据库更新的有效性以证明数据完整性。
一组开放成员制的参与者群体可能可以取代一个可信第三方,这也是加密货币正在引领数据库技术范式转移(“Web3”)的原因。
它允许愿意贡献资源的任何人进行读取、写入、审计,并最终保护数据库的完整性和内容。这个群体可以实时检查数据库的更新,也使得他们可以立刻拒绝错误,并在更新后马上发现错误。
Polygon zkEVM已修复阻碍L1资产桥接至L2的漏洞,没有资金面临风险:5月29日消息,Scroll 区块链安全研究员 iczc 发推称,在 Polygon zkEVM 中发现一个漏洞,并获得来自 Web3 漏洞赏金平台 Immunefi L2 漏洞赏金。该漏洞导致从 L1 桥接至 Polygon zkEVM(L2)的资产无法在 L2 中正确认领,从而阻碍了 L1 至 L2 的资产迁移。
iczc 在处理认领交易(claim tx)预执行结果的代码逻辑中发现,恶意攻击者可以通过将 Gas 费设置为非零来绕过对认领交易的「isReverted」预执行检查,使其可以通过发送大量低成本的 claim 对定序器和验证器进行 DoS 攻击,从而增加计算开销。此外,交易不会在执行后立即从池中删除。状态从「待定」更新为「选定」,并继续存在于 PostgreSQL 数据库中。目前,只有一个可信的定序器能够从交易池中获取交易并执行它们。因此,另一个漏洞是通过发送一个失败的交易来恶意标记任何存款数。这将导致正确使用存款数的 认领交易被拒绝,因为存款数已经被使用。这使得新用户无法使用 L2 网络。Polygon zkEVM 团队通过删除认领交易的特定 gas 逻辑,修复了这一漏洞,没有资金面临风险。[2023/5/29 9:48:40]
开放成员制的群体是这种范式转移的基础,它可以分为两种角色:
提议者:可以提议更新数据库的主体。
Uniswap基金会:针对BSL明日到期,已提出在L1和L2上“官方”Uniswap部署的治理:3月31日,据官方消息,由于Uniswap v3的商业源代码许可证(BSL)将于2023年4月1日到期,Uniswap基金会提议Uniswap治理方法,以确定BSL在4月1日到期后L1和L2上的“官方”Uniswap部署,并且目前正在收集社区的反馈,以推动这一进程。
其中,一个实体或个人可以同时充当多个利益相关者,例如,提议者也可以是部署者,部署者可以是桥提供者,Uniswap基金会还建议创建一个新的ENS子域v3-deployments.uniswap.eth以跟踪Uniswap V3在L1和L2上的官方部署。[2023/3/31 13:37:27]
验证者:可以检查更新数据库提议有效性的主体。
参与的思维模式与加密协议类似,其中一组参与方想要证明一个声明是正确的,而另一组参与方必须在接受它前检查它的正确性。这种互动的过程会在数据库的每一次更新时不断重复。
然而,如何实现开放成员制群体需要提出几个重要问题:
谁是提议者?我如何变成一位提议者?这个群体的规模需要多大?
谁是验证者?我需要注册吗?这个群体的规模需要多大?
我们如何在接受一个更新上达成共识?
这个系统的架构以及它对数据库安全的根本意义将回答上述问题。我们探讨L1和L2的架构,最终的目标是帮助读者建立一种良好的思维模式。
Solana流支付协议Zebec推出Zepoch节点,预计明年推出L1链:10月17日消息,Solana生态流支付协议Zebec今日宣布,预计明年将推出自己的L1应用链Zebec Chain,并推出Zepoch节点及激励计划,官方将分发30,000个Zepoch节点,每售出50个,价格上涨0.5%。此外,持有Zepoch节点将获20%的收入奖励及ZBC代币空投等。
今年8月,Zebec以10亿美元完全稀释估值完成850万美元融资。[2022/10/17 17:29:06]
L1的思维模式
L1的数据库必须为经济上的大多数(“世界”)所接受
在L1的系统中,可信第三方被公共共识所替代。
其目的在于让所有参与者同意数据库的更新。这就需要一组能被各方客观遵循的共同规则。
这些规则用来证明数据库更新的有效性。一个或更多的提议者可以提议一个竞争性的更新,但最终所有参与者收敛于数据库的一个更新和关于数据库内容的一个事实。
Loopring业务开发主管:当前以太坊L2领域竞争热度超越L1:10月14日消息,去中心化交易所Loopring业务开发主管Matthew Finestone表示,由于受欢迎程度高,以太坊网络已变得前所未有的拥挤,网络可伸缩性成为重中之重。虽然从历史上看,很多人都在考虑在以太坊之外重新建立可扩展的智能合约平台,但当前发展趋势显示,更大的竞争是在以太坊链第二层解决方案领域,而非是在第一层解决方案领域。但Matthew Finestone也表示,这并不能代表以太坊竞争产品的失败。(CoinDesk)[2020/10/14]
对网络共识的需求影响着参与情况:
限定比率的提议者数。成员资格需要是开放的,但会限制在那些从这个系统的长期成功获得经济激励的参与者。这是为了防止冲突更新的泛滥,最终使得各方难以就一个更新达成一致。
最大化验证者数量。更新的频次和大小将决定验证者数量,因为他们必须具备计算和带宽资源实时验证所有更新。否则,他们将跟不上,也将无法计算出最新的数据库副本。
我们可以借这个机会讨论如何限制谁能成为提议者、如何权衡数据库的广泛副本以及谁是一条权威链(和数据库)的最终决定者。
限定比率的提议者数。我们的目标是要找到"共担风险"的提议者,他们的经济利益与网络的长期繁荣相一致。
这可以通过分配成为提议者的权利来实现,其依据是对稀缺资源的所有权(获得这种资源在经济上是很贵的)。
V神:我的家用笔记本电脑可以很好地处理以太坊L1:以太坊创始人V神今日在推特表示,我的家用笔记本电脑可以很好地处理以太坊L1。你可以设计一个rollup,它需要定期在链上发布状态树(state tree)中间的sqrt(N)哈希值,这样一来,一台家用笔记本电脑就足以成为超大容量的rollup。[2020/7/29]
例如,在工作量证明机制中,提议者必须拥有高效的硬件和具有成本效益的电力来源,才能在挖矿市场上竞争。
而在权益证明机制中,提议者必须拥有该链的代币并锁进链上程序里。在这两种情况里,提出新更新的频率与所有其他参与者数成正比。
可负担性VS可验证性。这个网络的吞吐量取决于一个更新被所有参与者接受所需的时间。
在拥堵期间,由于用户争相让自己的交易先于别人的交易被接受,网络的吞吐量和交易的可负担性之间会有权衡。
实际上,像Bitcoin和Ethereum这样的网络最大限度地提高了可以作为验证者参与的情况,而像Solana这样的网络则以低费用为目标,只要它可以保持下去。有趣的是,ICP的验证者必须得到许可并从特定的供应商那里购买硬件。
经济大多数。大部分时间,我们可以把提议者和验证者视作一个保护数据库的集体。然而,其最终目标是说服经济大多数,即从使用角度有既得经济利益的那些人。
这些提议者和验证者只是经济大多数在正常运行情况下的代理,但如果对网络共识规则的修改出现争议,那么最终是由全球的大多数用户来决定,他们将从结果数据库的外部经济价值来判断。
例如,Bitcoin对比BitcoinCash以及Ethereum对比EthereumClassic的市值,清晰地表明了社区在前进道路上出现重大分歧后的赢家是谁。
总而言之,L1的思维模式是把L1看作是数据库,它最终负责决定资产所有权和让一个经济大多数接受所有对数据库更新的需求。这就是为什么从技术、社会和经济角度来看,去中心化对L1的成功至关重要。
它的目的在于尽可能广泛地复制数据库的副本,最大化参与数据库保护过程的验证者数量,最后,依赖于经济大多数来决定它在现实世界的价值。
L2的思维模式
桥接合约持有所有的资产而L2数据库记录负债情况
在L2系统上,可信第三方被智能合约所取代,其中要考虑两个组件:
桥接合约(Bridgecontract),L1系统上持有资产的智能合约。
链下数据库,为链下系统记录负债情况的数据库。
桥接负责把资产从一个数据库(L1系统)桥接至另一个数据库。
桥接合约的唯一责任就是通过检查链下数据库的完整性,保护桥接资产。
为了维护它的完整性,该合约会检查每一个对链下数据库提议的更新,在接受之前检查其有效性。
这对于确保桥接合约上持有的资产可以涵盖链下数据库所记录的负债来说至关重要,否则就将导致资金大规模退出的情况。
维持桥接合约的独立性会影响参与情况:
任何人都可以提议。桥接合约应该允许任何人强制打包最终将在L2系统的链下数据库中执行的交易。
单个验证者。只有当桥接合约确信对链下数据库提议的更新是有效的,才会允许释放资产。
下面我们思考了L2系统的架构、信任假设如何演变,以及让数据库可以公开访问的目的。
架构和中心化服务。L2系统的架构与中心化服务(如Coinbase)类似。用户将代币存到L1上的桥接合约中,存款会反映在链下数据库上,并且大多数交易都由链下数据库处理。
在过去12年里,这种方法帮助加密货币市场扩大了规模,因为多数用户与中心化服务进行交互,并把底层L1系统当作互操作性的解决方案,将资金从一种服务转移至另一种。
在历史上,链下数据库都是由运营商(如Coinbase)保护,并决定一笔提款是否由桥接合约进行处理。
信任假设的演变。在过去几年里,我们见证了桥接合约在信任假设上的变化,即它如何确信链下数据库的完整性。信任假设已经从单个机构桥接、多个机构桥接演变到一个外部区块链的共识协议。
在任何情况下,桥接合约在将资产返还给用户之前,必须盲目信任一组参与方的判断。
这也导致了数十亿美元被盗,因为数十亿美元提供安全性的人工处理流程是很难复制到数百个桥接上的。L2系统的目标是完全消除对中间方的信任,使桥接可以独立验证对数据对数据库提议的更新。
数据库可访问性。只有桥接合约可以决定什么是真正的数据库并将资产释放给用户。让数据库可公开访问是为了保证L2系统的活性。
合约假设诚实的一方会出现,他会成为提议者,接手待处理交易的列表,并向数据库提议更新。
因此,没有必要创建一个非常大型验证者网络来保护数据库,或是依赖经济大多数来决定哪个数据库应该会有外部的现实世界价值。
因此,L2的思维模式是关于桥接合约以及支持合约尽力保护其所持有资产。无论大多数参与者相信什么,合约拥有着决定数据库的哪个更新可以被接受的唯一权力。
与此同时,参与者网络仍然希望可以确保L2系统的活性,并保证会持续不断地有更新被提议至智能合约上。然而,这并不是要靠着全球网状网络来保护数据库的完整性。
*optimisticrollup有一点需要提醒,由于它假设了会有诚实一方协助桥接合约验证链下数据库的更新,但最终,真正重要的桥接合约所做的最终决定。
对比与总结
L1和L2系统的架构和目的是不一样的:
L1系统。其目标是达成公共共识,并最终收敛于关于数据库状态的单一全局事实。
L2系统。其目的在于建构一个系统,使智能合约相信链下数据库的完整性(和状态)。
两个系统在信任假设上有着根本区别。L1系统必须依赖于诚实的大多数以保护数据库的完整性,并依靠经济大多数给数据库所记录的资产赋予现实世界的价值。
然而,在L2系统上,不需要大多数的同意或是外部的资产估价。它已经假设L1系统获得了公共共识,其唯一的关注点是保护智能合约持有的资产。因此,它可以依靠诚实一方的出现,保证系统持续往前运行。
在我看来,这就是为什么L1和L2之间的对比是两个完全不同的东西之间的比较。两个系统有着不同的信任假设、参与主体以及最终的系统架构。
我们社区试图对两者进行对比的唯一原因在于,L2系统的出现是因为L1可扩展性遇到了瓶颈。我的一个软目标是改变这种说法,因为第二层系统应该被看作是桥接合约的进化。
所以,它们应该与托管服务进行对比,因为两边的系统都负责保护链下的数据库和一篮子的资产。
最后,我希望这篇文章可以帮助读者在L1和L2系统的系统架构和信任假设方面建立一个良好的思维模式。也希望L2协议能够长盛不衰,展示它们相比于托管解决方案的优越性。
不是因为用户关心系统的安全性,而是因为我相信运营商可以提供完全相同的服务,而无需承担保护数十亿美元的风险。如此,托管将变成一种没有必要、碍手碍脚的责任。
常有人问,什么是智能合约??那么一定得先了解什么是“合约”。在日常生活中的合约也就是合作方之间订立的“合同”,现在我们的生活几乎离不开合同,往大说,工作是与公司签订的劳动合同,买房是与房产公司签订购房合同,买保险是与保险公司签订保险合.
1900/1/1 0:00:00文章要点 在过去的18个月中,Avalanche?EVM兼容的C链凭借其低gas费用和交易时间吸引了大量用户和开发者,这能支持创建一个以DeFi为中心的强大dApp生态系统.
1900/1/1 0:00:00有幸受邀参加科技论坛,与诸位方家一起探讨“科技与信任”的话题。我们的基本结论是:科技塑造信任,鉴于信任的底层是科学技术,信任的边界与科技边界并无本质区别.
1900/1/1 0:00:00「加密货币一直在暴跌......混乱已经蔓延到DeFi:Celsius是一家资产约200亿美元的加密货币贷方,最近被迫暂停提款.
1900/1/1 0:00:00来源:老雅痞 原文标题:《V神:加密皈依者所向往的圣地——网络国家》撰文:VitalikButerin,以太坊创始人 编译:DOGE 7月4日,BalajiSrinivasan发布了他的新书第一版.
1900/1/1 0:00:00美国著名科幻大师尼尔·斯蒂芬森在其小说《雪崩》中写道:“戴上耳机和目镜,找到连接终端,就能够以虚拟分身的方式进入由计算机模拟、与真实世界平行的虚拟空间。”这是人们第一次听到关于元宇宙的概念.
1900/1/1 0:00:00