Cairo 实战入门:可升级合约与跨链信息发送

概述 如果读者阅读过笔者之前的文章就会发现,我在 solidity 中使用了 ERC20 代币 -> 可实升级合约的学习路径。为了保持文章的统一性,我准备在此文中介绍 cairo 的可升级合...

July 29, 2023 · 18 min · 8888 words · WongSSH

深入 ENS 系统

概述 ENS 是一个以太坊上的开放、可拓展的命名系统,也是目前在以太坊中最常用的命名系统。ENS 的功能是将人类较难判读的以太坊地址转化为人类可读的名...

June 26, 2023 · 11 min · 5501 words · WongSSH

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

概述 本文以较为简单的 WETH 合约为例,介绍在 Foundry 架构中常用的几种较为高级的测试方法,如下: Fuzz Testing 基于属性的单元测试的升级版 Invariant Testing 基于随机数据整体调用的测...

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

智能合约开发效率工具

概述 随着区块链的发展,智能合约的开发逐渐成为一片新的蓝海。与智能合约发展一同进步的其实还有一系列的智能合约开发工具和安全审计工具,但由于此方...

November 12, 2022 · 8 min · 3726 words · WongSSH

深入解析Safe多签钱包智能合约:Fallback合约

概述 在深入解析Safe多签钱包智能合约:模块中分析FallbackManager模块时,限于篇幅限制且fallback合约自成一体,所以我们...

September 22, 2022 · 12 min · 5608 words · WongSSH