Deciphering Cairo VM, CASM, Cairo Zero, Cairo, and Sierra.IntroIn order to unlock secure and decentralized scaling for Ethereum, Validity Rollups make the verification of batches of transactions vastly more efficient than their naive re-execution. Specialized nodes (called Sequencers) on Layer 2 (L2) bundle transactions into new L2 blocks, while Ethereum mainnet nodes confirm these transactions with minimal effort. Starknet is a Validity Rollup that leverages the Cairo VM, purposefully design...