Function simplicity_sys::ffi::dag::verifyNoDuplicateIdentityRoots

source ·

pub unsafe extern "C" fn verifyNoDuplicateIdentityRoots(
    imr: *mut CSha256Midstate,
    dag: *const CDagNode,
    type_dag: *const CType,
    len: size_t
) -> SimplicityErr

Expand description

Computes the identity Merkle roots of every subexpression in a well-typed ‘dag’ with witnesses .