

Vitalik Buterin,以太坊联合创始人,提出了一种新颖的方法,这可能显著改变网络上的交易结构。最近在账户抽象、状态设计和密码学证明聚合等领域的探索中,突显了“执行操作”与“需预先验证的条件”之间的区别。
Buterin 引入的新框架核心包含两个主要组成部分:“动作(Actions)”和“依赖项(Dependencies)”。动作涵盖以太坊网络中交易产生的结果;而依赖项则指这些结果生效所必需的前提条件。
Buterin 指出,诸如 EIP-8141、替代状态模型、带密钥的非确定性随机数(keyed nonce)结构以及基于递归 STARK 的内存池研究等努力,促使交易逻辑的概念模型变得更加坚实。作为智能合约领域的领先区块链,以太坊拥有最活跃的开发者生态系统之一。
Buterin 强调:“交易产生的效果被视为‘动作’,而实现该效果所需的要求则被定义为‘依赖项’。”
传统上,节点在处理交易时,会先验证必要数据,然后再进入执行阶段。然而,Buterin 认为单独处理依赖项具有潜在优势,从而允许在各个维度上进行优化。
这种方法的关键在于能够并发审查大量依赖项。某些验证可以在交易打包进区块之前的内存池阶段发生,而另一些甚至可能不需要访问以太坊的状态数据。
Buterin 表示:“并行处理依赖项可以为更高效的系统级验证方法铺平道路。”
Buterin 还提出了另一种可能性:被定义为“纯粹”依赖项的检查,可能不需要每个验证者重复进行验证。内存池或许可以一次性验证这些检查,从而免除进一步的迭代需求。
在更高级的阶段,存在将多项检查聚合为单个 STARK 证明的潜力,以证明其正确实施。这将提高技术效率,并澄清以太坊验证架构内的任务分配。
Buterin 提案的关键见解包括:
交易逻辑中动作与依赖项的区分。通过并行处理依赖项实现优化验证的潜力。利用 STARK 证明探索批量验证能力。Vitalik Buterin 提出的模型可能会引发对以太坊交易处理方式的重思考,通过提高执行过程的清晰度和效率。他的见解凸显了优化区块链运营的关键一步,有望为以太坊开启一个技术发展的新时代。
声明:文章不代表币圈网立场和观点,不构成本站任何投资建议。内容仅供参考!
免责声明:本站所有内容仅供用户学习和研究,不构成任何投资建议.不对任何信息而导致的任何损失负责.谨慎使用相关数据和内容,并自行承担所带来的一切风险.