解构 Solidity 合约 4: 函数体
本文针对初学者详细介绍了可变合约(metamorphic contracts)的概念和实现,重点讨论如何使用create和create2操作码在同一地址上重新部署合约。文章包含具体代码示例、交易哈希、观察结果以及对合约字节码的深入分析,适合希望了解智能合约更深层次的开发者。
通过逆向和调试深入EVM 6 - 完整的智能合约布局
本文介绍了Uniswap V4中的Hook(hooks),讨论了Hook的功能、实施方式以及其对流动性提供者(LP)的影响。文章深入解析了比特币池中的Hook逻辑同步与异步调用,以及恶意Hook的潜在处理,对技术层面进行详细探讨,并附带了一些操作示例。
如何将合约代码分割成块并默克尔化达到节约了40-60% 的代码传输量。
通过逆向和调试深入EVM 7 - 与其他智能合约的交互
本文详细介绍了Kakarot,一个基于Cairo VM的zkEVM,阐释了其如何实现EVM opcode的处理和与StarkNet的集成,目标是降低CairoVM的使用门槛、扩展StarkNet以及测试以太坊的新特性。文章涵盖了Kakarot的工作原理、结构组件以及交易的生命周期,深入探讨了其对以太坊和StarkNet生态的影响。
web3.eth.abi 函数用来解码及编码为 ABI (Application Binary Interface应用程序二进制接口) 以用于 EVM(以太坊虚拟机)进行函数调用。
本文详细探讨了以太坊协议未来的可能演变,重点讨论了 'The Splurge' 部分,包括EVM的改进、账户抽象、EIP-1559的优化、可验证延迟函数以及隐匿性和一次性签名的未来加密技术。这些讨论结合了对每项技术的背景、面临的问题、解决方案以及目前和尚需解决的挑战的详细描述,体现了技术发展的深度与广度。
本文介绍了 CREATE3 的设计目的及实现细节,分析了其与 CREATE 和 CREATE2 的区别,具体阐述了新的合约如何在多链环境下保持相同地址的机制,并提供了相关注意事项与参考资料。
本文深入探讨了Mythril工具在智能合约安全分析中的应用,介绍了其配置、执行流程及分析方法,通过实例详细说明了如何识别合约中的安全漏洞,尤其是参数限制对合约部署的影响。作者利用Mythril的特色功能强调了其在智能合约审核中的重要性,并提出了一些使用建议。整体内容适合对智能合约安全有一定基础的读者,值得深入学习。
本文详细介绍了EVM中的delegatecall操作码,解释了其工作原理、使用场景及潜在问题,并提供了多个代码示例帮助理解。
本文详细介绍了Vyper编程语言,在智能合约开发中的安全性和简洁性,强调了其设计原则与核心特性。通过比较Vyper和Solidity,指出Vyper在安全优先和易审计性方面的优势,同时提供了安装Vyper的步骤和最佳实践,适合需要高安全性的区块链项目开发者。
《代理模式与 Delegatecall 书籍》深入探讨了 Solidity 开发中的代理模式及其背后的原理,针对开发者和审计师的需求,系统性地呈现了有关 EVM 及 Solidity 编译器的知识。这本书清晰地组织了多个章节,从存储槽、ABI 编码到代理模式的不同实现,提供了丰富的有用信息,是希望深入了解这一复杂主题的开发者的重要资源。
本文介绍了Cannon,一个创新的EVM等效故障证明实现,支持无损运行EVM于第二层(L2)网络。Cannon利用geth实现,具有较低的事务成本,并通过新型预映像oracle简化状态访问。现阶段,Cannon正在进行漏洞赏金活动,奖励最高达25万美元,以加强其安全性和稳定性。