“什么叫问题？问题就是事物的矛盾。哪里有没有解决的矛盾，哪里就有问题。”—— 论矛盾与问题 · 毛主席
精选文章
zkVM 赛道 2026 全景：谁在领跑，谁被甩下
本文基于公开技术文档、官方技术公告、第三方性能基准与独立安全审计，试图在剧烈变动的 2026 年中场，绘制一张 zkVM 赛道的实战全景地图。
证明系统的选型地图：从 Groth16 到折叠方案的架构演进
零知识证明（ZKP）系统在过去十年经历了从学术论文到工程基础设施的跨越。Groth16 以 192 字节的恒定证明大小和约 230K Gas 的验证成本成为链上验证的黄金标准，但其每个电路需要独立可信设置的代价限制了快速迭代场景的适用性。PLONK 通过通用结构化参考串打破了这一局限，却以更大的证明尺寸（约 576 字节）和更高的验证 Gas（约 320K）为代价。STARK 完全消除了可信设置并提供了后量子安全性，但 42 KB 的原始证明在以太坊 L1 上直接验证需要约 2.5M Gas——超 Groth16 10 倍以上。折叠方案（Nova、SuperNova、Protostar）的登场重构了增量可验证计算（IVC）的效率边界：在 zkEVM 逐块证明等高深度递归场景下，折叠方案比传统递归 SNARK 降低了 10–100 倍的端到端证明开销。与此同时，Plonky3 的模块化密码学工具箱在 Proof Arena 基准中以验证吞吐量 5,413 proofs/sec 追平了配对联算系统（来源：Polygon, 2024）；Expander 以 16,700 proofs/sec 的证明生成吞吐量登顶（来源：Polyhedra/Proof Arena, 2025）；Binius 在二进制域上的 FRI-Binius 改进将证据大小从 STARK 的 42 KB 压缩至接近 PLONK 的数百字节级别（来源：Irreducible, 2024）。本文建立了一个四维分析框架——密码学假设、算术化方案、多项式承诺方案、工程权衡——并给出针对 L1 Rollup、zkEVM、跨链桥、通用 zkVM、隐私身份凭证等典型场景的具体选型路径。
基础理论 · 零知识证明2026-08-23Uniswap V3 集中流动性机制详解
Uniswap V3 的核心创新：集中流动性、多费用层级、NFT 仓位管理
区块链 · defi 基础2025-08-22最新文章
闪电贷：无抵押借贷的原理与套利实战
闪电贷的 A-B-B 流程、套利与清算机器人
区块链 · 智能合约2026-08-10多签钱包设计与实现：资金安全的核心基建
Gnosis Safe 模式、确认阈值与执行机制
区块链 · 智能合约2026-08-09预言机：智能合约如何安全获取链下数据
Chainlink 集成、去中心化数据与喂价安全
区块链 · 智能合约2026-08-08智能合约 Gas 优化 10 招：让部署与调用更省钱
存储布局、事件日志、calldata 等 Gas 优化实践
区块链 · 智能合约2026-08-05ERC-721 NFT 标准：非同质化代币的完整解析
NFT 的元数据、所有权转移与市场集成机制
区块链 · 智能合约2026-08-03ERC-20 代币标准全解：接口、实现与最佳实践
ERC-20 的六大接口、事件与安全实现要点
区块链 · 智能合约2026-08-02