Struct SynthesisPuzzle

pub struct SynthesisPuzzle<N: Network, A: Aleo<Network = N>> { /* private fields */ }

Implementations

impl<N: Network, A: Aleo<Network = N>> SynthesisPuzzle<N, A>

pub fn get_epoch_program( &self, epoch_hash: N::BlockHash, ) -> Result<EpochProgram<N>>

Returns the epoch program for the given epoch hash.

Trait Implementations

impl<N: Network, A: Aleo<Network = N>> PuzzleTrait<N> for SynthesisPuzzle<N, A>

fn new() -> Self

Initializes a new instance of the puzzle.

fn to_leaves( &self, epoch_hash: N::BlockHash, rng: &mut ChaChaRng, ) -> Result<Vec<Vec<bool>>>

Returns the leaves for the puzzle, given the epoch hash and seeded RNG.

Note: This function uses a thread to ensure the circuit is synthesized in a thread-safe environment. This ensures that SynthesisPuzzle can be used in a multi-threaded environment.

fn to_all_leaves( &self, epoch_hash: N::BlockHash, rngs: Vec<ChaChaRng>, ) -> Result<Vec<Vec<Vec<bool>>>>

Returns the batches of leaves for the puzzle, given the epoch hash and seeded RNGs.

Note: This function uses a thread to ensure the circuit is synthesized in a thread-safe environment. This ensures that SynthesisPuzzle can be used in a multi-threaded environment.

impl<N: Network, A: Aleo<Network = N>> Send for SynthesisPuzzle<N, A>

Attention: This is safe because we do not instantiate N or A in this struct. This implementation of Send and Sync cannot be applied to A directly for thread safety.

impl<N: Network, A: Aleo<Network = N>> Sync for SynthesisPuzzle<N, A>