ACDT #89 议程
13:57。
Ethereum Research Daily
ACDC #183 据 Ethereal news #32:devnet-8 目标 8 月初,含重定价小改动和执行层仅用 discv5 发现;devnet-9 8 月用于非最终性测试;首个公共测试网目标 9 月;Hegotá 新提案包括 EIP-8334、EIP-8341、EIP-8321 和 EIP-8015。EIP-8141 提交四项修改:规范的 P256 发送账户让 passkey 账户免模拟进入内存池、协议定义的验证前缀可直接求值、APPROVE 的 gas 成本、费用字段的上限。misilva73 提交 PBT 离线状态迁移 EIP。

13:57。
(AnkushinDaniil)提交。8141 中协议定义、免模拟的接纳路径(默认代码、规范 paymaster、expiry verifier)都只支持 SECP256K1,而 passkey/WebAuthn(secp256r1)钱包在智能账户中占比越来越大;目前 EIP-7702 委托的 P256 账户必须完整模拟验证前缀。PR 增加按运行时代码匹配识别的规范 P256 发送账户,接纳只需代码匹配、一次 `P256VERIFY` 和 scope 检查。
(svlachakis)提交。默认代码、规范 expiry verifier 和规范 paymaster 没有需要执行才能发现的部署代码,对只由它们组成的前缀,模拟和直接求值是同一计算;常见流程,即 `self_verify` 的 EOA 式交易和规范 paymaster 代付交易,都属于这一类。
(AnkushinDaniil)提交,`APPROVE`(`0xaa`)是唯一未规定 gas 的新 frame 操作码;在静态约束中限制费用字段(svlachakis)提交,RLP 允许任意长整数,而 `TXPARAM` 会把费用字段压栈,超出栈字宽度。
EIP-8141:规定 APPROVE 操作码的 gas 成本(AnkushinDaniil)提交,`APPROVE`(`0xaa`)是唯一未规定 gas 的新 frame 操作码;在静态约束中限制费用字段(svlachakis)提交,RLP 允许任意长整数,而 `TXPARAM` 会把费用字段压栈,超出栈字宽度。
(misilva73)提交,据 Ethereal news #32 编号 EIP-8347:在最终确定的锚点区块把状态从十六进制 MPT 离线转换为 Partitioned Binary Tree(EIP-8297),以可验证快照分发,节点用锚点 `stateRoot` 校验,再通过回放 BAL(EIP-7928)追上链头。
提交并合并。
20:03。Eli Ben-Sasson:隐私方案不只要防跟踪,还要防 bug 和威胁 20:20;人们对原生账户抽象还不够看好 22:45。
StarkWare:开源 STRK20 隐私池形式化验证,230 多个机器检验定理 20:03。Eli Ben-Sasson:隐私方案不只要防跟踪,还要防 bug 和威胁 20:20;人们对原生账户抽象还不够看好 22:45。
StarkWare:开源 STRK20 隐私池形式化验证,230 多个机器检验定理 20:03。Eli Ben-Sasson:隐私方案不只要防跟踪,还要防 bug 和威胁 20:20;人们对原生账户抽象还不够看好 22:45。
(forshtat)提交,为多语言清晰签名打基础,论坛 18:53。
ERC-8346:ERC-7730 描述文件的翻译文件(forshtat)提交,为多语言清晰签名打基础,论坛 18:53。
(javierpmateos)提交,论坛 19:29。
ERC-8348:金融租赁(javierpmateos)提交,论坛 19:29。
19:45。
05:32;机制设计的失败模式 04:17。
ethresear.ch:正和的市场微观结构设计是最后的瓶颈 05:32;机制设计的失败模式 04:17。
00:35。