bitcoin-rs-script 0.3.1

bitcoin-rs :: script
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

use rayon::prelude::*;
use secp256k1::{Message, XOnlyPublicKey, schnorr::Signature};

/// Verifies Schnorr signatures in parallel.
///
/// secp256k1 0.31 exposes per-signature Schnorr verification but not public
/// batch verification. This v1 batch path preserves the public shape while using
/// Rayon to verify independent items concurrently.
#[must_use]
pub fn verify_schnorr_batch(items: &[(Signature, Message, XOnlyPublicKey)]) -> bool {
    items.par_iter().all(|(signature, message, public_key)| {
        secp256k1::SECP256K1
            .verify_schnorr(signature, message.as_ref(), public_key)
            .is_ok()
    })
}

#[cfg(test)]
mod tests {
    use secp256k1::{Keypair, Message, Secp256k1, SecretKey, XOnlyPublicKey};

    use super::verify_schnorr_batch;

    #[test]
    fn batch_verify_is_conjunction_of_individual_verification() {
        let secp = Secp256k1::new();
        let secret = match SecretKey::from_byte_array([3; 32]) {
            Ok(secret) => secret,
            Err(error) => panic!("fixed secret key should be valid: {error}"),
        };
        let keypair = Keypair::from_secret_key(&secp, &secret);
        let (public_key, _) = XOnlyPublicKey::from_keypair(&keypair);
        let items: Vec<_> = (0u8..20)
            .map(|byte| {
                let message = Message::from_digest([byte; 32]);
                let signature = secp.sign_schnorr(message.as_ref(), &keypair);
                (signature, message, public_key)
            })
            .collect();

        assert!(verify_schnorr_batch(&items));
    }
}