Foundry 高级测试: Fuzz、Invariant与形式化证明
概述 本文以较为简单的 WETH 合约为例，介绍在 Foundry 架构中常用的几种较为高级的测试方法，如下: Fuzz Testing 基于属性的单元测试的升级版 Invariant Testing 基于随机数据整体调用的测...
Posts
一个简单的Sublime设置
问题 如果读者熟悉我，应该会发现我经常使用 VSCode 作为主力编辑器，但随着我安装的 VSCode 的插件逐渐增加，我发现对于部分较小的任务使用 VSCode 过于笨重，比如简单的...
使用 Pandas 分析亿行数据
声明，本文译自 pandas with hundreds of millions of rows。 如果您的英语水平较好，可以阅读原文。为了译文更加流畅，译者补充了部分内容。 问题 我们希望获得国内航班平均延...
图数据分析:使用 cozodb 分析以太坊交易数据
概述 在之前的两篇文章中，我们讨论了对以太坊常规数据的导入和分析。文章链接如下: Clickhouse 以太坊分析:基础交易数据清洗 Clickhouse 以太坊分析:交易日志分析 如果您...
Clickhouse 以太坊分析:交易日志分析
概述 在上一篇中，我们介绍了如何使用 Clickhouse 进行基础的信息提取，这些信息往往依赖于以太坊底层机制，我们只能获得如 ETH 转账、 gas 等信息，这些信息并没有涵盖...