Struct schnorr_fun::nonce::Synthetic

pub struct Synthetic<H, R> { /* fields omitted */ }

A nonce generator that uses an RNG to mix in real randomness into the nonce generation.

The rng needs to implmenet NonceRng. This is done already for GlobalRng.

Examples

use rand::rngs::ThreadRng;
use secp256kfun::nonce;
use sha2::Sha256;
// the usual way to use this.
let nonce_gen = nonce::Synthetic::<Sha256, nonce::GlobalRng<ThreadRng>>::default(); // or OsRng
let nonce_gen = nonce::Synthetic::<Sha256, _>::new(my_rng); // BYO rng you've implemented NonceRng for

Implementations

impl<H, R> Synthetic<H, R> where
    R: NonceRng,
    H: Default, 

pub fn new(rng: R) -> Synthetic<H, R>

Creates a Synethetic nonce generator from anything that implements NonceRng.

Trait Implementations

impl<H, R> AddTag for Synthetic<H, R> where
    H: Tagged, 

pub fn add_tag(self, tag: &str) -> Synthetic<H, R>

Tells the invocant to return a new version of itself modified with the tag. This is to ensure that a NonceGen does not produce the same outputs for two different tags even if they have the same public inputs.

impl<H, R> Clone for Synthetic<H, R> where
    R: Clone,
    H: Clone, 

pub fn clone(&self) -> Synthetic<H, R>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<H, R> Debug for Synthetic<H, R> where
    R: Debug,
    H: Debug, 

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<H, R> Default for Synthetic<H, R> where
    R: Default,
    H: Default, 

pub fn default() -> Synthetic<H, R>

Returns the “default value” for a type.

impl<H, R> NonceGen for Synthetic<H, R> where
    R: NonceRng,
    H: Tagged + Digest<OutputSize = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>> + Clone, 

type Hash = H

The type of hash that begin_derivation will return.

pub fn begin_derivation(
    &self,
    secret: &Scalar<Secret, NonZero>
) -> <Synthetic<H, R> as NonceGen>::Hash

Takes a secret Scalar and outputs a hash. Before turining this hash into the nonce, you must add a secret input and all the public inputs from the scheme into the hash. So for a signature scheme for example you would add your secret key, the message and the public key.