Allows L1<->L2 communication from L1. It both sends messages from L1 to L2 and receives messages from L2.
Ensures the advancement of the L2. It is used by the operator to commit blocks and verify block proofs
TODO
TODO
Allows L1<->L2 communication from L1. It both sends messages from L1 to L2 and receives messages from L2.
Ensures the advancement of the L2. It is used by the operator to commit blocks and verify block proofs
TODO
TODO