Struct snarkvm_synthesizer_process::Trace

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

Implementations

impl<N: Network> Trace<N>

pub fn new() -> Self

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: Network> Trace<N>

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

Inserts the transition into the trace.

impl<N: Network> Trace<N>

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: Network> Trace<N>

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

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

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

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

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

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::Field>>)>, execution: &Execution<N> ) -> Result<()>

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::Field>>), fee: &Fee<N> ) -> Result<()>

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 + Network> Clone for Trace<N>where N::Field: Clone, N::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 + Network> Debug for Trace<N>where N::Field: Debug, N::StateRoot: Debug,

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

Formats the value using the given formatter.

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

fn default() -> Trace<N>

Returns the “default value” for a type.