In ZKRollup operation; when tx state delta is published as part of the proof on chain, I havent found any information that indicates this tx data is validated.
Is it assumed that the zksnark circuit includes a hash(txs) as part of the constraints and later the on chain verifier will hash the transactions and include them as public inputs?