Function schnorrkel::verify_batch_deterministic[][src]

pub fn verify_batch_deterministic<T, I>(
    transcripts: I,
    signatures: &[Signature],
    public_keys: &[PublicKey],
    deduplicate_public_keys: bool
) -> SignatureResult<()> where
    T: SigningTranscript,
    I: IntoIterator<Item = T>, 

Verify a batch of signatures on messages with their respective public_keys.

Avoids using system randomness and instead depends entirely upon delinearization.

We break the R: CryptRng requirement from verify_batch_rng here, but this appears fine using an Fiat-Shamir transform with an argument similar to public key delinearization.

We caution deeterministic delinearization could interact poorly with other functionaltiy, if one delinarization scalar were left constant. We do not make that mistake here.