wip

Author: Marcos Pernambuco Motta

risc0/cpp/Makefile

@@ -93,7 +93,6 @@ EMULATOR_OBJS = $(patsubst %.c,%.emulator_c.o,$(patsubst %.cpp,%.emulator_cpp.o,
 
 all: risc0-replay-steps.o
 
-# Generated headers must exist before any emulator source compiles (-j safe)
 GENERATED_HEADERS := $(EMULATOR_SRC_DIR)/machine-c-version.h $(EMULATOR_SRC_DIR)/interpret-jump-table.h
 
 %.emulator_cpp.o: $(EMULATOR_SRC_DIR)/%.cpp | $(GENERATED_HEADERS)

risc0/rust/cartesi-risc0/src/lib.rs

@@ -102,8 +102,9 @@ pub fn encode_seal_and_journal(receipt: &Receipt) -> (Vec<u8>, Vec<u8>) {
     (seal, receipt.journal.bytes.clone())
 }
 
-/// Reconstruct and verify a Groth16 receipt from seal and journal bytes.
-/// Accepts seal with (260 bytes) or without (256 bytes) the 4-byte selector prefix.
+/// Reconstruct and verify a Groth16 receipt from seal (260 bytes) and journal bytes.
+/// The seal must include the 4-byte verifier selector prefix used by the on-chain
+/// Verifier Router to dispatch to the correct proof system.
 pub fn verify_seal(
     image_id: &[u32; 8],
     seal: &[u8],
@@ -112,7 +113,8 @@ pub fn verify_seal(
     mcycle_count: u64,
     root_hash_after: &MachineHash,
 ) -> (MachineHash, u64, MachineHash) {
-    let raw_seal = if seal.len() == 260 { &seal[4..] } else { seal };
+    assert!(seal.len() == 260, "seal must be 260 bytes (4-byte selector + 256-byte proof), got {}", seal.len());
+    let raw_seal = &seal[4..];
     let image_id_digest: Digest = (*image_id).into();
     let claim = ReceiptClaim::ok(image_id_digest, journal_bytes.to_vec());
     let verifier_parameters = Groth16ReceiptVerifierParameters::default().digest();