in src/main.rs [208:215]
fn verify_cofactorless(
message: &[u8],
pub_key: &EdwardsPoint,
unpacked_signature: &(EdwardsPoint, Scalar),
) -> Result<()> {
let k = compute_hram(message, pub_key, &unpacked_signature.0);
verify_final_cofactorless(pub_key, unpacked_signature, &k)
}