原文作者:GaryMa
近日,,在此前的五大关键路线的基础上,新增了以解决交易审查和 MEV 风险为中心的关键路线 The Scourge。至此,以太坊未来的发展进化将主要分为六大关键路线,分別是:The MergVitalik 发布了以太坊的最新路线图e、The Surge、The Scourge、The Verge、The Purge、The Splurge。值得注意的是,这六大关键路线是同时推进的。下面,我们也根据这最新的路线图表,简单描述一下各个关键路线。
该路线的主要目标是构建去中心化、健壮简洁的 PoS 共识机制。以太坊目前已经成功切换为 PoS,接下来主要是针对网络验证者安全以及零星功能的修修补补:
Beosin:SheepFarm项目遭受攻击事件简析:金色财经报道,根据区块链安全审计公司Beosin旗下Beosin EagleEye 安全风险监控、预警与阻断平台监测显示,BNB链上的SheepFarm项目遭受漏洞攻击,Beosin分析发现由于SheepFarm合约的register函数可以多次调用,导致攻击者0x2131c67ed7b6aa01b7aa308c71991ef5baedd049多次利用register函数增大自身的gems,再利用upgradeVillage函数在消耗gems的同时累加yield属性,最后调用sellVillage方法把yield转换为money后再提款。本次攻击导致项目损失了约262个BNB,约7.2万美元。Beosin Trace追踪发现被盗金额仍在攻击者账户,将持续关注资金走向。[2022/11/16 13:10:39]
信标链取款功能的激活:目前已经作为 EIP-4895 的主要内容,准备于上海升级时部署,至于具体实施时间,在最新以太坊核心开发者会议上,开发者们只能模糊地估计数月内。
慢雾:GenomesDAO被黑简析:据慢雾区hacktivist消息,MATIC上@GenomesDAO项目遭受黑客攻击,导致其LPSTAKING合约中资金被非预期的取出。慢雾安全团队进行分析有以下原因:
1.由于GenomesDAO的LPSTAKING合约的initialized函数公开可调用且无权限与不可能重复初始化限制,攻击者利用initialized函数将合约的stakingToken设置为攻击者创建的虚假LP代币。
2.随后攻击者通过stake函数进行虚假LP代币的抵押操作,以获得大量的LPSTAKING抵押凭证。
3.获得凭证后再次通过initialized函数将合约的stakingToken设置为原先真是的LP代币,随后通过withdraw函数销毁LPSTAKING凭证获取合约中真实的LP抵押物。
4.最后将LP发送至DEX中移除流动性获利。
本次事件是因为GenomesDAO的LPSTAKING合约可被任意重复初始化设置关键参数而导致合约中的抵押物被恶意耗尽。[2022/8/7 12:07:06]
Distributed Validators(DV):分布式验证者技术,旨在将以太坊验证者的工作分布到一组分布式节点中的技术,与目前在一台机器上运行验证者客户单的传统技术相比,更加能够提高安全性、在线弹性等,具体可见 DV 技术规范。
慢雾:Avalanche链上Zabu Finance被黑简析:据慢雾区情报,9月12日,Avalanche上Zabu Finance项目遭受闪电贷攻击,慢雾安全团队进行分析后以简讯的形式分享给大家参考:
1.攻击者首先创建两个攻击合约,随后通过攻击合约1在Pangolin将WAVAX兑换成SPORE代币,并将获得的SPORE代币抵押至ZABUFarm合约中,为后续获取ZABU代币奖励做准备。
2.攻击者通过攻击合约2从Pangolin闪电贷借出SPORE代币,随后开始不断的使用SPORE代币在ZABUFarm合约中进行`抵押/提现`操作。由于SPORE代币在转账过程中需要收取一定的手续费(SPORE合约收取),而ZABUFarm合约实际接收到的SPORE代币数量是小于攻击者传入的抵押数量的。分析中我们注意到ZABUFarm合约在用户抵押时会直接记录用户传入的抵押数量,而不是记录合约实际收到的代币数量,但ZABUFarm合约在用户提现时允许用户全部提取用户抵押时合约记录的抵押数量。这就导致了攻击者在抵押时ZABUFarm合约实际接收到的SPORE代币数量小于攻击者在提现时ZABUFarm合约转出给攻击者的代币数量。
3.攻击者正是利用了ZABUFarm合约与SPORE代币兼容性问题导致的记账缺陷,从而不断通过`抵押/提现`操作将ZABUFarm合约中的SPORE资金消耗至一个极低的数值。而ZABUFarm合约的抵押奖励正是通过累积的区块奖励除合约中抵押的SPORE代币总量参与计算的,因此当ZABUFarm合约中的SPORE代币总量降低到一个极低的数值时无疑会计算出一个极大的奖励数值。
4.攻击者通过先前已在ZABUFarm中有进行抵押的攻击合约1获取了大量的ZABU代币奖励,随后便对ZABU代币进行了抛售。
此次攻击是由于ZabuFinance的抵押模型与SPORE代币不兼容导致的,此类问题导致的攻击已经发生的多起,慢雾安全团队建议:项目抵押模型在对接通缩型代币时应记录用户在转账前后合约实际的代币变化,而不是依赖于用户传入的抵押代币数量。[2021/9/12 23:19:21]
Single Secret Leader Election(SSLE):单一秘密领导者选举,目前信标链采用的是 Single Leader Election,即每个 Slot 所选出的提议者会提前公开,使他们容易受到 DoS 攻击。通过将这一过程加密隐藏,只有提议者知道自己的身份,能够有效缓解潜在风险。
Harvest.Finance被黑事件简析:10月26号,据慢雾区消息 Harvest Finance 项目遭受闪电贷攻击,损失超过 400 万美元。以下为慢雾安全团队对此事件的简要分析。
1. 攻击者通过 Tornado.cash 转入 20ETH 作为后续攻击手续费;
2. 攻击者通过 UniswapV2 闪电贷借出巨额 USDC 与 USDT;
3. 攻击者先通过 Curve 的 exchange_underlying 函数将 USDT 换成 USDC,此时 Curve yUSDC 池中的 investedUnderlyingBalance 将相对应的变小;
4. 随后攻击者通过 Harvest 的 deposit 将巨额 USDC 充值进 Vault 中,充值的同时 Harvest 的 Vault 将铸出 fUSDC,而铸出的数量计算方式如下:
amount.mul(totalSupply()).div(underlyingBalanceWithInvestment());
计算方式中的 underlyingBalanceWithInvestment 一部分取的是 Curve 中的 investedUnderlyingBalance 值,由于 Curve 中 investedUnderlyingBalance 的变化将导致 Vault 铸出更多的 fUSDC;
5. 之后再通过 Curve 把 USDC 换成 USDT 将失衡的价格拉回正常;
6. 最后只需要把 fUSDC 归还给 Vault 即可获得比充值时更多的 USDC;
7. 随后攻击者开始重复此过程持续获利;
其他攻击流程与上诉分析过程类似。参考交易哈希:0x35f8d2f572fceaac9288e5d462117850ef2694786992a8c3f6d02612277b0877。
此次攻击主要是 Harvest Finance 的 fToken(fUSDC、fUSDT...) 在铸币时采用的是 Curve y池中的报价(即使用 Curve 作为喂价来源),导致攻击者可以通过巨额兑换操控预言机的价格来控制 Harvest Finance 中 fToken 的铸币数量,从而使攻击者有利可图。[2020/10/26]
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元宇宙
金色荐读
作者:周舟 香港已下定决心与新加坡、伦敦、纽约等城市争夺全球加密金融中心和虚拟资产中心地位。10月16日,香港财政司司长陈茂波发表文章《香港的创科发展》,并指出要推动香港发展成国际虚拟资产中心.
本文转自公号:老雅痞 信息来源自medium,略有修改,作者Yehoshua Zlotogorski流动性池中需要多少代币流动性?在建立流动性池时.
原文:《探索 AIGC 和 Web3 游戏的结合点》 作者:隔夜的粥 近期人工智能生成内容 (AIGC) 爆火的背景下,Crypto 市场显得颇有些凉意.
万圣节期间,一个名为Art Gobblers的NFT项目正式上线,地板价一度飙升至15ETH,获得6800 ETH的交易量,这让本已“遇冷”的NFT市场出现波动,也为人们带来对市场的新期待.
▌V神:黄金的采用率低于加密货币金色财经报道,Soonish的作者ZachWeinersmith在社交媒体上称,我听到的关于加密货币的唯一论点是在信徒自己的框架内是有意义的.
原文作者:flowie,ChainCatcher“ the bird is freed (这只鸟儿自由了)”这是马斯克刚刚最新发布的推文,这也意味着拉扯半年之久的推特收购案已基本落下帷幕.