feat: upgrade ere-guests to v0.13.0

[han0110]

• APIs (rendered)
  • Add schema ChainConfig, part of the public values of the guest program (defined in execution-specs), that contains:
    • chain_id: u64
    • active_fork
      • fork: ProtocolFork - enum encoded as u64
      • activation
        • block_number: SszList<u64, 1> - SSZ size-1 list (empty from CL)
        • timestamp: SszList<u64, 1> - SSZ size-1 list (contains fork activation timestamp from CL)
      • blob_schedule: SszList<BlobSchedule, 1> - SSZ size-1 list (contains blob schedule since Cancun)
        • target: u64 - Leave empty since it's not in CL config, zkboost resolves from EL genesis for now
        • max: u64 - Must fill the max blob value from the CL config
        • base_fee_update_fraction: u64 - Leave empty since it's not in CL config
  • Update /v1/execution_proof_requests to receive SSZ encoded ProofRequestBody, that contains:
    • new_payload_request - was in body as SSZ encoded bytes
    • chain_config - additional param
    • proof_types - which was in query param
  • Update /v1/execution_proof_verifications to receive SSZ encoded ProofVerificationBody, that contains:
    • new_payload_request_root - was in query param
    • chain_config - additional param
    • proof_type - was in query param
    • proof - was in body as raw bytes
  • Drop ethrex-risc0 and reth-risc0 proof types, add ethrex-openvm, now the proof type enum becomes:
    • 0 - ethrex-openvm
    • 1 - ethrex-sp1
    • 2 - ethrex-zisk
    • 3 - reth-openvm
    • 4 - reth-sp1
    • 5 - reth-zisk
• Internal
  • Bump ere and ere-guests to v0.13.0
  • Re-use NewPayloadRequest and its SSZ types from the ere-guests.
  • Update zkVM input to use schema-id-prefixed SSZ bytes of StatelessInput.