pub unsafe extern "C" fn proof_hash(proof: Proof) -> usize
Compute the hash value of a proof. @param proof The proof. @return The hash value of the proof.