[−]Function elgamal_ristretto::dleq::verify_batchable
pub fn verify_batchable(
proof: &BatchableProof,
transcript: &mut Transcript,
assignments: VerifyAssignments
) -> Result<(), ProofError>
Given a transcript and assignments to public variables, verify a proof in batchable format.