EF 博客:原生交易断言如何约束交易的最终结果
文章区分两类失败:意图不符(Bybit、BadgerDAO,被篡改的前端给出与用户以为的不同的签名请求)和结果不符(Aave 与 CoW 的抵押品互换,用户约 5,040 万美元的 aEthUSDT 换到约 3.6 万美元的代币)。共同问题是缺少一条独立于交易构造者、在执行中强制的结果规则。以太坊目前没有通用机制让链上代码检查一笔交易产生的全部净状态变化和事件,EIP-7906 是一种可能方案,与 Clear Signing 配合。
Ethereum Research Daily
EF 的 Trillion Dollar Security 计划发文,提出用原生交易断言约束交易最终结果,EIP-7906 是候选方案之一。Frame 交易继续扩展:EIP-8141 为无代码发送方加“设置委托”帧,EIP-8250 让交易把 nonce key 限定到付款方。L2BEAT 的 Luca Donno 基于 frames-devnet-0 跑起半模拟的原生 rollup。

配图来源:Ethereum Foundation Blog, native transaction assertions
文章区分两类失败:意图不符(Bybit、BadgerDAO,被篡改的前端给出与用户以为的不同的签名请求)和结果不符(Aave 与 CoW 的抵押品互换,用户约 5,040 万美元的 aEthUSDT 换到约 3.6 万美元的代币)。共同问题是缺少一条独立于交易构造者、在执行中强制的结果规则。以太坊目前没有通用机制让链上代码检查一笔交易产生的全部净状态变化和事件,EIP-7906 是一种可能方案,与 Clear Signing 配合。
合并。
、EIP-8250 PR:允许交易把 nonce key 限定到付款方(均为 AnkushinDaniil)。
EIP-8141 PR:为无代码发送方增加 set-delegation 帧、EIP-8250 PR:允许交易把 nonce key 限定到付款方(均为 AnkushinDaniil)。
22:29,原生 rollup 直接继承 L1 的状态转换函数,复杂度、治理和 bug 风险都大幅降低。
20:32(Aditi Partap、Arantxa Zapico),委员会持有解密密钥分片,讨论如何追责不揭示的一方。
23:04,链上验证,不需要硬分叉。
网络层:eth/73 证明包装传播 提交(Marchhill)。
FCR:Barnabé:Ethlabs 第 15 周,第一个 Chainlink FCR 集成,quick slots 被 CFI 05:56;Luca Donno 指出 FCR 尚未在 CCIP 上实际使用 17:44,并演示如何在链上核查。
FCR:Barnabé:Ethlabs 第 15 周,第一个 Chainlink FCR 集成,quick slots 被 CFI 05:56;Luca Donno 指出 FCR 尚未在 CCIP 上实际使用 17:44,并演示如何在链上核查。
21:40,Aztec 上的私密 DAI 钱包,附端到端隐私的取舍分析。
19:49。
23:45。
20:00,上线 23 分钟就有人尝试挑战 SHA3 和 BLAKE3。
21:44。