《Web3 探门路半月刊》

2026年4月16日 – 4月30日

"追踪 Web3 世界的架构创新、密码学突破与协议演进"

一、本期最重要的 5 个趋势

每个趋势回答四个问题:发生了什么为什么重要对未来 Web3 架构意味着什么对你的"全球智能合约计算机"愿景有什么启发

趋势 1  隐私从"可选功能"升级为"架构核心"——全栈隐私浪潮

发生了什么

这半个月,隐私不再是密码朋克的口号,而是变成了每一层架构的工程问题:

  • Vitalik Buterin(4月2日博客)公开了他的"自主主权/本地/隐私/安全"LLM 方案——在 NVIDIA 5090 上本地运行 Qwen3.5-35B 模型,配合 NixOS + bubblewrap 沙箱隔离,将 AI 视为不可信组件。这不是在讨论聊天机器人,而是在示范:任何强大但不可信的计算模块(包括 ZK 证明器),都应该用沙箱隔离 + 最小权限原则来处理。
  • Vitalik 的 2026 路线图进一步确认:ZK-EVM、BAL(Block-level Access Lists)、Helios 轻客户端、ORAM(遗忘随机访问存储)、PIR(私有信息检索)将共同构成 Ethereum 的隐私基础设施。注意这些技术分布在执行层、状态访问层和网络层——这是全栈隐私
  • Optimism 推出 Privacy Boost(由 Sunnyside Labs 开发)——在 OP Stack 上结合 ZK 证明 + TEE(可信执行环境)实现私有交易。这是 L2 层面第一个生产级隐私方案。
  • Starknet v0.14.2 发布了 STRK20(隐私 ERC-20 标准)和 strkBTC(Starknet 上的隐私比特币),并内置合规层。隐私和合规不再对立。
  • LUCID(ethresear.ch)提出加密内存池方案,通过分布式载荷传播保护交易内容。这解决的是交易提交前的隐私问题——MEV 攻击的源头。
  • a16z 的投资论断:"隐私将是加密领域最重要的护城河"——跨链传递秘密信息极其困难,这会造成链级别的锁定效应和赢家通吃格局。

为什么重要

过去,隐私被当作"锦上添花"的功能,通常由第三方 Mixer 或独立隐私链提供。现在我们看到一个根本性的认知转变:隐私必须嵌入架构的每一层——执行引擎、内存池、状态访问、数据可用性、甚至 AI 辅助计算。没有一个单一的"隐私模块"能解决全部问题。

对未来 Web3 架构意味着什么

架构师需要在设计之初就将隐私视为一等公民。这意味着:加密内存池是默认的,状态访问是可控的(ORAM/PIR),执行是可验证但不可见的(ZK),外部组件是沙箱隔离的。后加隐私功能的架构将在竞争中处于劣势。

对你的"全球智能合约计算机"的启发

架构启发

你的计算机必须从第零层就设计隐私原语。不要寄希望于"以后加一个隐私层"。参考 Vitalik 的全栈模型:执行层(ZK-EVM)、状态层(ORAM/BAL)、网络层(加密内存池)、外围层(沙箱隔离)——每一层都有独立的隐私机制,但共同构成防御纵深。

趋势 2  账户抽象与 Frame Transaction 重新定义交易模型

发生了什么

  • EIP-8141 Frame Transaction:由 Vitalik Buterin、lightclient、Felix Lange、Yoav Weiss 等人联合提出,引入全新交易类型(0x06),一笔交易包含多个"帧"(Frame),分为 DEFAULT、VERIFY、SENDER 三种模式。这实现了可编程验证、无需 Bundler 的 Gas 赞助、原子批处理操作,以及后量子就绪(不依赖 ECDSA 签名)。普通 EOA(外部拥有账户)原生获得账户抽象能力,无需委托。
  • EIP-7702 自 Pectra 升级(2025年5月)以来已上线:允许 EOA 临时表现为智能合约。MetaMask、Rainbow、Coinbase Wallet 已开始集成。
  • Hegotá 升级(Glamsterdam 之后的下一次升级)已确认:共识层主打 FOCIL,账户抽象作为次要特性集。
  • Agent 标准爆发:ERC-8004(Trustless Agents)、ERC-8183(Agentic Commerce)、ERC-8210(Agent Assurance)、ERC-8196(AI Agent Authenticated Wallet)——一波 AI Agent 导向的标准正在涌现。

