简析以太坊最新路线图:六大关键路线

原文作者:GaryMa 

近日,,在此前的五大关键路线的基础上,新增了以解决交易审查和 MEV 风险为中心的关键路线 The Scourge。至此,以太坊未来的发展进化将主要分为六大关键路线,分別是:The MergVitalik 发布了以太坊的最新路线图e、The Surge、The Scourge、The Verge、The Purge、The Splurge。值得注意的是,这六大关键路线是同时推进的。下面,我们也根据这最新的路线图表,简单描述一下各个关键路线。

该路线的主要目标是构建去中心化、健壮简洁的 PoS 共识机制。以太坊目前已经成功切换为 PoS,接下来主要是针对网络验证者安全以及零星功能的修修补补:

安全团队:Rubic被攻击事件简析:金色财经报道,据区块链安全审计公司Beosin旗下Beosin EagleEye安全风险监控、预警与阻断平台监测显示,Rubic项目被攻击,Beosin安全团队分析发现RubicProxy合约的routerCallNative函数由于缺乏参数校验,_params可以指定任意的参数,攻击者可以使用特定的integrator来让RubicProxy合约可以几乎零成本的调用自己传入的函数data。攻击者通过调用routerCallNative函数,把所有授权给RubicProxy合约的USDC全部通过transferFrom转入了0x001B地址,被盗资金近1100个以太坊,通过Beosin Trace追踪发现被盗资金已经全部转入了Tornado cash。[2022/12/25 22:06:32]

信标链取款功能的激活:目前已经作为 EIP-4895 的主要内容,准备于上海升级时部署,至于具体实施时间,在最新以太坊核心开发者会议上,开发者们只能模糊地估计数月内。

慢雾:Inverse Finance遭遇闪电贷攻击简析:据慢雾安全团队链上情报,Inverse Finance遭遇闪电贷攻击,损失53.2445WBTC和99,976.29USDT。慢雾安全团队以简讯的形式将攻击原理分享如下:

1.攻击者先从AAVE闪电贷借出27,000WBTC,然后存225WBTC到CurveUSDT-WETH-WBTC的池子获得5,375.5个crv3crypto和4,906.7yvCurve-3Crypto,随后攻击者把获得的2个凭证存入Inverse Finance获得245,337.73个存款凭证anYvCrv3Crypto。

2.接下来攻击者在CurveUSDT-WETH-WBTC的池子进行了一次swap,用26,775个WBTC兑换出了75,403,376.18USDT,由于anYvCrv3Crypto的存款凭证使用的价格计算合约除了采用Chainlink的喂价之外还会根据CurveUSDT-WETH-WBTC的池子的WBTC,WETH,USDT的实时余额变化进行计算所以在攻击者进行swap之后anYvCrv3Crypto的价格被拉高从而导致攻击者可以从合约中借出超额的10,133,949.1个DOLA。

3.借贷完DOLA之后攻击者在把第二步获取的75,403,376.18USDT再次swap成26,626.4个WBTC,攻击者在把10,133,949.1DOLAswap成9,881,355个3crv,之后攻击者通过移除3crv的流动性获得10,099,976.2个USDT。

4.最后攻击者把去除流动性的10,000,000个USDTswap成451.0个WBT,归还闪电贷获利离场。

针对该事件,慢雾给出以下防范建议:本次攻击的原因主要在于使用了不安全的预言机来计算LP价格,慢雾安全团队建议可以参考Alpha Finance关于获取公平LP价格的方法。[2022/6/16 4:32:58]

Distributed Validators(DV):分布式验证者技术,旨在将以太坊验证者的工作分布到一组分布式节点中的技术,与目前在一台机器上运行验证者客户单的传统技术相比,更加能够提高安全性、在线弹性等,具体可见 DV 技术规范。

慢雾:BSC项目Value DeFi vSwap 模块被黑简析:据慢雾区情报,币安智能链项目 Value DeFi 的 vSwap 模块被黑,慢雾安全团队第一时间介入分析,并将结果以简讯的形式分享,供大家参考:

1. 攻击者首先使用 0.05 枚 WBNB 通过 vSwap 合约兑换出 vBSWAP 代币;

2. 攻击者在兑换的同时也进行闪电贷操作,因此 vSwap 合约会将兑换的 vBSWAP 代币与闪电贷借出的 WBNB 转给攻击者;

3. 而在完成整个兑换流程并更新池子中代币数量前,会根据池子的 tokenWeight0 参数是否为 50 来选择不同的算法来检查池子中的代币数量是否符合预期;

4. 由于 vSwap 合约的 tokenWeight0 参数设置为 70,因此将会采用第二种算法对池子中的代币数量进行检查;

5. 而漏洞的关键点就在于采用第二种算法进行检查时,可以通过特殊构造的数据来使检查通过;

6. 第二种算法是通过调用 formula 合约的 ensureConstantValue 函数并传入池子中缓存的代币数量与实时的代币数量进行检查的;

7. 在通过对此算法进行具体分析调试后我们可以发现,在使用 WBNB 兑换最小单位(即 0.000000000000000001) vBSWAP 时,池子中缓存的 WBNB 值与实时的值之间允许有一个巨大的波动范围,在此范围内此算法检查都将通过;

