原作者:VitalikButerin,《状态到期和无状态路线图》
以太坊的状态规模正在迅速增长。目前仅状态大小大约有35GB,如果包括所有Merkle证明在内,则超过100GB,并且每年大约增加一半。状态存储也是以太坊经济学的一个弱点:它也是唯一一种机制,使得参与者支付一次就可变成节点永远的负担。为了保持以太坊的可扩展性和可持续性,我们需要一些解决方案。
有两种途径的解决方案,并且已经存在很长时间:弱无状态和状态到期:
状态到期:从状态中移除最近没有被访问过的状态,并需要见证人才能恢复过期状态。这会将每个人需要存储的状态减少到大约20-50GB。弱无状态:只需要区块提议者存储状态,并允许所有其他节点无状态地验证区块。在实践中实现这一点需要切换到Verkle树以减少见证人的规模。本文档描述了同时实施这两个想法的多阶段提案。事实证明,这比先后连续执行这两个解决方案要容易得多。没有Verkle树的状态到期需要非常大的见证大小来证明旧状态,而切换到没有状态到期的Verkle树需要就地转换程序,这几乎与仅实现状态到期一样复杂。然而,如果同时进行,这两项改革解决了彼此面对的挑战:状态到期涉及每年创建一个新的状态树,允许Verkle树随着时间的推移逐步引入而无需就地转换,而Verkle树解决了见证人规模的问题。
V神发布新版以太坊发展路线图:11月5日消息,以太坊联合创始人Vitalik Buterin在社交媒体发布新版以太坊发展路线图,其中主要变化包括:1、合并已经完成,不仅仅是关于“verkle trees”,也关于“验证”,结论是“完全SNARK”的以太坊;2、新增“The Scourge”,确保可以和公平可信的中立交易、解决MEV问题;3、作为第2阶段合并程碑的单时隙确定性(single-slot finality)。[2022/11/5 12:19:55]
相关链接:状态到期和无状态思想的发展历史
无状态客户端概念,最初的ethresear.ch帖子:https://ethresear.ch/t/the-stateless-client-concept/172?状态租金,2015年原始提案:https://github.com/ethereum/EIPs/issues/35?ReGenesis:https://medium.com/@mandrigin/regenesis-explained-97540f457807?Verkle树:https://notes.ethereum.org/_N1mutVERDKtqGIEYc-Flw?关于边界见证大小的演示:https://www.youtube.com/watch?v=qQpvkxKso2E?状态大小管理理论:https://hackmd.io/@vbuterin/state_size_management?复活冲突最小化状态边界:https://ethresear.ch/t/resurrection-conflict-minimized-state-bounding-take-2/8739?无状态和状态到期的一些路径:https://hackmd.io/@vbuterin/state_expiry_paths
V神发文:使用calldata扩展和分片扩展Rollups的分步路线图:11月26日消息,V神发布了关于“使用calldata扩展和分片扩展Rollups的分步路线图”。在此文中,V神表示L1上的交易费用一直非常高,因此采取任何必要措施来帮助促进整个生态系统向Rollups的转变变得更加紧迫。Rollup已经显着降低了许多以太坊用户的费用:l2fees.info显示Optimism和Arbitrum提供的费用比以太坊基础层本身低约3-8倍,然而,即使是这些费用对许多用户来说也太贵了。V神提出了4步,第一步:txcalldata扩展,第二步:一些分片,第三步:N个分片并且受委员会保护,第四步:数据可用性抽样。但是这留下了一个问题:如果以太坊核心协议不存储这些数据,谁来存储?V神提出了几个可能:个人和机构;区块浏览器;RollupDAO,客户端;门户网络;像TheGraph一样的协议。其中一些解决方案(个人和机构志愿者、区块浏览器)已经可用。[2021/11/26 7:11:58]
回顾:状态到期是如何工作的?
V神发布伦敦升级后链容量增加约9%的三个原因:V神(Vitalik Buterin)发文《链容量为什么在伦敦升级之后增加了约9%?》。V神表示有3个原因:
1. 冰河时代延迟
当伦敦分叉开始时,冰河时代才刚刚开始生效。伦敦之前的平均区块时间约为13.5秒,伦敦之后的平均区块时间回落到其长期正常水平约13.1秒。这是区块速度约3%的差异,这解释了链上gas使用量增加9%中的3%。
2. 目标值1500万与最大1500万
在伦敦升级之前,区块最低gas使用量为1500万,并非所有区块都使用了整个1500万,即使是功能最完善的区块生产者也会留下0-20999未使用的gas,因为剩余空间太少,无法容纳单笔交易,除此之外,总会有偶尔的区块生产者制造空块。4月份的一项分析表明,大约2%的区块是空的。假设在伦敦之前有大约2-3%的未使用空间。然而,在伦敦之后,1500万不是最大值,而是目标值。这意味着,如果使用的平均gas(包括空块)低于1500万,则基本费用将减少,直到平均值回到1500万。所以这又占了大约2-3%。
3. basefee调整中的数学缺陷
EIP1559公式在目标为50%时并不完美。从最近观察到的时间跨度中获取数据,51.5%是完整区块(full block)(因此,比预期的50%高约3%)。[2021/8/15 22:15:37]
这是对此处提议的机制以及本文档中提议的内容的描述。核心思想是每个时期都会有一个状态树,当新时期开始时,会为该时期初始化一个空状态树,任何状态更新都会进入该树。在一段时间内发生的所有写入都进入最新的树。
以太坊创始人V神发推驳斥不实观点:以太坊创始人V神刚刚发布推特称,那种认为“区块链应该做的是验证而不是交易执行,因为交易执行比验证要慢得多”的观点是“胡说”。事实是以太坊的uncle rate更多和简单tx计算相关,而不是由交易的复杂性导致的。[2018/3/4]
请注意,这些大约一年的状态到期时间在历史上有时被称为“时期”,但我正在切换到“周期”一词以避免与信标链时期混淆。
保持两个关键原则:
只能修改最近的树。所有旧树都不再可修改;旧树中的对象只能通过在新树中创建它们的副本来修改,并且这些副本取代了旧副本。全节点预计只持有最新的两个树,因此只有最新的两个树中的对象才能在没有见证人的情况下被读取。阅读较旧的树则需要提供见证人。“见证”是一个简短的证明,它证明一个值或一组值位于树中的某个位置,可以由只有树根的人进行验证。例如,可以做一个见证,证明账户0x124f...89ab的存储槽123在某个状态下包含值50,任何拥有该状态树根的人都可以验证该证明。
状态到期建立了一种混合状态机制:共识节点需要存储最近访问或修改的状态,但可以使用基于见证的无状态客户端方法来验证较旧的状态。也就是说,可以维护一个“归档节点”,它甚至可以存储历史状态树,或者是一个完全无状态的节点,它使用见证人来验证甚至最近的状态。然而,gas成本结构和默认网络格式是围绕节点存储最新的两个状态树的假设构建的。
路线图
这种转换路线图分阶段实施。这些阶段包括:
周期1硬分叉:我们从周期1开始实施一个硬分叉。在此分叉之后,将有两个状态树:十六进制Patricia树和一个新的Verkle树原始EIP:https://notes.ethereum.org/@vbuterin/verkle_tree_eip
地址周期扩展:地址从20字节扩展到32字节,新的地址格式包括“地址周期”的概念。这允许新合约在不需要提供见证人的情况下填充新的存储槽。这可以在最终状态到期转换之前、周期1硬分叉之前或之后的任何时候完成。VB的提议:https://ethereum-magicians.org/t/increasing-address-size-from-20-to-32-bytes/5485
Ipsilon团队提案:https://notes.ethereum.org/@ipsilon/address-space-extension-exploration
周期2硬分叉:我们实施了开始周期2的硬分叉,并安排了未来阶段的开始。周期0十六进制Patricia树被替换为Verkle树,并且客户端只存储根,因此周期0树中的状态现在需要见证人来证明。在此之后,状态到期计划已全面实施。原始EIP:https://notes.ethereum.org/@vbuterin/state_expiry_eip
标签:SOLLANASolanaHTTSOL价格solana币官网下载appsolana币下半年会涨到多少价格https://etherscan.io
中美洲国家萨尔瓦多总统布格磊今天宣布,萨尔瓦多国会以「绝对多数」赞成的投票结果通过《比特币法》,在84名参加投票的议员中,有62位投出了赞成票.
巴比特讯,成都链安今日通过官方微信公号发布声明,辟谣跑路项目Gainswap已通过成都链安安全审计的不实消息。声明称:据核实调查,该项目对外公示的安全审计报告是经篡改过后的.
6月9日消息,Solana区块链的开发商SolanaLabs在由AndreessenHorowitz(a16z)和PolychainCapital牵头的私人代币销售轮中筹集了3.1415亿美元.
?最近,以太坊创始人VitalikButerin在LexFriedam的播客访谈节目中谈到了以太坊的PoS共识.
6月2日,波卡测试网Westend已经将Shell链升级为资产平行链?Westmint,目前运行稳定!根据此前Gavin和波卡团队透露的计划.
来源:CoinDeskh作者:DavidMorris 翻译:北辰? 埃隆·马斯克宣称他将拥有加密技术方面的专业知识.