全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

Halmos v0.3.0 版本发布亮点

Halmos v0.3.0 发布，这是一个用于 EVM 智能合约的符号测试工具，通过符号执行来帮助发现错误和验证合约行为。此版本主要增加了对状态不变性测试的支持，并添加了覆盖率报告、性能改进、更好的求解器支持等功能。Halmos 现在可以查找以 `invariant_` 前缀开头的测试，并自动探索目标合约的状态，断言所有不变性条件，并报告任何失败。
EVM  智能合约  符号执行  测试  Solidity  Yices 

智胜Mempool掠夺者：对抗以太坊智能合约中的抢跑交易和恶意干扰攻击

本文深入探讨了以太坊智能合约中抢跑交易和恶意干扰攻击的原理、风险及应对措施。文章通过分析实际案例和提供代码示例，展示了如何利用承诺-揭示方案、时间锁、访问控制和熔断机制等技术手段，来保护智能合约免受攻击，确保交易的公平性和合约的稳定性。
前置交易  恶意干扰  智能合约  以太坊  承诺-揭示方案  安全 

30 行 Solidity 把现实房租变成 USDC 现金流：RWA 版「链上乐高」

前言30行Solidity，把一间收租公寓变成链上印钞机：完整开发、部署、测试实战；【业务场景全景图】角色：托管人（房东/资管公司）、投资人、租客、链上合约资产上链•托管人拥有一套月租3000USDC的公寓，估值30万USDC。•在链上一次性铸造1000
RWA  solibity  智能合约 
  • 木西
  • 发布于 2025-07-14
  • 阅读 ( 626 )
  • ( 26 )

以太坊 - Note of ERC-7579 - Ethtaipei

本文介绍了ERC-7579，一种最小化的模块化智能合约账户实现，它通过定义不同类型的模块（如验证模块、Hook 模块）和账户规范，简化了账户的互操作性和开发门槛。ERC-7579可以与ERC-4337集成，允许EOA直接操作账户，并通过安装第三方模块扩展账户功能。
ERC-7579  模块化智能合约账户  模块  验证模块  Hook 模块  账户规范 

ePBS 与 FOCIL 兼容性

本文探讨了ePBS（EIP-7732）和FOCIL（EIP-7805）的集成，认为两者可以无冲突地结合。文章重点讨论了确保两者在实践中兼容的关键设计因素，强调了即使Inclusion Lists (ILs) 不是基于最新的链上头部构建，仍然有效，以及在ePBS中，可以通过拒绝不合规的payload来强制执行IL条件，而不会影响信标链的稳定性。
ePBS  FOCIL  EIP-7732  EIP-7805  Inclusion Lists  以太坊 

发布 L1 zkEVM #1：实时证明

以太坊正全力投入 ZK 技术，目标是在所有层面上使用 ZK 证明，首要步骤是实现 L1 zkEVM。通过让验证者选择运行验证多个 ZK 证明的客户端，并标准化实时证明的定义，以太坊基金会希望在一年内实现 L1 zkEVM，并鼓励 zkVM 团队朝着实时家庭证明方向创新。
zkEVM  零知识证明  L1  实时证明  验证器  以太坊 

以太坊基金会生态系统发展的未来

以太坊基金会（EF）正在重组其生态系统发展（EcoDev）工作，重点关注四个关键领域：生态系统加速、生态系统放大、生态系统支持和长期生态系统畅通。旨在通过与开发者、创始人、企业合作加速生态增长，通过媒体、活动等放大影响，并提供资金和运营支持。同时，关注政策、机构和学术合作，以消除采用障碍，推动以太坊生态系统的稳健发展。
以太坊  生态系统发展  生态系统加速  生态系统放大  Grant资助  开发者 

Etherspot 周报：Vitalik 的警告、Circle Gateway USDC、Securitize TSSO预言机、PillarX链抽象…

本文是Etherspot发布的每周技术摘要，涵盖了Circle推出的链抽象USDC的Circle Gateway、Vitalik Buterin对以太坊中心化风险的警告、由Etherspot Pulse驱动的PillarX链抽象解决方案演示、Particle Network的Web3碎片化报告，以及Securitize与RedStone合作推出的可信单源预言机（TSSO）。
链抽象  账户抽象  以太坊  预言机  USDC  DeFi 
  • etherspot
  • 发布于 2025-07-10
  • 阅读 ( 1024 )
  • ( 61 )

使用Ethers.js在以太坊上创建和验证铭文

前言本文将详细介绍如何利用Ethers.js库来创建个性化的区块链铭文，并深入探讨铭文技术的各项特性比特币相关概念总量：2100万枚最小单位：聪（sat）单位换算表单位中文名称英文名称换算关系BTC
ethers.js  铭文  Etherscan 
  • 木西
  • 发布于 2025-07-09
  • 阅读 ( 893 )
  • ( 39 )

EIP-7983：以太坊的新 Gas 上限为何可能改变网络安全格局

EIP-7983 提案建议将以太坊交易的 gas 消耗上限设置为 1677 万，旨在解决安全漏洞并为零知识虚拟机（zkVMs）开辟新机会。此举通过限制单个交易的资源占用，增强了网络稳定性和安全性，并促进了 zkVM 在以太坊上的应用和优化。
以太坊  EIP-7983  gas 限制  零知识虚拟机  zkVM  交易安全 

以太坊客户端支持部分历史数据过期 - 公告

