Function ergo::ergo_lib_nipopow_proof_is_better_than
source · #[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