该文章提出了以太坊的一个升级方案,即让区块的构建者负责生成该区块的有效性证明,并将该证明强制包含在下一个区块中。这个方案通过激励对齐来解决“prover killers”问题,并改善了builder的活性问题。文章还探讨了proving gas的概念,以及如何将其应用于改进用户体验和审查抵抗。