找到约 15 条结果

文章 介绍Recon：简化的不变性测试和模糊测试

Feb 24, 2024 1  ## 什么是 Recon？ [Recon](https://getrecon.xyz/) 是一款加速编写不变性测试过程的工具。它可以连接到任何开源的 Solidity 项目，并自动生成用于...

文章 8款行业领先智能合约审计和安全工具

我们测试并发现了每个web3智能合约开发者都应该在其技术栈中包含的最佳智能合约审计和安全工具。 根据[Chainalysis](https://www.chainalysis.com/blog/crypto-hacking-stolen-funds-2025/)，**2024年有22亿美元从加密平台被盗**。这比2023年的损失...

文章 攻破电话：如何解决Ethernaut的挑战#4

## 突破手机：如何解决 Ethernaut 的挑战 #4  **在**[**领英**](https://www.linkedin.com/in/martin-pal-8b4212235/)**上关注我，获取更多区块链开发内容。** 你正在看 Ethernaut 的 Phone 挑战，...

文章 用rust开始eth，打开钱包签个名

首先感谢登链社区给赠送的NFT，来这里认识了不少朋友，收了一些朋友给发的红包，感谢大家。 前段一直挺忙，有段时间周六还在上班，然后自己也一直在学习，好久没有分享点新知识。 以前跟群友吹过，我写点文章，主...

文章 Michael.W基于Foundry精读Openzeppelin第10期——Create2.sol

### 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 #### 0.1 Create2.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/utils/Create2.sol Create2库本质就是对EVM opcode `CREATE2`进行的一个封装，可以让开发者在非内联汇...

文章 每周以太坊进展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影子分叉问题 ## 主网（执行层） * **更新节点**以备 ...

文章 每周以太坊进展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)的记录: * 影子...

文章 Shutter DAO 0x36 的流动性引导池已启动！

 **Shutter DAO 0x36 已经启动了一个流动性引导池（LBP），以筹集项目资金并增加代币分配。它现已在 Fjord Foundry 上线。...

文章 Michael.W基于Foundry精读Openzeppelin第14期——SafeMath.sol

### 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 #### 0.1 SafeMath.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/utils/math/SafeMath.sol SafeMath库是对solidity中uint256的加、减、乘、除和取模运算的一层封装。由...

文章 对 Badger DAO 的 eBTC 协议进行为期 6 周模糊测试的经验总结

更多来自 “一切皆可Fuzz” 的内容 我们讨论fuzz测试、不变性测试、符号测试和形式化验证。 已经有账户了？ [登录](your_sign_in_link) ## 从对 Badger DAO 的 eBTC 协议进行 6 周的 Fuzzing 中学到的 #### 来自全面的形式化规范和不变性测...

文章 UUPS 升级模式

在[代理合约与升级](https://learnblockchain.cn/article/22621)中，我们了解到升级运行的原理，理解代理模式面临**函数选择器冲突**的问题：当代理合约和实现合约有相同函数名时，会产生调用歧义。上一篇的透明代理模式是一个方案，...

文章 我在web3bridge的第三周以及我目前所学到的——第一部分

 欢迎来到 web3bridge 作为 web3 生态系统的爱好者，我有幸加入了 [Web3bridge](https://medium.com/u/d27c09952d68?source=post_page---user_mention--6f39a6bbd647---------------------------------------) ...

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

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

文章 使用 Coverage Gutters 更好地检查合约 Code Coverage

对于智能合约开发者来说，编写合约测试是非常重要的一项技能。或许我们不需要像审计那样严谨，但测试一定要覆盖到所有功能。通常需要 Code Coverage 来查看覆盖率。 这里推荐 VS Code 的一款插件 [Coverage Gutters](https://marketplac...

文章 部署 - OpenZeppelin 文档

## 部署 部署允许你安全地跨链部署和升级智能合约。你可以证明链上运行的代码与经过审计的实现相匹配，并最大限度地减少可能导致损失或问题的关键错误。 ### 用例 - 使用对部署者地址的精细控制来配置生产和测试环境。...