[−]Function elgamal_ristretto::dleq::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.