Block-sized proofs are now live on Starknet Mainnet. Applications can now prove up to 1.1B L2 gas of computation in a single transaction. The unlock: developers can run logic that exceeds regular transaction limits offchain, then verify it on Starknet, paying for the proof rather than the full execution.