为什么重要

Frame Transaction 自以太坊诞生以来对交易模型最激进的重构。当前 Ethereum 的交易模型本质上还是比特币时代的延续:一个签名、一次调用、一个付费者。Frame Transaction 将一笔交易拆解为多个独立的帧,每个帧可以有不同的验证逻辑、不同的执行目标、不同的 Gas 支付来源。这不是小修补,这是交易"原子单元"定义的重新设计。

对未来 Web3 架构意味着什么

交易模型是区块链的"CPU 指令集"——它定义了计算机能做什么、怎么做。Frame Transaction 意味着未来的链可以支持任意签名方案(包括后量子方案)、原生 Gas 抽象(无需中继器)、以及多操作原子组合。同时,Agent 标准的爆发预示着区块链的用户可能不再是人类,而是 AI 代理。

对你的"全球智能合约计算机"的启发

架构启发

从一开始就设计多帧交易模型。不要假设"一笔交易 = 一个签名 + 一次调用"。你的计算机应该原生支持:(1) 可插拔的验证方案(为后量子做准备),(2) 付费者和执行者分离(Gas 抽象),(3) 多操作原子批处理。这不是"高级功能",而是基础交易格式。

趋势 3  Rollup 碎片化的终结——同步可组合性与 Ethereum Economic Zone

发生了什么

  • Ethereum Economic Zone(EEZ)在 EthCC Cannes(3月29日)宣布:由 Gnosis、Zisk(Jordi Baylina)和 Ethereum Foundation 联合推动。目标:通过 ZK 证明的实时状态预计算,让 60+ 条 Rollup 像一条链一样运作
  • L2 TVL 合计突破 $45B。Arbitrum 领跑 DeFi($7.8-18B TVL),Base 领跑用户(420万日活),Optimism + Superchain 合计 6800万笔日交易。
  • jbaylina/sync-rollups(GitHub 仓库):同步 Rollup 的智能合约实现——通过 ZK 证明实现原子跨 Rollup 调用(在单个 L1 区块内完成)、跨 Rollup 闪电贷、统一流动性。
  • Optimism 质押排序实验:Phase 1(FIFO 模式,质押 100k OP)和 Phase 2(质押加权乘数,上限 3x)。这是 OP Mainnet有史以来第一次改变交易排序规则

为什么重要

碎片化是当前多 Rollup 架构的头号架构挑战。用户和资产分散在 60+ 条链上,每条链是一个孤岛。EEZ 的同步可组合性方案提出了一种激进但可行的路径:在 L1 区块内,通过 ZK 证明预计算多条 Rollup 的状态转换,实现原子级跨链调用——就像它们是同一台机器上的不同线程。

对未来 Web3 架构意味着什么

如果同步可组合性成功落地,Rollup 生态将从"多链宇宙"变成"多核处理器"。每条 Rollup 不再是独立的链,而是同一台计算机的不同执行分片。这需要实时证明系统、统一的状态锁定协议、以及 L1 层面的协调机制。

对你的"全球智能合约计算机"的启发

架构启发

你的"全球计算机"本质上需要的就是同步可组合性——多个执行单元像一台机器一样运行。EEZ 的 ZK 实时证明方案提供了一个具体的实现路径。你应该深入研究 jbaylina/sync-rollups 的合约设计,理解它如何在 L1 区块级别协调多个执行环境。

趋势 4  后量子密码学迁移进入实战阶段

发生了什么

  • Solana Foundation(4月27日)确认选择 Falcon 作为后量子签名方案。Anza 和 Firedancer 两个独立客户端团队分别评估后得出了相同结论。三阶段迁移路线图已公布。
  • EIP-8141 Frame Transaction 明确为后量子设计——不依赖 ECDSA,账户可自选密码学方案。
  • Ethereum Research 论坛讨论:"如果后量子以太坊根本不需要签名呢?"——探索基于 ZK 的替代方案。
  • Trail of Bits(4月17日):击败了 Google 的量子密码分析零知识证明——将量子电路资源估算从 17M 操作减少到 8.3M,Toffoli 门数从 2.1M 降为 0。同时发现了 Google 的 Rust 证明器代码中的内存安全和逻辑漏洞。
  • Falcon-512 签名性能:666 字节(同等安全级别下比 ML-DSA 小 3.6 倍),ARMv8-A 上验证速度快 3-4 倍。
  • Google + UC Berkeley + Ethereum Foundation + Stanford 联合论文:估算破解椭圆曲线密码学的量子电路成本——在第一代量子计算机上估计需要 9 分钟。

