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

30 分钟搭建可升级的 ETH 超额抵押稳定币系统：OpenZeppelin + Chainlink 实战指南

前言基于openzeppelin库实现一个质押稳定币，主要包含稳定币合约、保险合约、以及chailink喂价合约；稳定币和ERC20关联关系一句话总结：ERC20只是通用代币身份证，稳定币是“必须保持价格锚定”的ERC20代币
solibity  Chainlink  Open Zeppelin  稳定币 
  • 木西
  • 发布于 2025-07-19
  • 阅读 ( 696 )
  • ( 25 )

关于加密内存池的局限性——对 a16z Crypto 分析师的回应

本文是Shutter Network对a16z Crypto关于加密内存池局限性分析的回应。Shutter团队认为，虽然加密内存池不是万能的，但它在减少三明治攻击、降低中心化风险和增强以太坊的抗审查性方面具有显著价值，并针对a16z Crypto提出的关于委员会勾结、元数据泄露、交易费用、延迟等问题逐一进行了反驳和回应，强调加密内存池是打击恶意MEV的重要组成部分。
加密内存池  MEV  以太坊  抗审查性  交易隐私  Shutter Network 
  • shutter
  • 发布于 2025-07-18
  • 阅读 ( 21 )

SP1-CC 简介：释放 EVM 的全部力量

Succinct 推出 SP1-Contract-Call (SP1-CC)，这是一个新的 ZK 原语，旨在增强 EVM 的功能。SP1-CC 允许开发者访问历史区块链状态、执行任意的链下 Solidity 逻辑，并通过链上 ZK 证明来验证计算的正确性，从而突破 EVM 的限制，实现更灵活和可扩展的链上应用。
EVM  ZK证明  SP1-CC  智能合约  历史状态  链下计算 
  • Succinct
  • 发布于 2025-07-18
  • 阅读 ( 376 )
  • ( 11 )

Gemini 如何使用 ZeroDev WebAuthn 验证器构建通用智能钱包

ZeroDev 的 Kernel 智能账户基于 ERC-7579 标准构建，具有模块化架构，允许互换组件。Gemini 利用 ZeroDev 的 WebAuthn 验证器插件快速开发了新的智能钱包，该验证器采用“双重模式”密钥验证，在支持 RIP-7212 的链上使用原生 RIP-7212 进行验证，否则回退到 Daimo 的 passkey 实现，从而实现通用地址和较低的 gas 成本。
智能账户  ERC-7579  WebAuthn  RIP-7212  Gas 成本  模块化 
  • zerodev
  • 发布于 2025-07-18
  • 阅读 ( 158 )

ZKStack 跨链架构内幕 — 第一部分：Merkle 树层级结构的深度解析

本文是 ZKStack 协议升级技术结构的探索系列的第一部分，重点介绍了构成 ZKChain 生态系统中安全跨链通信骨干的三个关键 Merkle 树实现：L2ToL1LogsTree、ChainTree 和 SharedTree，并详细解释了它们的构成、大小以及根的用途。
ZKChain  Merkle树  L2ToL1LogsTree  ChainTree  SharedTree  跨链通信 

先发可证明断言 - Layer 2

本文提出了一种扩展 Rollup 灵活性的机制，允许 L2 用户和合约依赖对未来状态的任意断言，只要他们的交易以这些断言最终被证明为条件。文章探讨了 Rollup 通信的背景知识，介绍了 Anchor blocks，Same-slot message passing，以及实现实时 L1 读取、相互依赖的 L2 交易和跨 Rollup 断言的机制，并提供了一个建议的实现框架和示例。
Rollup  L2  L1  Anchor blocks  Same-slot message passing  跨链原子性 

Glamsterdam 方程 - 权益证明

本文提出了“Glamsterdam 方程”，旨在指导在较短的 slot 时间下，延迟执行 (delayed execution) 和 ePBS (enhanced Proposer Builder Separation) 之间的决策。
延迟执行  ePBS  slot 时间  以太坊  信标块  数据传播 

RISE Chain 如何构建链上订单簿的基础设施

RISE Chain 是一个以太坊 Layer 2 解决方案，旨在通过其独特的架构创新，如 Shreds 技术和基于 Ethereum 验证器的排序方式，实现与中心化交易所相媲美的性能，特别是在链上中心限价订单簿（CLOB）方面。RISE Chain 致力于提供超低延迟、高吞吐量和完全的 EVM 兼容性，以支持各种去中心化金融应用。
Layer 2  CLOB  EVM  去中心化金融  以太坊  RISE Chain 
  • gelato
  • 发布于 2025-07-18
  • 阅读 ( 661 )
  • ( 27 )

Uniswap-V1 添加流动性解析

本文将带你深入理解UniswapV1的添加流动性机制，从基础概念到代码实现，循序渐进。📚第一章：基础概念扫盲什么是DeFi和AMM？DeFi：去中心化金融，用智能合约替代传统银行AMM：自动做市商，用数学公式自动定价和交易的系统什么是流动性池？想象一个神奇的双格宝
Uniswap V1 
  • 李楠
  • 发布于 2025-07-18
  • 阅读 ( 638 )
  • ( 21 )

