在 Foundry 使用 OpenZeppelin 插件进行智能合约升级
极快的测试,不再使用 BigNumber.js,只有 Solidity 代码
Foundry是一个Solidity框架,用于构建、测试、模糊、调试和部署Solidity智能合约
Foundry 常用命令和作弊码速查表
学习使用模糊测试(Fuzz Test)及不变性测试( Invariant Test)提高合约安全性。
Foundry是一个全新的EVM开发环境。有原生的Solidity编写测试能力及强大的命令行工具支持。
使用Foundry工具来探索实现可升级的合约,本文介绍了可升级的合约使用的 delegatecall 时遇到的变量冲撞的问题,以及应该如何应对。
EIP-7702引入了一种新的交易类型0x4,使外部账户(EOA)能够执行临时的智能合约功能,支持批量交易、赞助Gas支付等功能。文章详细介绍了EIP-7702的技术细节、使用场景,并通过Foundry工具展示了如何测试和部署该功能。
0x4
本文介绍了在 Solidity 智能合约中使用 Foundry 测试套件进行不变性测试的方法。不变性测试是一种验证代码正确性的测试方法,与单元测试和模糊测试类似。文章详细介绍了如何设置和运行不变性测试,并通过多个示例演示了如何检测和修复智能合约中的漏洞。
本文指南提供了如何创建和部署自己的超额抵押稳定币的详细步骤,使用Foundry作为智能合约开发工具,结合OpenZeppelin和Chainlink。内容涵盖了合约的核心功能、抵押品管理、清算机制及相关测试,适合有基本Solidity和智能合约知识的开发者。
本文详细介绍了ERC-777代币标准的实现,包括其核心概念、创建和部署的步骤,以及测试ERC-777合约的功能。通过配合使用Foundry工具,读者可以学习如何有效地管理和使用新特性如操作员和钩子。本文不仅提供了代码示例,还覆盖了项目设置和部署到Sepolia测试网的过程,适合希望深入理解加密货币领域先进代币标准的开发者。
Chisel是随Foundry提供的高级SolidityREPL(交互式命令工具)。它可用于在本地或Fork网络上快速测试Solidity片段。
Foundry是一个用于以太坊应用开发的便携、快速和模块化的工具包。文章详细介绍了Foundry的优势和特性,包括使用Solidity编写测试、模糊测试、覆盖虚拟机状态以及在真实网络状态下运行测试等,并提供了性能比较和应用示例。
本文探讨了如何通过Foundry单元测试来调试和修复Echidna/Medusa测试中的不变性问题。介绍了如何使用Foundry模板创建Counter合约,并定义基本的不变性,接着描述了如何运行Echidna和Medusa进行测试,生成相应的单元测试,最后展示了如何修复合约中的bug以维护不变性。通过这种方法,开发者能够更快速有效地定位和解决合约问题,这是在生产环境中极为重要的。
这篇文章详细介绍了如何使用Recon工具为智能合约创建不变性测试环境,涵盖了公共和非标准仓库的设置过程。文章结构清晰,提供了丰富的示例和图片,适合开发者快速上手。