> * 原文链接： https://runtimeverification.com/blog/using-foundry-to-explore-upgradeable-contracts-part-1 > * 译文出自：[登链翻译计划](https://github.com/lbc-team/Pioneer) > * 译者：[翻译小组](https://learnblockchain.cn/people/412) 校对：[Tiny 熊](https://learnblockchai...
## 介绍 在本文中，我想揭示为什么在项目中实施模糊测试（fuzzing）和形式化验证（formal verification）不仅重要，而且对你的成功至关重要。这些先进的安全技术已成为 Uniswap、Optimism 和 Aave 等行业巨头的黄金标准。原因何在？在...
Chainlink Data Feeds 是区块链开发者连接智能合约与现实世界数据的桥梁，提供去中心化、可靠的外部数据源，广泛应用于去中心化金融（DeFi）、NFT、保险等领域。本文将通过实际代码示例，带你一步步实现 Chainlink Data Feeds 在以太...
EIP-4788是一项提议通过扩展以太坊共识层（Beacon Chain）和执行层之间的通信方式来增强去中心化应用（DApps）和协议的能力。其目标是通过将信标链的状态信息暴露给执行层智能合约，使更多的链上交互变得可能。 ## **一、EIP...
_编者按：我们经常收到的关于 [Halmos](https://learnblockchain.cn/article/12294/)，a16z crypto 的开源形式化验证工具的常见问题是：“你能用它进行有状态不变性测试吗？”它不支持开箱即用；但在这篇文章中，独立安全研究员 Antonio Viggian...
作者: [Palina Tolmach](https://twitter.com/palinatolmach) 形式验证技术被广泛认为是一个可靠但复杂的方法，可以严格确保智能合约的安全性和正确性。其中一种技术是符号执行，它允许用户检查程序的执行是否 _可能_ 违反某个属性或...
昨天，**2025 年 11 月 3 日**，Balancer 由于精度损失漏洞被攻击，损失超过 **1 亿美元**。 虽然官方的事后分析尚未发布，但大多数池子已经[暂停或被清空](https://x.com/Balancer/status/1985390307245244573)。 这篇文章是我对这次漏洞的分...
> **备注（2025年更新）**: 本章资源列表已根据 2021-2025 年间的行业变化进行更新。部分已关闭的已经删除，标记为 ⚠️ 的项目可能已不太活跃，标记为 ✨ 的是 2021 年后新增的重要资源。 ## 信息与数据平台 ### DeFi 数据追踪 [De...
 ## 摘要 在4月28日，一位知名的白帽黑客@kankodu通过Immunefi负责任地向Silo Finance披露了一个关键的逻辑错误漏洞。该漏洞展示了一个潜在的利用，可能使恶意黑客从Silo池...
## 核心开发者会议 * [共识层 (ACDC) #135](https://ethereum-magicians.org/t/all-core-devs-consensus-acdc-call-135/20284) Pectra (Prague + Electra) 升级： * **pectra-devnet-1**: 共识层客户端团队预计在 1-2 周内准备就绪，并同意将 committtee 位字段附加到...
### 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 ### 1. IERC1820Registry.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/utils/introspection/IERC1820Registry.sol IERC1820Registry.sol是global ERC1820 Registry的接口文件。ERC1820 R...
> 这是多部分系列文章的第一篇：**“每个区块链开发者应该了解的EVM内部原理”。** > > 本系列的目标是帮助开发者超越框架和Solidity语法，真正理解以太坊虚拟机（EVM）如何执行智能合约。我们将涵盖EVM的核心组件，gas如何在...
智能合约的安全性是区块链开发中最重要的主题之一。由于智能合约通常管理着大量的资金，且一旦部署就难以修改，任何安全漏洞都可能导致灾难性的后果。 ## 为什么智能合约安全性如此重要 历史上曾发生过很多起重...
>- 原文链接：[Deploy an Upgradeable ERC20 Token](https://learnblockchain.cn/article/15160-development/smart-contracts/how-to-create-and-deploy-an-upgradeable-erc20-token#create-the-erc-20-upgradeable-token-smart-contract) >- 译文出自：[登链翻译计划](https://github.com/lbc-team/Pione...
今天这篇是Ethernaut 题库闯关连载的第22篇，难度等级: 一般。 欢迎大家订阅专栏：[Ethernaut 题库闯关](https://learnblockchain.cn/column/19)，坚持挑战下去，你的 Solidity代码能力肯定大有提高。 ## 挑战# 22：Dex 2 本关将要求你以...