Function elgamal_ristretto::dl_knowledge::prove_compact

pub fn prove_compact(
    transcript: &mut Transcript, 
    assignments: ProveAssignments
) -> (CompactProof, CompressedPoints)

Given a transcript and assignments to secret and public variables, produce a proof in compact format.