https://blog.wssh.dev/tags/foundry/ Recent content in Foundry on Wong's Blog Hugo -- 0.146.6 en-us Mon, 26 Aug 2024 02:37:27 +0000 https://blog.wssh.dev/posts/gas-optimize-part1/ Mon, 26 Aug 2024 02:37:27 +0000 https://blog.wssh.dev/posts/gas-optimize-part1/ <h2 id="概述">概述</h2> <p>最近发现了一个 <a href="https://snappify.com/view/f9a681c7-834c-467e-b34d-5ad443a893f2">非常有意思的 PPT</a> 介绍了大量的 gas 优化技巧，本文为此 PPT 的文字版本，但与 PPT 不同的是，本文会会介绍合约内函数 gas 的计算并尽可能介绍每种优化方案的原理。</p> https://blog.wssh.dev/posts/huff-math/ Wed, 15 Mar 2023 11:02:00 +0000 https://blog.wssh.dev/posts/huff-math/ <h2 id="概述">概述</h2> <p><code>Huff</code> 是 EVM 专用语言，与 Solidity 不同，Huff 是面向底层的语言，可以类比与汇编语言。这意味着开发者可以直接操作栈、内存和存储等内容，但另一方面，这些底层操作往往没有安全保证，这需要开发者更加仔细的审计和测试代码。本文章由于涉及大量 EVM 底层操作，希望读者阅读过以下文章:</p> https://blog.wssh.dev/posts/foundry-test/ Tue, 14 Mar 2023 23:47:33 +0000 https://blog.wssh.dev/posts/foundry-test/ <h2 id="概述">概述</h2> <p>本文以较为简单的 <code>WETH</code> 合约为例，介绍在 <code>Foundry</code> 架构中常用的几种较为高级的测试方法，如下:</p> <ol> <li>Fuzz Testing 基于属性的单元测试的升级版</li> <li>Invariant Testing 基于随机数据整体调用的测试</li> <li>Formal Verification 形式化证明</li> </ol> <p>本文也会给出上述测试手段的 <code>github ci</code> 配置文件。</p> https://blog.wssh.dev/posts/foundry-with-erc20/ Thu, 14 Jul 2022 21:37:27 +0000 https://blog.wssh.dev/posts/foundry-with-erc20/ <h2 id="概述">概述</h2> <p>本博客的内容主要分为以下四部分：</p> <p>一是Foundry的介绍与安装，主要介绍为什么选择Foundry进行智能合约开发和安装过程中的各种官方文档中未提及的问题；</p>