本文介绍了一种扩展验证EVM代码段的机制,旨在确保在有效合约的执行过程中不会发生栈的下溢或溢出。通过对操作数栈的验证,消除了运行时对栈下溢的检查,并减少了对于大多数指令的栈溢出检查。此外,还讨论了代码有效性、栈高度和终止指令的相关性。
本文介绍了在EOF格式的字节码中实现多个代码段的能力,主要是通过引入新的操作码CALLF和RETF来实现对函数的调用和返回。该EIP旨在消除动态跳转的需要,并通过编码输入和输出数量来提高代码分析的机会,同时限制每个函数的栈隔离。
CALLF
RETF
本文档是PeerDAS准备好发布到主网的清单,主要内容包括测试网和客户端实现、规范、测试、研发四个方面。涵盖了Validator Custody、分布式Blob发布、将证明计算移动到事务发送方等多个待完成的任务,以及对增加Blob数量对带宽和硬件要求的影响分析。
本文介绍了在合约创建时对EOF格式(EIP-3540)合约代码进行验证的新特性,以确保代码的正确性,拒绝包含不完整PUSH数据或未定义指令的合约。该项更改旨在将代码有效性纳入共识,同时提供向前兼容性,允许未来新指令的定义,并简化EVM的执行路径。
该文档定义了一个新的 JSON-RPC 方法 wallet_grantPermissions,允许 DApp 请求钱包授予执行交易的权限,无需用户手动批准每个交易,并支持在没有钱包连接的情况下执行交易。该方法通过定义权限请求和响应的模式,以及支持不同类型的签名者和权限,为 DApp 提供了一种统一的方式来请求和管理用户授权,从而实现诸如订阅、被动投资和限价订单等用例。
wallet_grantPermissions
本次以太坊核心开发者会议主要讨论了上海升级的相关议题,包括提款测试的进展、EIP-3860的修改、EOF的移除以及EOF相关的改进提案。同时,会议还讨论了EIP-4844的更新、新的EIP提案以及与轻客户端相关的技术问题。会议最终决定将EOF从上海升级中移除,并重点关注提款功能的顺利实现。
本文详细介绍了Merkle证明的格式,包括各种辅助函数和数据结构。文章中展示了如何生成Merkle树以及实现Merkle多重证明,并通过代码示例详细解释了各个函数的作用和实现原理,具有较高的技术深度和实用价值。
本文提出了一种机制以将RIP-7560交易的验证与执行分开,从而简化区块构建过程,同时防止针对区块构建器的拒绝服务攻击。新机制通过定义BUNDLE_TRANSACTION_TYPE来组合AA交易包,确保所有验证框架先于执行框架执行,降低了构建区块时的计算复杂性,对现有智能合约的兼容性影响较小。
该提案定义了与 EIP-5792 的 wallet_sendCalls 互补的 JSON-RPC 方法。
本次会议主要讨论了以太坊 Cancun 升级的潜在 EIP,重点关注 EIP-4844(blob 交易)、SELFDESTRUCT 操作码的移除(EIP-6780)以及与 SSZ 相关的 EIP。