Struct snarkvm_synthesizer::prelude::InclusionAssignment

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

Implementations

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

pub fn new( state_path: StatePath<N>, commitment: Field<N>, gamma: Group<N>, serial_number: Field<N>, local_state_root: <N as Network>::TransactionID, is_global: bool ) -> InclusionAssignment<N>

Initializes a new inclusion assignment.

pub fn to_circuit_assignment<A>( &self ) -> Result<Assignment<<N as Environment>::Field>, Error>where A: Aleo<Network = N>,

The circuit for state path verification.

Diagram

The [[ ]] notation is used to denote public inputs.

            [[ global_state_root ]] || [[ local_state_root ]]
                       |                          |
                       -------- is_global --------
                                    |
                               state_path
                                   |
[[ serial_number ]] := Commit( commitment || Hash( COFACTOR * gamma ) )

Trait Implementations

impl<N> Clone for InclusionAssignment<N>where N: Clone + Network, <N as Network>::TransactionID: Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N> Debug for InclusionAssignment<N>where N: Debug + Network, <N as Network>::TransactionID: Debug,

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

Formats the value using the given formatter.