Struct snarkvm_synthesizer_process::InclusionAssignment

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

Implementations

impl<N: Network> InclusionAssignment<N>

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

Initializes a new inclusion assignment.

pub fn to_circuit_assignment<A: Aleo<Network = N>>( &self ) -> Result<Assignment<N::Field>>

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 + Network> Clone for InclusionAssignment<N>where N::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 + Network> Debug for InclusionAssignment<N>where N::TransactionID: Debug,

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

Formats the value using the given formatter.