Formalizing decentralization goals in the context of larger L1 gaslimits and 2020s-era tech