后量子安全

本文提出一种通过EIP-7702委托将现有以太坊EOA升级为量子安全钱包的方案，无需更改地址、迁移资产或共识。

本文是零知识证明系列文章的终结篇，提供了一个全面的参考文档，帮助工程师根据自身约束选择最合适的证明系统。

文章回顾了Zcash过去三年从困境到复兴的历程，分析了治理解锁（取消直接资助、终止商标协议）、产品解锁（推出Zodl钱包，聚焦用户体验）、叙事解锁（从‘隐私币’重塑为‘不可阻挡的私密货币’）和组织解锁（ECC团队成立ZODL实验室，获2500万美元融资）。目前ZEC价格约600美元，屏蔽池占比从11%升至31%，屏蔽交易占比达86.5%。未来重点包括用户体验、可扩展性（Tachyon项目）和后量子安全。

STARKs是一种加密证明系统，用于解决区块链的可扩展性问题。文章用非数学方式解释了STARK的工作原理：Prover处理大量交易并生成证明，Verifier通过简单的数学检查验证证明，无需重新执行所有交易。过程包括注册执行步骤、定义约束确保正确性、通过误差放大（如校验和）使错误明显，然后通过折叠（FRI协议）压缩证明长度，最后用Merkle树承诺数据并提交链上验证。STARKs依赖哈希函数，具有后量子安全性。文章通过类比（如数独、校验码）帮助理解，展示了STARKs如何实现规模化和隐私保护。

Starknet 2026年5月月度回顾：strkBTC（比特币隐私桥）上线，支持比特币隐私转账、质押、借贷等；Starknet已具备后量子安全能力，用户可迁移至量子安全钱包；基金会开放17亿STRK委托；Native USDC在Binance上线；Xverse、Ready、Extended、Privily等生态项目更新。

LambdaClass 团队正在开发一个名为 ethlambda 的以太坊 Lean Consensus 客户端，旨在为以太坊共识层提供一个极简、快速且模块化的 Rust 实现。ethlambda 的设计理念是保持简单和最小化，目标是构建一个拥有后量子安全特性、更低质押要求和更快最终性的客户端，并积极与 Lean Consensus 社区合作，共同推进以太坊的未来发展。

VEIL是一种编译器，为基于哈希的证明系统添加零知识属性，仅增加约3%的证明者时间、22%的验证者时间和12%的证明大小。它通过解耦哈希操作与代数运算，对哈希部分进行轻量级盲化，并用内部零知识证明保护小规模代数交互，避免了完整证明系统重写或昂贵的封装方法。VEIL完全基于哈希，使得结果协议在底层系统后量子安全的前提下具备后量子安全性。文章以SP1为例，展示了VEIL如何替代现有的Groth16封装，消除椭圆曲线依赖，推动证明系统迈向完全后量子安全。

VEIL是一个编译器，为基于哈希的证明系统添加零知识属性，仅引入约3%的额外开销。它通过分离哈希操作和代数交互，用轻量级盲化保护哈希部分，并用小型零知识系统封装代数部分，避免了昂贵的全电路证明。VEIL是非侵入式的、轻量级的（证明者时间增加3%，验证者时间增加22%，证明大小增加12%），且后量子安全。该技术有望替换SP1中依赖椭圆曲线的Groth16包装器，推动SP1实现完整的后量子安全。