zksync_tee_verifier_input_producer

Component responsible for producing inputs for verification of execution in TEE.

lib.rs:

Produces input for a TEE Verifier

Extract all data needed to re-execute and verify an L1Batch without accessing the DB and/or the object store.

For testing purposes, the L1 batch is re-executed immediately for now. Eventually, this component will only extract the inputs and send them to another machine over a "to be defined" channel, e.g., save them to an object store.