Ethlabs:An Ethlabs view on post-quantum and post-AI timelines: pqai27
2026-11-12 03:51 发布于 Magicians。核心主张:以太坊应在 2027 年达到 pqai-ready,即共识层后量子化、每个用户的账户都有后量子迁移路径,同时保持 Glamsterdam 带来的扩容容量;pqai-scaled(后量子交易和 blob 满容量运行)是 2027 年的延伸目标。
Ethereum Research Daily
Ethlabs 在 Ethereum Magicians 发布 pqai27 提案,主张以太坊在 2027 年完成后量子和后 AI 加固,Hegotá 优先 Frames 与后量子账户,FOCIL 让路,Ethlabs 自己撤回 quick slots。今晚 ACDC #191 会简短讨论。账户相关的 EIP-8141、EIP-8250、EIP-8151、EIP-8288 都有新的修订 PR。

2026-11-12 03:51 发布于 Magicians。核心主张:以太坊应在 2027 年达到 pqai-ready,即共识层后量子化、每个用户的账户都有后量子迁移路径,同时保持 Glamsterdam 带来的扩容容量;pqai-scaled(后量子交易和 blob 满容量运行)是 2027 年的延伸目标。
2026-11-12 03:56,说明这是给以太坊治理流程的输入。
2026-11-12 04:43,指出后量子工作本身也会带来新的 pq-ready 账户(基于 Frame Transactions)。
2026-11-12 06:49 留言。
2026-11-12 07:12 提交:只有带 APPROVE_EXECUTION 标志的 frame 能设置 sender_approved,所以前面没有这种 frame 的 SENDER frame 一定失败,builder 和 mempool 可以不执行就丢弃。
2026-11-12 07:12 提交:nonce_seq 等于 MAX_NONCE_SEQ 且所选 key 都为 0 时视为可执行,不算 nonce 溢出;重放保护不变。
2026-11-12 01:20 提交:在 EIP-8151 下 ecRecover 会读取恢复地址的代码,EIP-8141 的验证前缀因此可能依赖第三方账户,这个 PR 补上对应的 mempool 规则。
2026-11-12 04:49 提交:允许一个用户选择的批处理程序为多笔交易、多种签名方案一起出证明;PR 中给出的成本是每个声明 30,000 intrinsic proof-share gas 加 3,000 验证 gas。
2026-11-12 07:12 提交,让同一个 leanSPHINCS 密钥在两个 EIP 里用同一个编号(目前是 0x3)。
2026-11-12 04:50 提交,基于 EIP-8288,允许把原始签名直接提交给聚合者,不必先生成 STARK。
11/17 的 Frame Transaction Breakout #8(pm #2295),以及 pqai27 是否让 Frames 的范围变化(提案提到可能有更轻量的 Frames 变体)。
2026-11-12 07:12 由 LukaszRozmej 提交:在 EIP-7928 的 AccountChanges 中加入 code_hash,这样 BAL 能列出区块读取的全部区块前状态,无状态客户端或证明者只用区块、BAL 和状态快照就能组装输入,不必先执行区块。对应的 Magicians 讨论帖 于 2026-11-12 07:14 开启。
新 EIP 草案:Code Reads in Block-Level Access Lists 2026-11-12 07:12 由 LukaszRozmej 提交:在 EIP-7928 的 AccountChanges 中加入 code_hash,这样 BAL 能列出区块读取的全部区块前状态,无状态客户端或证明者只用区块、BAL 和状态快照就能组装输入,不必先执行区块。对应的 Magicians 讨论帖 于 2026-11-12 07:14 开启。
2026-11-11 18:40 由 cskiraly 发布的观点帖:主张按测得的资源压力动态调整容量,像 TCP 拥塞控制那样,而不是固定 gas 上限加安全余量。文中引用主网数据称,区块中位数在首次被看到后 0.38 秒到达 95% 的上报节点(99 分位区块为 0.70 秒)。
2026-11-11 21:38:浏览器内生成证明的私密 ETH 支付,隐藏发送方、接收方和金额;合约不可升级、不可暂停,用户可独立提款。
2026-11-11 21:38:仪式记录了 176 次贡献,但没有公开贡献,且同一个 key 可以重复贡献;页面显示累计 221 笔存款、30 天 96 笔、只有 1 个活跃 relayer。使用前要知道匿名集很小。
2026-11-12 04:09 合并,接续前几天形式化验证发现的规范差异。
2026-11-11 22:36:新增使用 RLP 的 compute_execution_block_hash 检查。
2026-11-11 20:04 提交,影响钱包的清晰签名(clear signing)显示格式。
2026-11-12 01:17 开启讨论。
2026-11-12 01:03 开启讨论。
2026-11-12 03:55:文中称每个区块头约 626k gas,其中 Equihash 占 361k。
2026-11-12 04:25,把提案概括为“Hegotá headliner 改成 PQ 和 Frames,暂停 FOCIL,PQ 2027 年上线”。
2026-11-12 04:34。
2026-11-12 05:06。
2026-11-12 06:07。
2026-11-12 04:37,这是社区对验证者迁移可行性的典型疑问。
2026-11-11 15:45,约 1,700 个赞(读取于 2026-11-12),呼应 pqai27 里“形式化验证加速”的论点;Toni Wahrstätter 回应称难点在于证明后的规范是否等于非正式意图 2026-11-11 23:19。
lightclient 转发 DeepMind 用 AI 写 Lean 证明验证 Signal 协议的新闻 2026-11-11 15:45,约 1,700 个赞(读取于 2026-11-12),呼应 pqai27 里“形式化验证加速”的论点;Toni Wahrstätter 回应称难点在于证明后的规范是否等于非正式意图 2026-11-11 23:19。
截至 2026-11-12 共 11 帖,话题是代币层面的账户保护。