EIP-8250：固定 NONCE_MANAGER 为 0x...8250
（AnkushinDaniil）合并。PR 说明 `NONCE_MANAGER` 的地址决定 keyed nonce 所在的存储槽，两个客户端选了不同的值就不在同一条链上；此前地址是 `0xTBD`，而合约代码已经固定。已知的两个实现都独立选择了与 EIP 编号相同的地址，这与 EIP-8141 中 `EXPIRY_VERIFIER = 0x...8141` 的惯例一致。
keyed nonce 与 recent root 系统合约地址落地
EIP-8272：固定 RECENT_ROOT_ADDRESS 为 0x...8272
（AnkushinDaniil）同日合并。
用证明扩展 frame 交易的内存池预算
EIP-8361：交易有效性证明
（Marchhill）提交。PR 说明：对 EIP-8141 验证前缀生成证明，可以抬高公共内存池的验证工作上限，并扩展 FOCIL 资格，而不改变交易执行和 gas 收费；包括递归批量、受限的 fee-bump 复用、有界的证书获取，以及每个 IL 一份经认证的证书。目标是本地消费级证明和未来能验证证明的节点。
新 EIP：TCREATE 操作码
（abc-123-c）提交，提供临时合约部署机制；EIP-8081：PFI EIP-8360 同日提交，提议将其纳入 Hegotá。
EIP-8081：PFI EIP-8360
新 EIP：TCREATE 操作码（abc-123-c）提交，提供临时合约部署机制；EIP-8081：PFI EIP-8360 同日提交，提议将其纳入 Hegotá。
其他动态
ERC-7730：把 mustMatch 推广为带约束的 boundaries 对象
（forshtat），超出约束时自动拒签；同作者提交 ERC-8362 ERC-7730 自定义编码布局。
ERC-8362 ERC-7730 自定义编码布局
ERC-7730：把 mustMatch 推广为带约束的 boundaries 对象（forshtat），超出约束时自动拒签；同作者提交 ERC-8362 ERC-7730 自定义编码布局。
EIP-8142：Bib 列传播
（kamilsa）、EIP-8081：PFI EIP-8359（hanniabu）提交。
EIP-8081：PFI EIP-8359
EIP-8142：Bib 列传播（kamilsa）、EIP-8081：PFI EIP-8359（hanniabu）提交。
FOCIL Breakout #39 议程帖
16:01 发布，会议在 8 月 4 日。
社区讨论
Eli Ben-Sasson：ZK 已成为区块链扩容的共识方案，哪些 ZK 话题值得解释
14:30。