Struct snarkvm_synthesizer::Trace

pub struct Trace<N>where
    N: Network,{ /* private fields */ }

Implementations

impl<N> Trace<N>where N: Network,

pub fn new() -> Trace<N>

Initializes a new trace.

pub fn transitions(&self) -> &[Transition<N>]

Returns the list of transitions.

pub fn call_metrics(&self) -> &[CallMetrics<N>]

Returns the call metrics.

impl<N> Trace<N>where N: Network,

pub fn insert_transition( &mut self, input_ids: &[InputID<N>], transition: &Transition<N>, _: (ProvingKey<N>, Assignment<<N as Environment>::Field>), metrics: CallMetrics<N> ) -> Result<(), Error>

Inserts the transition into the trace.

impl<N> Trace<N>where N: Network,

pub fn is_fee(&self) -> bool

Returns true if the trace is for a fee transition.

pub fn is_fee_private(&self) -> bool

Returns true if the trace is for a private fee transition.

pub fn is_fee_public(&self) -> bool

Returns true if the trace is for a public fee transition.

impl<N> Trace<N>where N: Network,

pub fn prepare(&mut self, query: impl QueryTrait<N>) -> Result<(), Error>

Returns the inclusion assignments and global state root for the current transition(s).

pub fn prove_execution<A, R>( &self, locator: &str, rng: &mut R ) -> Result<Execution<N>, Error>where A: Aleo<Network = N>, R: Rng + CryptoRng,

Returns a new execution with a proof, for the current inclusion assignments and global state root.

pub fn prove_fee<A, R>(&self, rng: &mut R) -> Result<Fee<N>, Error>where A: Aleo<Network = N>, R: Rng + CryptoRng,

Returns a new fee with a proof, for the current inclusion assignment and global state root.

pub fn verify_execution_proof( locator: &str, verifier_inputs: Vec<(VerifyingKey<N>, Vec<Vec<<N as Environment>::Field>>)>, execution: &Execution<N> ) -> Result<(), Error>

Checks the proof for the execution. Note: This does not check that the global state root exists in the ledger.

pub fn verify_fee_proof( verifier_inputs: (VerifyingKey<N>, Vec<Vec<<N as Environment>::Field>>), fee: &Fee<N> ) -> Result<(), Error>

Checks the proof for the fee. Note: This does not check that the global state root exists in the ledger.

Trait Implementations

impl<N> Clone for Trace<N>where N: Clone + Network, <N as Environment>::Field: Clone, <N as Network>::StateRoot: Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N> Debug for Trace<N>where N: Debug + Network, <N as Environment>::Field: Debug, <N as Network>::StateRoot: Debug,

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

Formats the value using the given formatter.

impl<N> Default for Trace<N>where N: Default + Network, <N as Environment>::Field: Default, <N as Network>::StateRoot: Default,

fn default() -> Trace<N>

Returns the “default value” for a type.