Function risc0_zkvm_platform::syscall::sys_verify_integrity

#[no_mangle]
pub unsafe extern "C" fn sys_verify_integrity(
    claim_digest: *const [u32; 8],
    control_root: *const [u32; 8],
)

Available on crate feature export-syscalls only.

Send a ReceiptClaim digest to the host to request verification.

A cooperative prover will only return if there is a verifying proof associated with that claim digest, and will always return a result code of 0 to register a0. The caller must encode the claim_digest into a public assumptions list for inclusion in the guest output.

Safety

claim_digest must be aligned and dereferenceable. control_root must be aligned and dereferenceable.