Bitget App
交易“智”变
行情交易合约跟单BOT理财Web3
【英文长推】探索以太坊状态、执行和共识的未来

【英文长推】探索以太坊状态、执行和共识的未来

ChainFeedsChainFeeds2024/12/17 01:57
作者:2077 Research

Chainfeeds 导读:

本文探讨了「The Verge」,其重点是通过 Verkle Trees、STARK 证明、zk 友好共识、Beam Chain 等增强以太坊的可验证性、可扩展性和可持续性。

文章来源:

https://x.com/2077research/status/1868745665372885118

文章作者:

2077 Research

观点:

Archetype:与 Web2 的「黑匣子」系统不同,可验证性意味着任何人都可以独立验证系统的运行方式。以太坊通过确保任何人(甚至在低端设备上)都可以验证状态、执行和共识来进一步推动这一点。为了使以太坊真正可验证,必须证明三件事: - 状态:用户能否确认区块链的当前数据? - 执行:用户能否确认状态转换(STF)有效? - 共识:用户能否确认选择了正确的链? 以太坊的状态是任意时间所有账户余额、智能合约存储和代码的快照。如何在不下载整个区块链的情况下证明这个状态是有效的?这就涉及到 Merkle Trees 及其后继者 Verkle Trees。Merkle 树创建了从数据到 Merkle 根的「证明路径」,允许用户验证单个数据点,而无需完整的数据集。然而,随着以太坊状态的增长,Merkle 证明变得庞大且低效。Verkle Trees 使用「椭圆曲线矢量承诺」缩小证明尺寸。 Verkle 树不是对每个数据分支进行哈希处理,而是使用加密技巧生成更小的单一证明,有效将证明大小从 330 MB 减少到约 2 KB。 以太坊的执行层运行状态转换函数(STF),该函数采用前一个状态和一个新块来计算下一个状态。为了验证执行情况,用户必须重新运行交易 —— 这是一个成本高昂的过程,需要大量存储和计算能力。以太坊使用附加到区块的「有效性证明」,而无需重新运行每个块。通过有效性证明,提议者向轻客户端证明 STF 执行的正确性。用户仅验证 3 个简单的哈希值:旧状态根,新状态根,区块哈希。 以太坊的混合概率和确定性共识允许低延迟块生产(slot),并且每个时期(32 slots)都有最终性。如何在不运行完整验证器的情况下验证这一过程?同步委员会使用 512 个随机选择的验证者对链的头部进行 27 小时的签名。轻客户端无需下载链即可验证此签名,以确保链的正确性。这种方法简单、高效,但也存在一些风险(无法对不良行为进行罚没)。【原文为英文】

内容来源

【英文长推】探索以太坊状态、执行和共识的未来 image 0

0

免责声明:文章中的所有内容仅代表作者的观点,与本平台无关。用户不应以本文作为投资决策的参考。

PoolX:锁仓获得新代币空投
不要错过热门新币,且APR 高达 10%+
立即参与!

你也可能喜欢

以太坊倡导者为以太坊领域的Saylor类投资者辩护

以太坊教育家和倡导者Anthony Sassano提出了一个案例,让某人代表以太坊社区领导类似比特币的指控,类似于

币界网2024/12/22 14:30

Starboard瞄准Riot平台的低效,计划实现数十亿美元的增长

比特币矿业巨头Riot Platforms可能坐拥一座金矿,但尚未完全挖掘。Starboard,最激进的活动家之一

币界网2024/12/22 14:30

以太坊巨头购买价值10亿美元的ETH:市场复苏即将到来?

以太坊巨头买入下跌,因为大多数指标都预示着修正结束。

币界网2024/12/22 14:08

以下是卡尔达诺17%的每周修正如何帮助ADA在本周期达到6美元:分析师

ADA在过去的一周里一直在挣扎,但这也有一些积极的一面。

币界网2024/12/22 13:35