pub unsafe extern "C" fn syscall_verify_sp1_proof( vk_digest: &[u32; 8], pv_digest: &[u8; 32], )
Defers the verification of a valid SP1 zkVM proof.