Coordinator + Prover + Arithmetization integration

[OlivierBBB]

• finalization of architecture document
  • Proof request format ( input_bytes, prover_index)
  • Where to cache the RISCV-binary associated with the prover_index
  • goTracer run as a binary in prover ?
• implementation
  • First version of the extended rollup-guest program
  • Linker script readiness to run the interpreter
  • Constraints for the interpreter
  • New proof request format to support multi-prover
• e2e integration in CI :
  • flow compiles down extended rollup-guest program to binary
  • ideally with a Besu call to get an execution_witness through the API
  • sends the proof request to the prover
  • proceeds to do the tracing
  • execution proof