找到约 15 条结果

文章 小技巧：使用 Halmos 实现有状态不变性测试

_编者按：我们经常收到的关于 [Halmos](https://learnblockchain.cn/article/12294/)，a16z crypto 的开源形式化验证工具的常见问题是：“你能用它进行有状态不变性测试吗？”它不支持开箱即用；但在这篇文章中，独立安全研究员 Antonio Viggian...

文章 Balancer 攻击分析

昨天，**2025 年 11 月 3 日**，Balancer 由于精度损失漏洞被攻击，损失超过 **1 亿美元**。 虽然官方的事后分析尚未发布，但大多数池子已经[暂停或被清空](https://x.com/Balancer/status/1985390307245244573)。 这篇文章是我对这次漏洞的分...

文章 推荐的 DeFi 资源网站

> **备注（2025年更新）**: 本章资源列表已根据 2021-2025 年间的行业变化进行更新。部分已关闭的已经删除，标记为 ⚠️ 的项目可能已不太活跃，标记为 ✨ 的是 2021 年后新增的重要资源。 ## 信息与数据平台 ### DeFi 数据追踪 [De...

文章 Silo Finance逻辑错误漏洞修复评审

 ## 摘要 在4月28日，一位知名的白帽黑客@kankodu通过Immunefi负责任地向Silo Finance披露了一个关键的逻辑错误漏洞。该漏洞展示了一个潜在的利用，可能使恶意黑客从Silo池...

文章 Michael.W基于Foundry精读Openzeppelin第25期——IERC1820Registry.sol

### 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...

文章 用 OpenZeppelin 和 Foundry 创建和部署可升级的 ERC20 代币

>- 原文链接：[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...

文章 每周以太坊 2024/06/15

## 核心开发者会议 * [共识层 (ACDC) #135](https://ethereum-magicians.org/t/all-core-devs-consensus-acdc-call-135/20284) Pectra (Prague + Electra) 升级： * **pectra-devnet-1**: 共识层客户端团队预计在 1-2 周内准备就绪，并同意将 committtee 位字段附加到...

文章 每个区块链开发者都应该了解的EVM内部原理 — 第1部分

> 这是多部分系列文章的第一篇：**“每个区块链开发者应该了解的EVM内部原理”。** > > 本系列的目标是帮助开发者超越框架和Solidity语法，真正理解以太坊虚拟机（EVM）如何执行智能合约。我们将涵盖EVM的核心组件，gas如何在...

文章 ethers-rs 后继者 Alloy 发布

>- 原文链接：https://www.paradigm.xyz/2024/06/alloy-release >- 译者：[AI翻译官](https://learnblockchain.cn/people/19584) >- 本文永久链接：[learnblockchain.cn/article…](https://learnblockchain.cn/article/8451) Alloy 到目前为止的故事 ---------------- 一年...

文章 OnchainTestKit：链上应用端到端测试框架

### 使链上应用测试可靠且直接 ### 介绍 测试去中心化应用一直与测试传统的 web 应用有根本的不同。传统的应用处理的是直接的 HTTP 请求和可预测的数据库状态，而链上应用必须驾驭区块链交互的复杂世界：钱包连接、交易批...

文章 合约安全概述

智能合约的安全性是区块链开发中最重要的主题之一。由于智能合约通常管理着大量的资金，且一旦部署就难以修改，任何安全漏洞都可能导致灾难性的后果。 ## 为什么智能合约安全性如此重要 历史上曾发生过很多起重...

文章 Morpho Blue 安全框架：构建最安全的借贷…

 Morpho Blue 安全框架：构建最安全的借贷协议 Morpho 在整个 2023 年，我们都专注于构建世界上最安全的借贷协议。任何协议的安全性都始于最初的想法，并贯穿项目的整个生命周...

文章 Michael.W基于Foundry精读Openzeppelin第13期——Checkpoints.sol

### 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 #### 0.1 Checkpoints.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/utils/Checkpoints.sol Checkpoints库定义了History、Trace224和Trace160结构体。这些结构体中包含了在...

文章 Ethernaut 题库闯关 #22 — Dex 2

今天这篇是Ethernaut 题库闯关连载的第22篇，难度等级: 一般。 欢迎大家订阅专栏：[Ethernaut 题库闯关](https://learnblockchain.cn/column/19)，坚持挑战下去，你的 Solidity代码能力肯定大有提高。 ## 挑战# 22：Dex 2 本关将要求你以...

文章 每周以太坊 2024/02/17

## Dencun（Cancun + Deneb）升级（ [EIP7569](https://eips.ethereum.org/EIPS/eip-7569)） - 最新的所有核心开发者执行（ACDE） [通话视频](https://www.youtube.com/watch?v=UTgnbE6jTuE&t=156s) 。来自 [Tim Beiko](https://twitter.com/TimBeiko/status/1758202852005331339) 和[Chris...