Huff实战:编写测试极致效率数学模块

概述 Huff 是 EVM 专用语言,与 Solidity 不同,Huff 是面向底层的语言,可以类比与汇编语言。这意味着开发者可以直接操作栈、内存和存储等内容,但另一方面,这些底层操作往往没有安全保证,这需要开发者更加仔细的审计和测试代码。本文章由于涉及大量 EVM 底层操作,希望读者阅读过以下文章: ...

March 15, 2023 · 23 min · 11431 words · WongSSH

Foundry 高级测试: Fuzz、Invariant与形式化证明

概述 本文以较为简单的 WETH 合约为例,介绍在 Foundry 架构中常用的几种较为高级的测试方法,如下: Fuzz Testing 基于属性的单元测试的升级版 Invariant Testing 基于随机数据整体调用的测试 Formal Verification 形式化证明 本文也会给出上述测试手段的 github ci 配置文件。 ...

March 14, 2023 · 24 min · 11773 words · WongSSH

一个简单的Sublime设置

问题 如果读者熟悉我,应该会发现我经常使用 VSCode 作为主力编辑器,但随着我安装的 VSCode 的插件逐渐增加,我发现对于部分较小的任务使用 VSCode 过于笨重,比如简单的 Markdown 文件编辑工作。 ...

March 5, 2023 · 3 min · 1173 words · WongSSH

使用 Pandas 分析亿行数据

声明,本文译自 pandas with hundreds of millions of rows。 如果您的英语水平较好,可以阅读原文。为了译文更加流畅,译者补充了部分内容。 问题 我们希望获得国内航班平均延误最长的 5 个美国机场。 ...

March 1, 2023 · 9 min · 4353 words · WongSSH

图数据分析:使用 cozodb 分析以太坊交易数据

概述 在之前的两篇文章中,我们讨论了对以太坊常规数据的导入和分析。文章链接如下: Clickhouse 以太坊分析:基础交易数据清洗 Clickhouse 以太坊分析:交易日志分析 如果您未阅读过以上文章并不影响您继续阅读本篇文章,本文内所有数据集均提供下载链接。 ...

February 22, 2023 · 16 min · 7919 words · WongSSH