为什么重要

后量子不再是论文里的理论问题。Solana 已经选定方案并启动迁移,Ethereum 的 Frame Transaction 已经为后量子做好架构预留。关键数据点:破解 ECDSA 可能只需 9 分钟。虽然这需要尚不存在的大规模量子计算机,但密码学迁移通常需要 5-10 年——而你的 5 年计划恰好在这个窗口内。

对未来 Web3 架构意味着什么

所有主流链都将在未来 3-5 年完成后量子迁移。Falcon 正在成为区块链领域的事实标准(Algorand 已原生支持 falcon_verify 操作码,Solana 选定 Falcon)。同时,ZK 证明系统作为签名的替代方案也在讨论中。

对你的"全球智能合约计算机"的启发

架构启发

不要等着"以后迁移",直接设计为后量子原生。具体策略:(1) 签名方案可插拔(参考 Frame Transaction 的设计),(2) 默认支持 Falcon-512,(3) 同时预留 ZK-based 身份验证路径。5 年后,不支持后量子的链将被视为不安全。

趋势 5  zkVM 的"真 ZK"觉醒与证明系统多元化

发生了什么

  • a16z 的 Jolt zkVM 实现了真正的零知识——通过 NovaBlindFold 技术,在保持简洁性的同时增加了隐私保护。仅增加 3KB 证明大小,不增加证明时间,不需要可信设置。此前,大多数 "zkVM" 实际上只有简洁性(Succinctness),没有零知识性(Zero Knowledge)——"zk" 名不副实。
  • Succinct SP1 v6 "Hypercube":全新的多线性证明系统,采用先进的多项式承诺方案和优化递归。
  • Scroll 从 Halo2 EVM 电路迁移到 OpenVM RISC-V zkVM(Euclid 升级)——从专用电路方案转向通用 RISC-V 虚拟机方案,这是证明管线的根本性变革。
  • Starknet v0.14.2:Stwo 证明验证在 Starknet 内部运行。路线图指向 v0.15 的去中心化验证。
  • LitVM:莱特币的第一个 EVM Rollup,使用 SP1 zkVM + Arbitrum Orbit + Espresso 排序器。

为什么重要

两个关键变化正在发生。第一,"zkVM" 终于开始名副其实——Jolt 的 NovaBlindFold 证明了在不牺牲性能的情况下实现真正的零知识是可行的。第二,行业正在从专用 EVM 电路(Halo2 style)收敛到通用 RISC-V zkVM(Jolt、SP1、OpenVM)。Scroll 的迁移是标志性事件。

对未来 Web3 架构意味着什么

证明系统正在快速多元化:Jolt(sum-check based)、SP1(multilinear)、Stwo(STARK)各有不同的权衡。没有单一的"最优"证明系统。未来的架构需要对底层证明系统保持抽象——能够根据场景切换或聚合不同的证明系统。

对你的"全球智能合约计算机"的启发

架构启发

两条设计原则:(1) 证明系统无关性——你的架构不应绑定任何特定的证明系统,而是定义清晰的证明接口,允许热切换和聚合。Scroll 从 Halo2 到 RISC-V zkVM 的迁移是一个警示:如果架构与证明系统耦合太深,迁移成本极高。(2) 真正的零知识——不要满足于"简洁但不隐私"的证明,NovaBlindFold 证明了二者可以兼得。

二、关键研究论文 / 技术文章

以下是本期最值得精读的 10 篇论文和技术文章。每篇标注核心思想、技术贡献和对未来架构的潜在影响。

#

标题

核心思想

技术贡献

对未来架构的影响

1

Enshrined PBS in the Presence of MEV (arXiv:2601.12989, Yitian Wang 等, 2026年1月)

结合数学分析与 Agent 仿真模拟,构建了评估 ePBS 拍卖机制的形式化框架

