Forcing Transactions

[Anon]

@LasseAztec

First, we are verifying the proof when it is posted on-chain for a relatively simple reason, dealing with reverting private kernels is not fun, so this check ensures that the proof at least is valid.

Can you elaborate on the tradeoffs here? Based Rollups seemingly assume this feature.