Huff实战:编写测试极致效率数学模块
概述 Huff 是 EVM 专用语言,与 Solidity 不同,Huff 是面向底层的语言,可以类比与汇编语言。这意味着开发者可以直接操作栈、内存和存储等内容,但另一方面,这些底层操作往往没有安全保证,这需要开发者更加仔细的审计和测试代码。本文章由于涉及大量 EVM 底层操作,希望读者阅读过以下文章: ...
概述 Huff 是 EVM 专用语言,与 Solidity 不同,Huff 是面向底层的语言,可以类比与汇编语言。这意味着开发者可以直接操作栈、内存和存储等内容,但另一方面,这些底层操作往往没有安全保证,这需要开发者更加仔细的审计和测试代码。本文章由于涉及大量 EVM 底层操作,希望读者阅读过以下文章: ...
概述 本文以较为简单的 WETH 合约为例,介绍在 Foundry 架构中常用的几种较为高级的测试方法,如下: Fuzz Testing 基于属性的单元测试的升级版 Invariant Testing 基于随机数据整体调用的测试 Formal Verification 形式化证明 本文也会给出上述测试手段的 github ci 配置文件。 ...
问题 如果读者熟悉我,应该会发现我经常使用 VSCode 作为主力编辑器,但随着我安装的 VSCode 的插件逐渐增加,我发现对于部分较小的任务使用 VSCode 过于笨重,比如简单的 Markdown 文件编辑工作。 ...
声明,本文译自 pandas with hundreds of millions of rows。 如果您的英语水平较好,可以阅读原文。为了译文更加流畅,译者补充了部分内容。 问题 我们希望获得国内航班平均延误最长的 5 个美国机场。 ...
概述 在之前的两篇文章中,我们讨论了对以太坊常规数据的导入和分析。文章链接如下: Clickhouse 以太坊分析:基础交易数据清洗 Clickhouse 以太坊分析:交易日志分析 如果您未阅读过以上文章并不影响您继续阅读本篇文章,本文内所有数据集均提供下载链接。 ...