#[no_mangle]
pub unsafe extern "C" fn ergo_lib_nipopow_proof_is_better_than(
    nipopow_proof_ptr: ConstNipopowProofPtr,
    other_nipopow_proof_ptr: ConstNipopowProofPtr
) -> ReturnBool
Expand description

Implementation of the ≥ algorithm from KMZ17, see Algorithm 4