Description

This PR introduces a dedicated outer-proof host path for aggregated proofs and wires it through the prover stack.

Changes:

1. Add OuterZkvmHost and Zkvm::OuterHost for host-side proof aggregation.
2. Change create_aggregated_proof to take DA block headers instead of slot hashes.
3. Thread full DA headers through zk_manager / prover services so outer provers can consume header data directly.
4. Implement outer-host support for:
   • MockZkvmHost
   • SP1AggregationHost
   • Risc0Host as unimplemented!() for now
5. Update SP1 demo/test wiring so the parallel prover uses SP1 for both inner and outer proofs.
6. Refresh integration and demo tests to use block headers for aggregation requests.

Notes

• The aggregation circuit currently has a temporary NOMT workaround: the state-root continuity assertion is commented out with a TODO.

• The SP1 aggregation host now keeps previous outer-proof state internally so recursive aggregation can continue across calls.

• I have updated CHANGELOG.md with a new entry if my PR makes any breaking changes or fixes a bug. If my PR removes a feature or changes its behavior, I provide help for users on how to migrate to the new behavior.

• I have carefully reviewed all my Cargo.toml changes before opening the PRs. (Are all new dependencies necessary? Is any module dependency leaked into the full-node (hint: it shouldn't)?)

Linked Issues

• Related to [TRACKER]: Implement proof aggregation #2551