Function verify_dlog_equality 

pub fn verify_dlog_equality(
    y1: &AffinePoint,
    y2: &AffinePoint,
    g1: &AffinePoint,
    g2: &AffinePoint,
    proof1: &NizkProof,
    proof2: &NizkProof,
) -> bool

Verify equality of discrete logs.