揭示 ePBS 将利润集中度从 Gini 0.1749 推高到 0.8358;95.4% 的区块价值归于 Proposer

警告:朴素 ePBS 可能加剧中心化而非缓解。需要替代性机制设计

2

Vitalik: My Self-Sovereign LLM Setup (博客, 2026年4月2日)

本地运行 Qwen3.5-35B + NixOS 沙箱 + 最小权限守护进程,将 AI 视为不可信组件

实际演示了自主主权 AI 计算:输入消毒、bubblewrap 隔离、本地工具访问守护进程

"不可信但强大"组件(AI、ZK 证明器)的安全集成蓝图

3

Trail of Bits: 击败 Google 的量子密码分析 ZK 证明 (2026年4月17日)

发现 Google Rust 证明器的内存安全和逻辑漏洞,利用漏洞伪造更优的 ZK 证明

总操作数 17M→8.3M,Toffoli 门数 2.1M→0,量子比特 1425→1164

ZK 证明系统存在独特攻击面——验证代码 Bug 可被用于伪造证明

4

a16z: Jolt 实现真正的零知识 (NovaBlindFold, 2026年3月3日)

NovaBlindFold 技术在 sum-check 证明器上添加真正的 ZK,无需 SNARK 递归或可信设置

仅增加 3KB 证明大小、零证明时间开销;盲化承诺实际上还压缩了证明

隐私保护的通用计算不再有性能代价

5

EIP-8141: Frame Transaction (Vitalik 等, 2026年1月29日)

新交易类型 0x06,多帧结构支持可编程验证、执行和 Gas 支付

原生账户抽象、后量子就绪、原子批处理、无 Bundler 的 Gas 赞助

定义了未来账户和交易的工作方式——以太坊交易模型最根本的变革

6

Optimism: 质押排序实验 (2026年4月16日)

OP Mainnet 首次改变交易排序规则——质押 OP 获得块顶位置

两阶段实验:Phase 1 FIFO + Phase 2 质押加权(3x 上限乘数 + 时间因子)

探索 PGA 之外的区块空间分配机制——数据驱动的排序器机制设计

7

EEZ / 同步可组合性 via 实时证明 (ethresear.ch)

链下预计算状态转换 + ZK 证明加载 → 单个 L1 区块内的原子跨 Rollup 调用

jbaylina/sync-rollups 合约:跨 Rollup 闪电贷、统一流动性

可能解决 L2 碎片化——让多条 Rollup 表现为单一执行环境

8

Ethereum Foundation Checkpoint #9 (2026年4月10日)

Glamsterdam(ePBS + BAL + Gas 重定价)和 Hegotá(FOCIL + 账户抽象)进展更新

ePBS 实现"几乎触及所有组件";BAL 是对 Gas 和状态访问的根本性重新思考

直接塑造所有 L2 继承的基础层

9

FOCIL (EIP-7805): 分叉选择强制包含列表

基于委员会的机制——验证者强制包含交易以保障抗审查性

同槽包含、条件包含、无激励机制(1-of-N 诚实假设)

任何"可信中立世界计算机"的关键反审查基础设施

10

Falcon: 格基数字签名算法 (Mike Mu, 2026年1月; Hacken 分析, 2026年3月)

基于 NTRU 格的签名方案,Falcon-512 仅 666B(同安全级别比 ML-DSA 小 3.6 倍)

Algorand 已发布原生 falcon_verify 操作码;Solana 选定 Falcon 进行迁移

Falcon 正在成为区块链后量子迁移的事实标准

📖 精读建议

如果时间有限,优先精读 #5 EIP-8141(理解未来交易模型)、#4 NovaBlindFold(理解真 ZK 如何实现)和 #7 同步可组合性(理解全球计算机的核心架构)。这三篇直接关系到你的 5 年目标。

三、协议更新与架构演进

3.1 重大 EIP 追踪

EIP/ERC

名称

状态

核心意义

EIP-8141

Frame Transaction

草案/讨论中

原生账户抽象 + 后量子就绪,最重要的交易模型变革

EIP-7805

FOCIL

Hegotá 共识层主打

分叉选择强制包含列表——反审查核心机制

EIP-7954

合约大小上限提升

Glamsterdam 优先

允许更复杂的链上逻辑

ERC-8004

Trustless Agents

趋势中

AI Agent 链上标准——无信任代理协议

