fn verify_pre_reduced_cofactored()

in src/main.rs [217:224]

• 8 lines of code
• 1 McCabe index (conditional complexity)

fn verify_pre_reduced_cofactored(
    message: &[u8],
    pub_key: &EdwardsPoint,
    unpacked_signature: &(EdwardsPoint, Scalar),
) -> Result<()> {
    let k = compute_hram(message, pub_key, &unpacked_signature.0);
    verify_final_pre_reduced_cofactored(pub_key, unpacked_signature, &k)
}