Crate zkplmt_test_helpers

Structs

• FakeCsprng
  The Dalek types require the CryptoRng trait for random number generators. While this may be important for cryptographic safety in some cases, this prevents deterministic RNG needed for proptesting. We are using a new-type which impl’s the trait to trick Dalek that the RNG is cryptographically secure.

Functions

• arb_curve_vector
• arb_message
• arb_proof
• arb_tuples
• arb_vector_tuple
• verify_zkplmt