Vitalik Buterin published a post in which he proposes the formalization of Ethereum’s decentralization goals in the context of increasing L1 gas limits