Sequencer - Prover interface specification

[stranger80]

Define the interface to be used by the Prover to prove blocks generated by the Sequencer. Leverage an example from Madara suite. Consider creation a simple implementation of the proof generation (again refer to Madara for example implementation).