以太坊基金会推出 zkAPI:用零知识证明实现私密 API 付费
以太坊基金会与 Open Anonymity Project 推出 zkAPI,用户向以太坊金库存入 ETH、USDC 等额度后,可用零知识证明授权计费 API 使用,服务方只看到请求、支付层只看到花费,二者无法关联,现已在 Ethereum 主网上线。
推荐理由:原文说明了支付与身份分离的机制和两项已知局限,读者可据此评估它对 AI API 隐私的实际边界。
以太坊基金会与 Open Anonymity Project 推出 zkAPI,用户向以太坊金库存入 ETH、USDC 等额度后,可用零知识证明授权计费 API 使用,服务方只看到请求、支付层只看到花费,二者无法关联,现已在 Ethereum 主网上线。
推荐理由:原文说明了支付与身份分离的机制和两项已知局限,读者可据此评估它对 AI API 隐私的实际边界。
a16z crypto 发布开源 zkVM 新版本 Lattice Jolt,将底层密码学从椭圆曲线换成基于 Module-SIS 假设的多项式承诺方案 Akita,实现后量子安全、证明者与验证者提速 2-3 倍,证明体积低于 100 KB。
推荐理由:原文对比了格基与哈希基方案的安全假设差异,读者可据此理解这次密码学底座更换的取舍。
Ethereum Foundation Protocol 团队将于 9 月 16 日 2 PM UTC 在 r/ethereum 举行 Reddit AMA,提前征集问题的专用帖已上线。AMA 或涉及 Glamsterdam 硬分叉公开测试、Hegotá 范围收窄,以及后量子 Ethereum、L1-zkEVM、形式化验证、状态未来、解耦共识、L1 隐私等协议议题。
以太坊基金会形式验证团队与 Yukon、zkSecurity 合作推出开放自主研究挑战 better.codes,将 Proximity Prize 研究中的自足问题 koalaIRS12 形式化为 Lean,并把其可靠性下界放到公开排行榜上。
推荐理由:原文说明了挑战的验证机制与开放协作模式,读者可据此理解形式化验证如何被用于推进SNARK安全基准。
Ethereum Protocol Studies(EPS)2026 于 2 月 23 日启动,新增密码学、Lean Consensus 和 zkEVM 两条内容赛道,并上线基于 Moodle 的自定进度学习平台。
以太坊基金会宣布 zkEVM 进入主网级安全建设阶段,并推出 soundcalc 工具用于依据最新密码学安全界与证明系统参数估算 zkVM 安全性。
推荐理由:原文给出三个带截止日期的安全里程碑和 soundcalc 工具,读者可据此跟踪 L1 zkEVM 从性能转向可证明安全的路线。
Devconnect 将于两周后在布宜诺斯艾利斯 La Rural 开启首届 Ethereum World's Fair,场地达 35,000 m²,设 40+ 场 ZK、AI、应用开发等活动与 75+ 团队展示,覆盖 DeFi、Social、Privacy、L2s 等主题分区。
以太坊基金会 Funding Coordination 团队宣布与 Keyring Network 推出联合计划,Keyring 的 zkVerified 许可金库已在主网上线,提供合规且保护隐私的 DeFi 借贷市场访问。