Function sp1_lib::syscall_verify_sp1_proof

pub unsafe extern "C" fn syscall_verify_sp1_proof(
    vkey: &[u32; 8],
    pv_digest: &[u8; 32],
)

Defers the verification of a valid SP1 zkVM proof.