Function prove_dlog_equality 

pub fn prove_dlog_equality(
    secret: &Scalar,
    g1: &AffinePoint,
    g2: &AffinePoint,
) -> (NizkProof, NizkProof)

Prove equality of discrete logs: Y1 = xG1 and Y2 = xG2 (same x).