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%+
立即参与!

你也可能喜欢

新鲜20亿美元购买后,策略(MicroStrategy)朝50万比特币里程碑

自称为比特币国库公司的战略(以前是MicroStrategy)正朝着其比特币采购战略中的一个主要里程碑迈进。

币界网2025/02/24 15:45

Circle的USDC和EUR在迪拜国际金融中心获得法律地位

USDC Stablecoin的开发商Circle Internet Group,Inc。宣布迪拜金融服务局(DFSA)宣布

币界网2025/02/24 15:33

分析师Jason Pizzino表示,这是比特币牛市的价格目标

一位紧随其后的加密分析师正在透露他期望比特币(BTC)在下一个牛市上运行的高度。

币界网2025/02/24 15:14

Shiba Inu L2 Shibarium钱包一周内将近500%跃升至55m+:这是正在发生的事情

在相对安静的市场条件下,Shiba INU 2层网络Shibarium的关键指标正在爆炸,引发了有关发生的事情的问题。

币界网2025/02/24 15:11