以太坊执行客户端现在支持部分历史过期，允许用户通过移除合并前的区块数据来减少磁盘空间占用，大约可以减少300-500GB。文章还介绍了历史数据的使用场景、权益证明中区块验证的变化、历史数据的可用性保障以及各个客户端的具体命令。
历史过期  以太坊客户端  区块数据  磁盘空间  权益证明  Geth  Nethermind  Besu  Erigon  reth 

ERC721与ERC721A：NFT标准的对比与特性分析

前言本文主要介绍ERC721和ERC721A的特性和方法，ERC721和ERC721A都是以太坊上的非同质化代币（NFT）标准，但它们在实现方式和特性上存在一些区别：数据结构ERC721：每个tokenId都单独记录其所有者信息，逻辑清晰，但存在数据冗余。ERC721A：采用惰性初始化
Solidity  ERC721  ERC721A  Web3 
  • 木西
  • 发布于 2025-07-08
  • 阅读 ( 752 )
  • ( 28 )

Blob公证人：用于扩展DA的分片分布式Blob发布设计

该提案旨在通过引入“Blob Notaries”委员会来优化以太坊的blob数据传播。Blob Notaries负责验证和证明blob数据的可用性，生成blob证书，并将数据分片发布到CL。此方法旨在解决当前blob mempool的瓶颈问题，提高blob交易吞吐量，并降低交易成本，同时兼容ePBS等未来升级。
Blob Notaries  Blob 证书  数据可用性  分片  以太坊  ePBS 

第三部分：保护智能合约免受捐赠攻击：安全 ETH 处理指南

本文主要介绍了以太坊智能合约中一种隐蔽的攻击方式：捐赠攻击（Donation Attacks）。攻击者通过直接向合约地址发送以太币，绕过合约预期的入口点，导致合约内部状态变量与实际余额不一致，从而引发会计错误、拒绝服务等问题。文章分析了攻击原理、展示了易受攻击的合约代码，并提供了安全的合约实现方案，强调应明确追踪以太币流入、拒绝意外存款，以及使用熔断器等机制。
智能合约  捐赠攻击  以太坊  安全漏洞  Solidity  重入攻击 

EVM 局限性与汇编审计技巧

本文作者分享了以太坊虚拟机(EVM)的局限性以及在进行智能合约安全审计时的一些技巧，内容涵盖合约bytecode大小限制、gas优化、setter检查、循环检查、时间戳/区块依赖以及汇编检查等方面，旨在帮助开发者编写更安全、更高效的智能合约，并避免潜在的安全漏洞。
EVM  智能合约  安全审计  bytecode  gas优化  汇编 

OP 中文周刊#65: Superstacks 即将发放奖励，超级链数据，Base Onchain Summer

in  Optimism 中文周刊
😎✨关键信息，唾手可得；最新动态，尽在掌握；英明决策，水到渠成！gm👋🏻乐观集体的公民们，欢迎回到Optimism中文周刊❤️本周是第#65期！本期的内容有：贴心提示：我们正在准备OP中文月刊，将会囊括当月中Optimism乃至超级链最精彩的活动和内容，敬请期待

GSN 策略 - OpenZeppelin 文档

本文介绍了如何使用 OpenZeppelin Contracts 通过 Gas Station Network (GSN) 接受中继调用，详细解释了 GSN 策略的概念，并展示了两种常见策略 `GSNRecipientSignature` 和 `GSNRecipientERC20Fee` 的用法，最后介绍了如何创建自定义策略以满足不同的业务需求，通过继承 `GSNRecipient` 并实现相应函数即可。
Gas Station Network  GSN  OpenZeppelin Contracts  中继调用  签名  ERC20代币 

超越比特币：以太坊作为企业财务资产

本周的周报涵盖了 Robinhood 即将推出的layer2区块链Robinhood Chain和股票代币化计划，比较了 Robinhood 在欧盟提供的永续期货产品与 Coinbase 在美国提供的类似产品，并解释了 SEC 为简化 ETF 审批流程所做的努力。此外，还讨论了以太坊的 Pectra 升级对 rollup 的影响，以及其他加密领域的新闻。
Robinhood  代币化  永续合约  Coinbase  SEC  ETF 
  • Galaxy
  • 发布于 2025-07-05
  • 阅读 ( 428 )
  • ( 27 )

流动性再质押代币 #1 - 流动性质押代币 vs 流动性再质押代币

本文是关于流动性再质押代币（LRTs）的系列文章的第一部分，主要介绍了LRTs的概念，它是在以太坊的再质押模式下新兴的DeFi原语。LRTs结合了流动性质押和再质押的概念，允许用户的质押资产同时保护多个协议，并保持流动性和可交易性。文章还对比了流动性质押代币（LSTs）和LRTs的关键区别，包括安全范围、流动性和可交易性、奖励来源以及复杂性和风险。
流动性质押代币  LST  流动性再质押代币  LRT  再质押  EigenLayer 

【引介】 Foundry MCP 服务

该文章介绍了一个 Foundry MCP Server，它是一个轻量级的 MCP (Model Context Protocol)服务器，旨在利用 Foundry 工具链（Forge, Cast, Anvil）为 LLM 提供 Solidity 开发能力。通过该服务器，LLM助手可以与节点交互、分析智能合约和区块链数据、执行EVM操作、管理和部署Solidity代码等。
Foundry  MCP  Solidity  Forge  cast  anvil