soispoke:鉴于 Hegotá 讨论哪个执行层头号提案与 FOCIL 一起上线,发文说明 FOCIL 与 frame 交易如何配合
18:08;Magicians 原文:FOCIL 用基于执行后状态的 nonce 与余额检查判断被遗漏的包含列表交易,这对 EOA 有效,但原生 AA 交易需执行 VERIFY frame 才能判定有效,因此定义可进公共内存池的 FrameTx 子集,在执行后状态上限定 VERIFY 执行,并为每个包含列表设 VERIFY gas 预算以限制 attester 工作量。