ERC-8183

Agentic Commerce

趋势中

AI 代理商业交易标准

ERC-8210

Agent Assurance

趋势中

AI 代理行为保证机制

ERC-8196

AI Agent Wallet

趋势中

AI 代理认证钱包

ERC-8222

Lean Staking

趋势中

轻量化质押标准

EIP-7708

ETH transfers emit log

趋势中

ETH 转账原生产生日志事件

EIP-8037

状态创建 Gas 成本提升

趋势中

控制状态膨胀的经济手段

观察

Agent 相关的 ERC 标准密集涌现(8004/8183/8210/8196),反映了行业对"AI 代理上链"的强烈预期。但要警惕标准过度膨胀——其中很多可能无法沉淀为真正的基础设施标准。需要持续追踪哪些获得了实际实现。

3.2 L2 架构变化

Optimism 生态

  • 质押排序实验已在 Sepolia 上线,主网分阶段推出。Phase 1(FIFO + 100k OP 质押),Phase 2(质押加权 + 3x 上限乘数 + 时间因子)。
  • Privacy Boost:ZK + TEE 方案,通过 Sunnyside Labs 为 OP Stack 提供私有交易能力。
  • Superchain + OP Stack 链合计日交易量 6800 万笔

Scroll

  • Euclid 升级:从 Halo2 EVM 电路迁移到 OpenVM RISC-V zkVM——证明管线的根本性变革。这标志着 EVM 电路方案在 zkEVM 领域的退场。

Starknet

  • v0.14.2:Stwo 证明验证在 Starknet 内部运行;L1 终局性 3 小时。STRK20(隐私 ERC-20)和 strkBTC(隐私比特币)框架上线。
  • v0.14.3(2026年5月预计):稳定费用结构,吞吐量翻倍(不含并行化)。
  • v0.15(2026年9月预计):去中心化验证 + <1.5 小时终局性。

其他

  • Polygon:计划在 2026 年关闭 Polygon zkEVM Mainnet Beta。
  • LitVM:莱特币首个 EVM Rollup(Arbitrum Orbit + SP1 zkVM + Espresso 排序器)。
  • L2 TVL 合计:$45B+。Arbitrum 领跑 DeFi,Base 领跑用户(420 万 DAU),Optimism 领跑治理。

3.3 DA 层新进展

项目

进展

关键指标

Celestia

V8 "Hibiscus" 跨链转账在 Mocha 测试网运行;下一次升级目标 3 秒出块 + 32MB 块大小;"Fibre" 迭代目标 1 GB/s 吞吐

Everstake 退出 Celestia 质押(值得关注的信号)

EigenDA

通过 DAC 模型达到 100MB/s 吞吐;EigenLayer 生态 $14-15B TVL、20+ AVS、200+ 运营商

100MB/s DA 吞吐

Ethereum blobs

Pectra/Fusaka 后持续优化

原生 DA 层

3.4 zkVM / zkEVM 更新

项目

更新

技术路线

Jolt

NovaBlindFold 真零知识支持

Sum-check based, RISC-V

SP1 v6

"Hypercube" 多线性证明系统 + 优化递归

Multilinear, RISC-V

Scroll / OpenVM

从 Halo2 迁移到 RISC-V zkVM

RISC-V(原 EVM 电路)

Starknet / Stwo

证明验证在 v0.14.2 上线

STARK based

趋势判断

行业正在收敛到 RISC-V 基础的通用 zkVM,而非 EVM 专用电路方案。Scroll 的迁移是标志性事件。对你来说,这意味着学习 RISC-V 架构比学习 EVM 操作码更有长期价值。

3.5 MEV / PBS / 交易市场变化

  • Glamsterdam ePBS:实现"比预期更棘手",几乎触及技术栈的所有组件。
  • ePBS 中心化风险:arXiv 论文显示 Gini 系数从 0.1749 飙升至 0.8358——严重的利润集中化。
  • Optimism 质押排序:PGA(Priority Gas Auction)之外的替代模型。
  • Flashbots MEV Letter #135:CEX-DEX 套利模型分析、Ethereum 质押比例临界点分析、Besu 并行状态根计算(40% 加速)。
  • Frame Transaction 的 MEV 影响:通过减少对中心化中继器的依赖,可改善隐私和抗审查性。

