lib

commit 2240860ecf15becfb30321761ec59d6b34bd1aa9
parent a6b624d4d81ab2c9bcf962d3a33d86597f21c1dc
Author: triesap <tyson@radroots.org>
Date:   Thu, 18 Jun 2026 17:24:05 -0700

sp1_host_trade: tighten program hash cfg

- compile the SP1 guest ELF hash helper only for proving or embedded-ELF verify builds
- keep plain sp1_verify verification builds free of unused helper code
- preserve proving call sites that bind witnesses to SP1 program identity
- validate focused host-trade and downstream CLI check lanes

Diffstat:
M
crates/sp1_host_trade/src/lib.rs
 | 
5
++++-

1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/crates/sp1_host_trade/src/lib.rs b/crates/sp1_host_trade/src/lib.rs
@@ -1518,7 +1518,10 @@ fn is_lower_hex(value: &str) -> bool {
         .all(|byte| byte.is_ascii_digit() || (b'a'..=b'f').contains(&byte))
 }
 
-#[cfg(feature = "sp1_verify")]
+#[cfg(any(
+    feature = "sp1_proving",
+    all(feature = "sp1_verify", radroots_sp1_guest_elf)
+))]
 fn sp1_program_hash_for_elf(elf: &sp1_sdk::Elf) -> String {
     let bytes: &[u8] = match elf {
         sp1_sdk::Elf::Static(bytes) => bytes,