找到约 14 条结果

文章 使用 Chimera 编写多模糊器不变性测试

当你编写智能合约不变性模糊测试时，应该使用 Foundry、Echidna 还是 Medusa 模糊器？当你可以使用 [Chimera](https://github.com/Recon-Fuzz/chimera/) 从同一代码库中使用所有 3 个模糊器来编写你的模糊测试时，为什么只满足于一个！ Chimera ...

文章 审计准备清单

## 审计准备检查清单 #### 最低质量检查清单 - [ ] 使用Solidity的[最新](https://learnblockchain.cn/docs/solidity)主要版本。 - [ ] 尽可能使用已知/已建立的库。[OpenZeppelin contracts](https://github.com/OpenZeppelin/openzeppelin-contracts/) 是首选，因为它...

文章 使用Foundry部署和开源合约erc20

# 使用Foundry部署和开源合约erc20 将给定的合约部署到 Sepolia 并提供部署后的链接地址，你可以按照以下步骤进行操作。 新建项目 ``` forge init foundry_erc20 ``` ### 步骤一：编写合约脚本 在文件夹`src`中创建一个新...

文章 介绍 Solar - 全新的 Solidity 编译器前端

>- 原文链接：[www.paradigm.xyz/2024...](https://www.paradigm.xyz/2024/11/solar) >- 译者：[AI翻译官](https://learnblockchain.cn/people/19584)，校对：[翻译小组](https://learnblockchain.cn/people/412) >- 本文链接：[learnblockchain.cn/article…](https://learnblockchain.cn/articl...

文章 Michael.W基于Foundry精读Openzeppelin第21期——ERC165.sol

### 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 #### 0.1 ERC165.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/utils/introspection/ERC165.sol ERC165合约是IERC165的标准实现。ERC165提供了本合约是否实现了IERC165接...

文章 Hacken 开源 Uniswap v4 Hook 测试框架介绍

**Hacken 的顶级审计师开发了一个全面的、开源的 Uniswap v4 hooks 测试工具，支持对其安全性、正确性和行为进行自动化验证。** Uniswap v4 引入了一个强大的新原语：**hooks**。它们使开发者能够在关键的执行点自定义池行为，从而解...

文章 用于研究Hack攻击的 Foundry

>- 原文链接：[mixbytes.io/blog...](https://mixbytes.io/blog/foundry-for-studying-hacks) >- 译者：[AI翻译官](https://learnblockchain.cn/people/19584)，校对：[翻译小组](https://learnblockchain.cn/people/412) >- 本文链接：[learnblockchain.cn/article…](https://learnblockchain.c...

文章 介绍 BuildBear VSCode 扩展：在 VSCode IDE 上增强智能合约开发体验

 我们很高兴地宣布 BuildBear VSCode 扩展的发布。该扩展提供了一种无缝且高效的方式来为 EVM 和 EVM 兼容的区块链网络创建私有沙箱。凭借其独特的功能，如专属水龙头和集...

文章 使用Recon构建测试工具

五月 02, 2024 Recon 自动为任何公共（免费版本）智能合约仓库或任何使用 Foundry 的私人仓库（专业版）构建一个不变性测试工具。通过这个功能，你可以在几分钟内开始编写不变性测试，本文将介绍如何连接 Foundry 仓库，以让 Rec...

文章 Solidity 智能合约开发流程

# Solidity 智能合约开发流程 到目前为止我开发了不少部署在主网的智能合约，现在总结一下 Solidity 合约的开发流程。 ## 需求&功能 确定客户需求，规划合约功能，一般来说这是归产品经理干的事情。但是由于智能合约的特殊...

文章 每周以太坊进展2022/4/2

## 主网(执行层) * 最新的核心开发者[视频会议](https://www.youtube.com/watch?v=1QU8r9-SJDc&t=322s). 来自 [Tim Beiko](https://twitter.com/timbeiko/status/1509955843654971392) 和 [Christine Kim](https://twitter.com/christine_dkim/status/1509924174025924615)的记录: * 影子...

文章 Michael.W基于Foundry精读Openzeppelin第51期——ERC20VotesComp.sol

### 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 #### 0.1 ERC20VotesComp.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/token/ERC20/extensions/ERC20VotesComp.sol ERC20VotesComp库是专门适配Compound投票和委托的ERC20拓展库...

文章 Michael.W基于Foundry精读Openzeppelin第35期——Ownable.sol

### 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 #### 0.1 Ownable.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/access/Ownable.sol Ownable库提供了一种基本的访问控制机制——设置一个owner具有对某些函数特殊...

文章 智能合约安全：从零到一的实战避坑指南

## 核心安全观 智能合约是“一旦上链，永久生效”的自动化程序，直接管钱。它的安全逻辑很简单：**假设所有人都会来攻击你，所有能出错的地方都会出错。** ## 程序员最常踩的五大坑（及修复方案） ### 1. 致命陷阱：...