找到约 15 条结果

文章 Foundry 备忘录

# Foundry 备忘录 对[foundry-cheatsheet](https://github.com/dabit3/foundry-cheatsheet)的翻译 Foundry GitHub - [https://github.com/foundry-rs](https://github.com/foundry-rs) Foundry Book - [https://book.getfoundry.sh/](https://book.getfoundry.sh/) Installing Foundry - [https://github.co...

文章 每周以太坊进展 2022/10/29

## Layer 1 * 最新的核心开发者[视频会议](https://www.youtube.com/watch?v=oQfEW8LdE88&t=445s). 来自[Tim Beiko](https://twitter.com/timbeiko/status/1585406583278047235) 和 [Christine Kim](https://www.galaxy.com/research/insights/ethereum-all-core-developers-call-148/)的记录: ...

文章 模糊测试如何提高Web3中智能合约的安全性

**学习模糊测试如何加强 Web3 中智能合约的安全性。探索关键技术、真实案例以及如何开始使用 Foundry。** ## 什么是模糊测试以及为什么它很重要 在本文中，我们将深入探讨模糊测试在区块链安全中的重要作用。在 Foundry 中设...

文章 每周以太坊进展2022/3/26

## 主网(执行层) * Tim Beiko 记录的 [核心开发更新](https://tim.mirror.xyz/M_3JZXBkvXnr3W1222WIDo1ipMuFymszjH-FP40CO5c): 合并测试，难度炸弹预计6月爆炸，上海升级规范，执行层规范，对客户端开发者和研究人员的token补偿。 * ethereumjs/client [v0....

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

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

文章 Michael.W基于Foundry精读Openzeppelin第46期——ERC20Snapshot.sol

### 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 #### 0.1 ERC20Snapshot.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/token/ERC20/extensions/ERC20Snapshot.sol ERC20Snapshot库是ERC20的拓展，增加了各账户余额及总流通...

文章 每周以太坊进展 2022/10/15

## 执行层 * Tim Beiko 的[核心开发新进展](https://tim.mirror.xyz/zxOfNlTUO1MOhSrVP1rWGSywxlugdAc9fOUURW09zgE): 上海候选 EIP, 视频会议将于10月27日恢复 * Besu [v22.7.6](https://github.com/hyperledger/besu/releases/tag/22.7.6): v22.7.x 区块提案失败的热修复版...

文章 Gambit：一种用于形式验证的Solidity变异测试工具

当开发者编写测试时，他们常常会考虑他们可能引入的常见逻辑错误或他们可能未处理的边界情况。但是，针对那些他们**没有**想到可能已引入的错误，例如编程或复杂逻辑错误，该如何处理呢？如何编写测试以预见那些未被...

文章 Ethernaut 题库闯关 #12 — Privacy

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

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

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

文章 每周以太坊进展2024/1/6

## Dencun（Cancun + Deneb）升级（meta [EIP7569](https://eips.ethereum.org/EIPS/eip-7569)） * 最新的所有核心开发者 - 执行层（ACDE）[视频会议](https://www.youtube.com/watch?v=6xgxmKfVjtA&t=316s) 。[@lightclients](https://mirror.xyz/abcoathup.eth/fxJUSVwy6fWzzL-du9AFUhybf...

文章 每周以太坊进展 2022/12/17

## Shapella (上海 + Capella) 升级 * Tim Beiko 的[核心开发更新](https://tim.mirror.xyz/zLdl8bEiDmobHZ5RlvG2LrlZLWV9c2XvkuKQ-vpljSU)：上海 EIP 的详细信息以及后续 Cancun 升级的计划 * 最新的共识开发者会议[视频](https://www.youtube.com/watch?v=UazJO0fQ3Ho&t...

文章 Solodit检查清单详解：系列前言

Hans ## Solodit 检查清单解读（0）：序言 探索 Solodit 检查清单，以构建安全的智能合约。学习实用技巧、代码分析和真实世界的见解，以增强你的区块链项目。 欢迎来到 **[Solodit 检查清单](https://solodit.cyfrin.io/checklist) **解读**，...

文章 每周以太坊进展 2023/08/05

## Dencun (Cancun + Deneb) 升级 - 最新的所有核心开发者 - 共识（ACDC）[视频会议](https://www.youtube.com/watch?v=X46mbG8N5XM&t=350s)。[克里斯汀·金 (Christine Kim)](https://www.galaxy.com/insights/research/ethereum-all-core-developers-execution-call-167/)的注释： ...

文章 为什么AI渗透测试现在对Web3安全至关重要

> AI 已经被集成到 DAO、dApp 和智能合约中。了解为什么 AI 红队是 Web3 网络安全和合规的下一个前沿阵地。 ## 两项强大的技术，一项关键风险 AI 不再是 Web3 的场外看客。 它被嵌入到 DAO 中，为 Discord 机器人提供动力，分析欺诈...