四、密码学与 ZK 领域突破

4.1 新证明系统

系统

技术特点

关键指标

NovaBlindFold

在 sum-check 证明器上添加真正 ZK;盲化承诺实际压缩证明

+3KB 证明大小,零时间开销,无可信设置

SP1 v6 Hypercube

多线性证明系统 + 先进多项式承诺方案 + 优化递归

新一代通用 zkVM 证明引擎

Stwo

StarkWare 下一代 STARK 证明器,已在 Starknet v0.14.2 内部验证运行

生产级 STARK 证明器

层级聚合

ethresear.ch 讨论:通过层级证明聚合降低 SNARK 验证成本

降低 L1 验证 Gas 成本

4.2 新优化

  • Besu 并行状态根计算:区块处理速度提升 40%。看似是客户端优化,实则影响整个网络的出块效率。
  • Trail of Bits 量子电路优化:总操作数 17M→8.3M,量子比特 1425→1164。这不仅是优化成果,更暴露了 ZK 证明系统代码的安全隐患。
  • Falcon-512 vs ML-DSA:签名大小小 3.6 倍(666B vs ~2.4KB),验证速度快 3-4 倍(ARMv8-A)。在资源受限的区块链环境中,这些差异是决定性的。

4.3 新硬件加速

  • Intel FPGA ZK 加速(if-ZKP):在 BLS12-381 和 BN128 曲线上的 MSM(多标量乘法)比参考软件快 110-150 倍。这是硬件加速 ZK 证明的里程碑——未来可能出现 ZK 专用芯片。
  • 生态系统中的 GPU 证明器优化持续推进。

4.4 新应用范式

  • zkML(零知识机器学习):在不暴露模型或数据的情况下验证 AI 输出。这是 AI + ZK 交叉领域的核心方向。
  • LUCID:加密内存池 + 分布式载荷传播——交易提交前的隐私保护。
  • Privacy Boost:ZK + TEE 组合——L2 私有交易的实用方案。
  • Privacy Paymasters:钱包主导的 Gas 支付隐私(草案 ERC)。隐私正在渗透到交易生命周期的每个环节。

技术地图

当前密码学领域的三条主线:(1) 证明系统的真 ZK 化(NovaBlindFold),(2) 后量子迁移(Falcon),(3) 硬件加速(FPGA/GPU)。三条主线最终会在"隐私+高性能+抗量子"的目标上汇合——这恰好是你的架构目标。

五、你未来项目的"启发与反思"

5.1 哪些思想可以纳入你的未来架构

#

思想

来源与要点

你的架构应如何吸收

1

Frame Transaction 多帧模型

将验证、执行、支付解耦为独立帧,每个帧可有不同的逻辑和签名方案

从一开始就支持可编程验证和原子批处理,不要硬编码"一笔交易=一个签名+一次调用"

2

同步可组合性

EEZ 的 ZK 实时证明方案——多条 Rollup 在单个 L1 区块内原子交互

这正是"全球计算机"的核心能力:多个执行分片像一台机器一样运行

3

隐私即架构层

Starknet 的 STRK20、Optimism 的 Privacy Boost、LUCID 加密内存池

在协议层原生支持隐私,不要当作附加模块

4

证明系统无关性

Scroll 从 Halo2 到 RISC-V zkVM 的迁移——与证明系统耦合太深导致高迁移成本

定义清晰的证明接口,支持热切换和聚合

5

后量子原生设计

Falcon 成为事实标准,Frame Transaction 消除 ECDSA 依赖

不要等迁移,直接设计为 Falcon 兼容或签名方案可插拔

5.2 哪些趋势值得警惕

警惕清单

1. ePBS 的中心化陷阱:论文数据显示 ePBS 可能加剧而非减轻中心化——Gini 系数从 0.17 飙升到 0.84。区块生产的公平性仍是未解问题。你的架构必须从机制设计层面避免利润集中化。

2. L2 碎片化尚未解决:虽然 EEZ 提供了理论框架,但生产级同步可组合性至少还需 1-2 年。在此期间,流动性和用户体验碎片化将持续。

3. zkVM 安全性:Trail of Bits 事件是一个严肃警告——ZK 证明系统的验证代码 Bug 可以被利用来伪造证明。仅靠代码审计不够,需要形式化验证。

