ZKVMs and Proof Verification | The Rollup | Podwise