使用 Chainlink CCIP 发送跨链“Hello World”

本文介绍了如何使用 Chainlink CCIP 将数据从一个链发送到另一个链。具体来说，展示了如何使用 Foundry 设置项目，编写一个 Solidity 函数，该函数可以将简单的字符串“hello world”从源链发送到目标链，并解释了关键的 CCIP 概念和函数，例如 `ccipSend` 和 `EVM2AnyMessage` 结构体。
Chainlink CCIP  跨链互操作  Solidity  智能合约  Foundry  EVM2AnyMessage 

solx 编译器彻底消除 "Stack too deep" 错误

本文深入探讨了zkSync的solx编译器如何解决Solidity开发者长期面临的“Stack too deep”错误。Solx通过扩展Solidity的内存布局，引入spill区域，并在LLVM基础设施之上进行优化，实现了比solc `--via-ir`更高效且语义更安全的代码生成，从而彻底消除了该错误，同时保持了合约行为的一致性。
Solidity  zkSync  Solx  编译器  EVM  stack too deep  LLVM  内存Spill 

区块约束共享：多中继包含列表及其他 - 权益证明/区块提议者

本文介绍了多中继包含列表（mrIL），这是一种使中继以最小的开销收敛到单个共享包含列表的方法。这通过减少任何单个中继对包含列表内容行使的自由裁量权来提高以太坊的抗审查性。此外，该协议可以轻松扩展到收敛共享的任何已签名提议者承诺列表，通过允许每个中继以更明智的方式执行区块合规性来最小化此类承诺的削减风险。
中继包含列表  mrIL  抗审查性  以太坊  区块构建  提议者承诺 

Go-ethereum实战笔记：从源码构建一个功能完备的私有测试网络

in  Web3
Go-ethereum实战笔记：从源码构建一个功能完备的私有测试网络与其在时常拥堵、水龙头枯竭的公共测试网上“看天吃饭”，不如在自己的机器上开辟一片绝对掌控的试验田。这篇实战笔记，便是我从零开始，亲手将官方Go-ethereum源码编译成一个功能完备的私有测试网络的完整记录。这里没有晦涩的理论，只
go  以太坊  Ethereum  Web3 

Safe：链上应用的所有权基础设施层

本文主要介绍了Safe从托管解决方案演变为链上所有权和账户基础设施的关键过程，以及Safe的核心协议和模块化账户堆栈。Safe通过模块化架构提供灵活性和可扩展性，通过有效分离交易执行、安全验证和标准支持的设计，实现传统EOA钱包无法实现的复杂功能。Safe生态系统在统一基础设施上连接了200多个应用程序，为用户提供集成的链上体验。
Safe  智能账户  模块化架构  多重签名  链上所有权  账户抽象 
  • 4pillars
  • 发布于 2025-07-16
  • 阅读 ( 341 )
  • ( 11 )

为你的Web3应用选择合适的嵌入式钱包

稳定币交易量超过Visa和Mastercard的总和，钱包供应商Dynamic, Turnkey, Privy正在帮助主流用户和传统金融进入Web3基础设施。Stripe收购Privy和Bridge表明主流金融基础设施与加密货币轨道融合。智能账户通过EIP-7702实现gasless交易、批量操作和熟悉的身份验证。
稳定币  智能账户  EIP-7702  gasless交易  钱包基础设施  Web3 
  • gelato
  • 发布于 2025-07-16
  • 阅读 ( 767 )
  • ( 45 )

展望 2030 年的以太坊

该文章预测了以太坊在2030年的发展方向，核心观点是以太坊将通过L1的优化和rollup技术，支持两种rollup架构：与以太坊深度整合的Aligned Rollup，以及追求高性能的Performance Rollup。文章还分析了以太坊在执行层、结算层、共识层和数据可用性层面的升级，以及这些升级如何影响rollup生态。
以太坊  Rollup  Layer2  EVM  RISC-V  数据可用性 
  • lemniscap
  • 发布于 2025-07-16
  • 阅读 ( 1841 )
  • ( 106 )

以太坊为什么需要提议者-建造者分离（PBS） ？

本文深入探讨了提议者-建造者分离（PBS）的概念及其在以太坊中通过MEV-Boost的实现，旨在缓解最大可提取价值（MEV）带来的负面影响。
MEV  mev-boost  提议者-建造者分离  PBS  区块构建  中继 

内地企业能办理香港稳定币牌照吗？答案来了！

在全球数字金融浪潮汹涌的当下，香港凭借其独特的金融地位和创新的监管举措，成为稳定币市场的焦点。众多内地企业也将目光投向了香港稳定币牌照，那么内地企业究竟能不能办理香港稳定币牌照呢？下面为你详细解答。内地企业申请香港稳定币牌照的可行性根据2025年5月21日通过、8月1日起生效的

Halmos v0.3.0 版本发布亮点

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

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

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