找到约 13 条结果

文章 每周以太坊进展2022/6/25

## POW关闭（合并） * [Mainnet-shadow-fork-7](https://notes.ethereum.org/PhbNw_cGSQ-VKqzGl4bPcg?view#mainnet-shadow-fork-7) 合并说明: 已知[Besu并发问题](https://hackmd.io/@RoboCopsGoneMad/B1reW1G9c)和Erigon影子分叉问题 ## 主网（执行层） * **更新节点**以备 ...

文章 升级插件 - OpenZeppelin 文档

## 升级插件 **将升级集成到你现有的工作流程中。** 用于 [Hardhat](https://hardhat.org/) 和 [Foundry](https://learnblockchain.cn/docs/foundry/i18n/zh/) 的插件，用于在 Ethereum 上部署和管理可升级合约。 - 部署可升级合约。 - 升级已部署的合约。 ...

文章 Foundry、Echidna 与 Wake：模糊测试收缩算法比较

## 介绍 [模糊测试](https://learnblockchain.cn/article/20409/)对于安全的[智能合约](https://learnblockchain.cn/tags/smart-contract/)测试至关重要，但也面临着挑战。测试执行通常很慢，而分析失败可能需要更多的时间和精力。 Shrinking（缩减）解...

文章 Michael.W基于Foundry精读Openzeppelin第15期——SignedMath.sol

### 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 #### 0.1 SignedMath.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/utils/math/SignedMath.sol SignedMath库提供了solidity中尚未内置的标准有符号数的数学运算方法。 ...

文章 Michael.W基于Foundry精读Openzeppelin第44期——ERC20Pausable.sol

### 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 #### 0.1 ERC20Pausable.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/token/ERC20/extensions/ERC20Pausable.sol ERC20Pausable库是ERC20的拓展。考虑到如下业务需求：1. 在...

文章 Michael.W基于Foundry精读Openzeppelin第43期——Pausable.sol

### 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 #### 0.1 Pausable.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/security/Pausable.sol Pausable库实现了功能函数紧急关停机制，可以继承该合约并使管理员账户来...

文章 Michael.W基于Foundry精读Openzeppelin第24期——ERC165Storage.sol

### 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 #### 0.1 ERC165Storage.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/utils/introspection/ERC165Storage.sol ERC165Storage合约是ERC165的一种拓展。IERC165的supportsInterface(byt...

文章 Ethernaut 题库闯关 #2 — Fallout

今天这篇是[Ethernaut 题库闯关](https://learnblockchain.cn/article/4578)连载的第2篇，难度等级：容易。 ## 挑战#2：Fallout [本挑战](https://ethernaut.openzeppelin.com/level/0x5732B2F88cbd19B6f01E3a96e9f0D90B917281E5)的目标是要求获得`Fallout`合约的所有...

文章 EVM开发者工具详解 + Foundry设置

> 在深入研究字节码和原始 EVM 追踪之前，值得了解一下使这种探索成为可能的**开发者工具**。 > > 每一个现代以太坊框架：Foundry、Hardhat、Tenderly、Blockscout。都建立在相同的基础之上：**EVM 追踪**。这些追踪捕获了每个执行的 opc...

文章 高级 Foundry 作弊码系列：第 6 部分 - 使用 Forge 进行高级模糊测试

 高级 Foundry 作弊码系列：第 6 部分 - 使用 Forge 进行高级模糊测试 认为你的测试覆盖了极端情况？Forge 的模糊测试证明你是错的。一个参数 = 数百个随机输...

文章 Ethernaut 题库闯关 #8 — Vault

今天这篇是[Ethernaut 题库闯关](https://learnblockchain.cn/article/4578)连载的第8篇，难度等级：中等。 Ethernaut 题库闯关我已经整理为一个[专栏](https://learnblockchain.cn/column/19)了， 欢迎大家订阅专栏。 ## Ethernaut挑战 #8：金库 本...

文章 《Certora 形式化验证》 课程上线

本课程由 RareSkills 提供，系统讲解如何使用 Certora Prover 和 CVL（Certora Verification Language） 对 Solidity 智能合约进行形式化验证。课程目标是帮助开发者从“测试代码”升级为“数学证明代码正确性”，进入高安全等级的 Web3 工程与...

文章 Michael.W基于Foundry精读Openzeppelin第7期——Timers.sol

### 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 #### 0.1 Timers.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/utils/Timers.sol Timers库是一个专门用于控制和管理有时间有效期窗口的工具库。时间有效期可以...