Could you motivate for me why we would want to attest to different portions of the state transition? Is it that some attestations may take longer? Is it so we could parallelize attestations in the event they dont touch overlapping state? Is it possible some parts of the state transition gets attested to but not others?
Edit: on parallelization, could we also add state access lists to these side-effect requests? I believe we should be able to with assembly?