Struct EpochProgram

pub struct EpochProgram<N: Network> { /* private fields */ }

Implementations

impl<N: Network> EpochProgram<N>

pub fn construct_inputs(&self, rng: &mut ChaChaRng) -> Result<Vec<Value<N>>>

Construct the inputs for the given epoch program.

impl<N: Network> EpochProgram<N>

pub fn to_leaves<A: Aleo<Network = N>>( &self, console_inputs: Vec<Value<N>>, ) -> Result<Vec<Vec<bool>>>

Returns the R1CS assignment of the epoch program on the given inputs as a vector of bit sequences.

impl<N: Network> EpochProgram<N>

pub fn to_r1cs<A: Aleo<Network = N>>( &self, console_inputs: Vec<Value<N>>, ) -> Result<R1CS<A::BaseField>>

Synthesizes the R1CS for a program function on the given inputs.

impl<N: Network> EpochProgram<N>

pub fn new(epoch_hash: N::BlockHash) -> Result<Self>

Initializes a new epoch program, given an epoch.

This method deterministically synthesizes a new program.

impl<N: Network> EpochProgram<N>

pub const fn stack(&self) -> &Stack<N>

Returns the program stack.

pub const fn register_table(&self) -> &RegisterTable

Returns the register table.

pub const fn epoch_hash(&self) -> N::BlockHash

Returns the epoch.

pub fn instructions(&self) -> Result<&[Instruction<N>]>

Returns the instructions for the program.

Trait Implementations

impl<N: Clone + Network> Clone for EpochProgram<N>

where N::BlockHash: Clone,

fn clone(&self) -> EpochProgram<N>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: Network> Debug for EpochProgram<N>

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

Formats the epoch program for debugging.

impl<N: Network> Deref for EpochProgram<N>

type Target = ProgramCore<N, Instruction<N>, Command<N>>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<N: Network> PartialEq for EpochProgram<N>

fn eq(&self, other: &Self) -> bool

Returns true if the epoch programs are equal.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<N: Network> Eq for EpochProgram<N>