Ethereum's ZK & Formal Verification Endgame with Alexander Hicks | The Rollup | Podwise