One important technical item that I forgot to mention is the proposed switch from Casper FFG to Minimmit as the finality gadget.To summarize, Casper FFG provides two-round finality: it requires each attester to sign once to "justify" the block, and then again to "finalize" it. Minimmit only requires one round. In exchange, Minimmit's fault tolerance (in our parametrization) drops to 17%, compared to Casper FFG's 33%.Within Ethereum consensus discussions, I have always been the security assumptions hawk: I'v ...