Web3 探门路半月刊 四月下半月
《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 年后成为基础设施
以下排列按确定性从高到低:
- Falcon 或类似的后量子签名方案——所有链都将迁移,这是最确定的趋势。
- RISC-V 基础的通用 zkVM——取代特定 EVM 电路方案,行业已经在收敛。
- Frame Transaction 的多帧交易模型——原生账户抽象的最终形态,但具体规范可能演化。
- 同步可组合性协议——让 Rollup 生态像单链一样运行,但实现复杂度极高。
- 加密内存池 / 隐私执行层——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 核心技术演进。内容基于公开资料整理分析,不构成投资建议。
AtomGit 是由开放原子开源基金会联合 CSDN 等生态伙伴共同推出的新一代开源与人工智能协作平台。平台坚持“开放、中立、公益”的理念,把代码托管、模型共享、数据集托管、智能体开发体验和算力服务整合在一起,为开发者提供从开发、训练到部署的一站式体验。
更多推荐

所有评论(0)