本文深入分析了以太坊的无状态化(Statelessness)和强制包含列表(FOCIL)两种提案的协同作用。无状态化旨在减少节点对完整状态存储的需求,而FOCIL旨在使用验证者委员会强制交易包含在区块中,以抵抗审查。文章探讨了这两种机制如何相互促进,各自对区块生成者的要求,以及可能出现的摩擦点和网络开销,并讨论了交易失效和网络开销等开放性问题。