找到约 15 条结果

文章 每周以太坊进展2022/7/23

## POW关闭（合并） * Goerli 是主网之前最后一个测试网合并，[TTD(Terminal Total Difficulty)预计8月9日至11日](https://github.com/ethereum/execution-specs/pull/563) * Goerli-shadow-fork-5 [合并成功](https://twitter.com/abcoathup/status/1550421109199486977) * [Ma...

文章 每周以太坊进展 2022/11/5

## Layer 1 * 最新的共识层[视频会议](https://www.youtube.com/watch?v=GWkhFCvwOT4&t=68s). 来自[Ben Edgington](https://hackmd.io/@benjaminion/SkCPPHZHs) 和 [Christine Kim](https://www.galaxy.com/research/insights/ethereum-consensus-layer-call-97/)的记录: * 在单个无队列...

文章 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...

文章 每周以太坊进展 2023/1/28

## Shapella（上海+Capella）升级 * EF DevOps 启动[具有 605k 验证器](https://twitter.com/BarnabasBusa/status/1618507444971540481)的开发网，测试 BLS 密钥更改 * Withdrawal-mainnet-shadow-fork-1 [即将完成](https://twitter.com/vdwijden/status/1617530244302532615) * ...

文章 UniswapV2 深入解析系列 19：精确输出兑换

# UniswapV2 深入解析系列 19：精确输出兑换 延续第 18 篇对“精确输入兑换”的分析，本章聚焦另一条常被忽略的路径：用户提前锁定想要获得的输出数量，再推导出所需投入的最小代币金额。这类“反向兑换”在做市调仓、偿...

文章 你想知道的关于以太坊智能合约符号执行的一切

作者: [Palina Tolmach](https://twitter.com/palinatolmach) 形式验证技术被广泛认为是一个可靠但复杂的方法，可以严格确保智能合约的安全性和正确性。其中一种技术是符号执行，它允许用户检查程序的执行是否 _可能_ 违反某个属性或...

文章 如何审计复杂的DeFi协议：分而治之方法论

保护一个单体智能合约代码库不仅仅是一个代码审查任务；它是一个系统性的工程挑战。随着 DeFi 协议演变成借贷市场、收益聚合器和跨链桥的网状结构，线性地阅读代码不足以保证安全性。 ![混乱的智能合约审计——Pepe Silvia...

文章 Alloy v1.0 发布：EVM 最简单、最快速的 Rust 工具包

概要 - [1. 立即试用 Alloy v1.0](#3fc3816c7e9d) - [1. 改进的文档](#c152a1c36761) - [2. 稳定性和可靠性](#1ab4b16af122) - [3. 为什么你应该使用 Alloy？](#6db12897cc0d) - [4. 直观的智能合约交互](#07406b6cf550) - [5. 极速的原始类型](#613a1826de0a) - [1. 更...

文章 打造智能，赢得大奖：ETHIndia 黑客松指南

 ## 精明构建，赢得丰厚：ETHIndia Hackathon 指南 本文最初发表在 [BuildBear Tutorials](https://www.buildbear.io/blogs/ETHIndia_hackathon_tips)。 欢迎来到 ETHIndia Hackathon 的初学者指南！...

文章 每周以太坊进展 2021/12/31

## 主网 * [Akula](https://medium.com/@vorot93/meet-akula-the-fastest-ethereum-implementation-ever-built-58eaca244c39)客户端预览版问世，用Rust编写，目前可以与Erigon一起运行同步，在不到24小时内完成从创世块的当前区块完全验证，支持Apache 2.0 * [账...

文章 将私有仓库添加到Recon

2024年5月2日 ## 介绍 使用 Recon 的免费版本，你可以为任何公共 Foundry 存储库构建测试处理程序。Recon 的专业版在此基础上进行了扩展，允许你为任何私人存储库构建测试处理程序，并使用 webhooks 自动在这些存储库上运行作业...

文章 从构想到实施：创建一个用于智能合约的Solidity Gas优化器

 一个高性能的自动化工具，可优化 Solidity 智能合约中的 gas 使用，重点关注存储和函数调用效率。 本文探讨了 [Xian Lin](https://github.com/xianlinc) (CHAD dev) 和 [我](https://github.com/yongka...

文章 每周以太坊 2024/09/21

## 核心开发者会议 * [All Core Devs – Consensus (ACDC) #142](https://ethereum-magicians.org/t/all-core-devs-consensus-acdc-142-september-19-2024/21086): * [Pectra-devnet-3](https://pectra-devnet-3.ethpandaops.io/): 由坏块模糊测试器发现的问题正在调试中 * P...

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

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

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

_Author: Chandrakana Nandi_ _Editors: Sameer Arora, Thomas Adams_  当开发者编写测试时，他们经常考虑可能引入的常见逻辑错误或未能处理的边界情况。但是对于他们**没有**考虑到的...