4. Agent 标准过度膨胀:大量 Agent 相关 ERC 涌现(8004/8183/8210/8196),但很多可能是泡沫。需要辨别哪些会真正沉淀为基础设施标准,哪些只是跟风。

5.3 哪些技术可能在 5 年后成为基础设施

以下排列按确定性从高到低:

  1. Falcon 或类似的后量子签名方案——所有链都将迁移,这是最确定的趋势。
  2. RISC-V 基础的通用 zkVM——取代特定 EVM 电路方案,行业已经在收敛。
  3. Frame Transaction 的多帧交易模型——原生账户抽象的最终形态,但具体规范可能演化。
  4. 同步可组合性协议——让 Rollup 生态像单链一样运行,但实现复杂度极高。
  5. 加密内存池 / 隐私执行层——LUCID、Privacy Boost 类方案的成熟形态,需要全栈配合。

5.4 哪些方向你应该提前学习

#

学习方向

为什么重要

入手建议

1

格密码学 (Lattice Cryptography)

Falcon 的 NTRU 格、多项式环运算——未来 5 年密码学的核心

先理解 LWE(Learning With Errors)问题,再学 NTRU 格和 Falcon 签名构造

2

RISC-V 架构

几乎所有主流 zkVM(Jolt、SP1、OpenVM)都在向 RISC-V 收敛

从 RISC-V 指令集手册开始,理解 32 个通用寄存器和基础指令

3

折叠方案 (Folding Schemes)

Nova、HyperNova、NovaBlindFold——IVC(增量可验证计算)的关键技术

先读 Nova 原论文(Kothapalli 等),理解 R1CS 松弛实例的折叠

4

形式化验证

Trail of Bits 事件说明仅靠代码审计不够,ZK 系统需要数学级别的正确性保证

学习 Lean 4 或 Coq,从简单的密码学协议验证开始

5

MEV 与机制设计

ePBS、FOCIL、stake-based ordering——理解区块构建经济学

先读 Flashbots 的 MEV 入门系列,再学拍卖理论基础

六、下半月的重点关注方向

以下是 2026 年 5 月上半月(5月1日–15日)最值得关注的 5 个方向:

#

关注方向

为什么关注

关键信号

1

Glamsterdam 首个通用 Devnet

Ethereum Foundation 目标在稳定 ePBS devnet 后启动第一个包含所有功能的通用 devnet

关注 ePBS + BAL 的整合进展、是否出现新的实现瓶颈

2

Optimism 质押排序实验数据

Phase 1(FIFO)已在 Sepolia 运行,实验数据将揭示质押排序对 MEV 的实际影响

关注发布的实验数据报告和 Phase 2(stake-weighted)的推出时间

3

Starknet v0.14.3

预计 2026 年 5 月发布,重点是稳定费用结构和吞吐量翻倍(不含并行化)

观察 Stwo 证明器的生产表现、费用模型的实际效果

4

Celestia 下一次升级

V8 Hibiscus 在测试网验证后,关注 3 秒出块 + 32MB 块大小的实际性能数据

Everstake 退出后的验证者生态变化、DA 吞吐的实测数据

5

EIP-8141 Frame Transaction 社区讨论

改变 Ethereum 交易模型的关键提案,社区共识程度将决定其未来

Ethereum Magicians 论坛的技术辩论、是否有客户端团队开始原型实现

📌 追踪方法

建议订阅以下信息源:Ethereum Magicians 论坛(EIP 讨论)、ethresear.ch(研究前沿)、Flashbots MEV Letter(MEV 动态)、Optimism Governance Forum(L2 治理实验)、各 zkVM 项目的 GitHub Release Notes。每周花 2 小时浏览即可保持同步。

《Web3 架构半月刊》2026年4月16日 – 4月30日

本刊面向未来架构师,追踪 Web3 核心技术演进。内容基于公开资料整理分析,不构成投资建议。

Logo

AtomGit 是由开放原子开源基金会联合 CSDN 等生态伙伴共同推出的新一代开源与人工智能协作平台。平台坚持“开放、中立、公益”的理念,把代码托管、模型共享、数据集托管、智能体开发体验和算力服务整合在一起,为开发者提供从开发、训练到部署的一站式体验。

更多推荐