rhi

commit 0d943280d4cd7efada3c6fdfa64fb906d962ee75
parent bf8b2b7d258e6c6a80837715fb711fc06bc6ff08
Author: triesap <tyson@radroots.org>
Date:   Tue, 19 May 2026 07:53:01 +0000

proof: carry SP1 program identity

- set explicit SP1 program identity field on receipt witnesses
- keep deterministic proof smoke witnesses unbound until host setup
- align RHI witness assembly with rr-rs proof metadata
- validate RHI formatting and cargo check

Diffstat:
M
src/features/trade_validation_receipt.rs
 | 
1
+
M
src/proof_smoke.rs
 | 
1
+

2 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/features/trade_validation_receipt.rs b/src/features/trade_validation_receipt.rs
@@ -208,6 +208,7 @@ pub async fn handle_trade_validation_receipt_job_request(
         previous_state_root: request.previous_state_root.clone(),
         reducer_program_hash: request.reducer_program_hash.clone(),
         radroots_protocol_version: request.radroots_protocol_version.clone(),
+        sp1_program_hash: None,
         sp1_verifying_key_hash: request.sp1_verifying_key_hash.clone(),
     };
     let proof_backend = request.prover_backend;
diff --git a/src/proof_smoke.rs b/src/proof_smoke.rs
@@ -331,6 +331,7 @@ fn order_acceptance_tiny_witness() -> RadrootsSp1TradeOrderAcceptanceWitness {
         previous_state_root: None,
         reducer_program_hash: RADROOTS_SP1_TRADE_REDUCER_PROGRAM_HASH.to_string(),
         radroots_protocol_version: RADROOTS_SP1_TRADE_PROTOCOL_VERSION.to_string(),
+        sp1_program_hash: None,
         sp1_verifying_key_hash: None,
     }
 }