[−]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.