8. 因此攻击者可以转入 WBNB 进行最小单位的 vBSWAP 代币兑换的同时,将池子中的大量 WBNB 代币通过闪电贷的方式借出,由于算法问题,在不归还闪电贷的情况下仍可以通过 vSwap 的检查;

9. 攻击者只需要在所有的 vSwap 池子中,不断的重复此过程,即可将池子中的流动性盗走完成获利。详情见原文链接。[2021/5/8 21:37:37]

Single Secret Leader Election(SSLE):单一秘密领导者选举,目前信标链采用的是 Single Leader Election,即每个 Slot 所选出的提议者会提前公开,使他们容易受到 DoS 攻击。通过将这一过程加密隐藏,只有提议者知道自己的身份,能够有效缓解潜在风险。

慢雾:Polkatrain 薅羊毛事故简析:据慢雾区消息,波卡生态IDO平台Polkatrain于今早发生事故,慢雾安全团队第一时间介入分析,并定位到了具体问题。本次出现问题的合约为Polkatrain项目的POLT_LBP合约,该合约有一个swap函数,并存在一个返佣机制,当用户通过swap函数购买PLOT代币的时候获得一定量的返佣,该笔返佣会通过合约里的_update函数调用transferFrom的形式转发送给用户。由于_update函数没有设置一个池子的最多的返佣数量,也未在返佣的时候判断总返佣金是否用完了,导致恶意的套利者可通过不断调用swap函数进行代币兑换来薅取合约的返佣奖励。慢雾安全团队提醒DApp项目方在设计AMM兑换机制的时候需充分考虑项目的业务场景及其经济模型,防止意外情况发生。[2021/4/5 19:46:39]

Single Slot Finality(SSF):单 Slot 最终性,当前以太坊区块需要 64 到 95 个 slot(约 15 分钟)才能实现最终确定性,不过 Vitalik 认为有充分的理由把最终确定性时间缩短为一个 slot,从而实现更好的用户体验,具体可见 SSF。

该路线的主要目标是推动以 Rollup 为中心的扩容,实现每秒 10 万的 TPS,主要分为两个阶段:

实现 Rollup 的初步扩容:EIP4844 向以太坊引入一种新的交易类型,这种交易类型携带短暂存在的 blob 数据,将使得 rollup 的开销降低 10-100 倍,同时结合初步的 OP Rollup 欺诈证明以及 ZK-EVMs 的辅助,实现初步扩容。

实现 Rollup 的完全扩容:在前者基础优化完善的同时,重点着手数据可用性 DA 方面的优化,如数据可用性抽样的客户端、P2P 设计等。

该路线的主要目标是确保可靠可信中立的交易纳入区块,避免网络出现中心化以及 MEV 相关风险等,而这其中的关键里程碑是在协议层面实现区块提议者与构建者分离,即 Proposer-Builder Separation/PBS。

在 PBS 的设计中,区块提议者负责从内存池中收入交易,并创建一个包含区块交易信息的列表 crList 传递给区块构建者们。区块构建者们以最大化 MEV 为目的对 crList 中的交易进行重新排序并构建区块,然后再向区块提议者提交他们的出价,而区块提议者就会选择出价最高者为有效的区块。

在实现 PBS 之后,进一步的还有以太坊开发者提出的 Smoothing MEV 方案,旨在减少每个验证者之间捕获的 MEV 的差距,最终目标是使每个验证者的奖励分布尽可能接近均匀,从而保证协议共识的稳定,同时还考虑潜在的 MEV 销毁可能。

该路线的主要目标是降低验证区块的门槛,包含两个关键里程碑检查点:

Verkle Trees:围绕 Verkle 树设计对 Merkle 树进行优化,使得验证者无需存储所有状态也能参与由交易验证成为可能。

Fully SNARKed:将 SNARK 全面引入到以太坊协议,如 EVM、Verkle 证明以及共识状态转换等,即使到了量子计算时代,也可切换到量子安全的 STARKs。

该路线的主要目标是简化以太坊协议,消除技术债务,通过清除历史数据,限制验证者参与网络的成本,减少节点的存储需求,甚至不再需要存储全节点数据,从而提高节点效率,间接提升 TPS。这其中主要包含两大关键里程碑检查点 History Expiry 和 State Expiry,鉴于该路线偏技术向,暂且按下不表。

该路线主要是一些零碎的优化修复,如账户抽象、EVM 优化以及随机数方案 VDF 等。

GaryMa

个人专栏

阅读更多

金色财经

PANews

达瓴智库

CT中文

区块律动BlockBeats

DeFi之道

web3中文

文章汇

01元宇宙

金色荐读

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

酷币万字详解DeSci生态的现状与发展

原文标题:《OP Research:万字详解 DeSci 生态的现状与发展》传统的科研是以中心化的方式来寻求科研经费以及资源,如国家自然基金,这使得中心化的科研方式在经费申请过程中有大量的问题.

火必APPWeb3时代的ZKP如何迈向主流

零知识技术(ZK)是一种推动技术,不仅将改变 Web3,还将改变其他行业。作为一种足够通用的技术,ZK 可以拥有多种用例,而我们正处于弄清楚该技术可以实现的所有用例的早期阶段.

[0:0ms0-2:30ms