secp256kfun 0.5.0

A mid-level secp256k1 library optimized for fun!
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

//! Functions used to generate test data for property-based testing with [`proptest`].
//!
//! [`proptest`]: https://github.com/altsysrq/proptest
use crate::{marker::*, Point, Scalar, G};
use ::proptest::prelude::*;

prop_compose! {
    /// Generate a random `Scalar`.
    pub fn scalar()(
        bytes in any::<[u8; 32]>(),
    ) -> Scalar<Secret, Zero> {
        Scalar::from_bytes_mod_order(bytes)
    }
}

prop_compose! {
    /// Generate a random, non-zero `Scalar`.
    pub fn non_zero_scalar()(
        bytes in any::<[u8; 32]>()
            .prop_filter("Value cannot be zero",
                         |bytes| bytes != &[0u8; 32]),
    ) -> Scalar {
        Scalar::from_bytes_mod_order(bytes).mark::<NonZero>().unwrap()
    }
}

prop_compose! {
    /// Generate a random `Point`.
    pub fn point()(
        mut x in non_zero_scalar(),
    ) -> Point {
        Point::from_scalar_mul(G, &mut x).mark::<Normal>()
    }
}