Proof size should remain under 300KiB and must not rely on recursive wrappers that use trusted setups

Ethereum Foundation requires zkEVM proof sizes under 300KiB and bans recursive wrappers that rely on trusted setups.