Break down Vitalik Buterin’s "Type 1 to Type 4" zkEVM classification

Description

The zkEVM Compatibility Spectrum: Break down Vitalik Buterin’s "Type 1 to Type 4" zkEVM classification. Compare how projects like Scroll (Type 2/3) prioritize Ethereum equivalence, while others like zkSync Era (Type 4) prioritize proving speed.