Function elgamal_ristretto::dl_knowledge::verify_compact

pub fn verify_compact(
    proof: &CompactProof, 
    transcript: &mut Transcript, 
    assignments: VerifyAssignments
) -> Result<(), ProofError>

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