Struct snarkvm_compiler::TransitionStore

pub struct TransitionStore<N: Network, T: TransitionStorage<N>> { /* private fields */ }

The transition store.

Implementations

impl<N: Network, T: TransitionStorage<N>> TransitionStore<N, T>

pub fn open() -> Result<Self>

Initializes the transition store.

pub fn from(storage: T) -> Self

Initializes a transition store from storage.

pub fn insert(&self, transition: Transition<N>) -> Result<()>

Stores the given transition into storage.

pub fn remove(&self, transition_id: &N::TransitionID) -> Result<()>

Removes the input for the given transition ID.

pub fn start_atomic(&self)

Starts an atomic batch write operation.

pub fn is_atomic_in_progress(&self) -> bool

Checks if an atomic batch is in progress.

pub fn abort_atomic(&self)

Aborts an atomic batch write operation.

pub fn finish_atomic(&self) -> Result<()>

Finishes an atomic batch write operation.

impl<N: Network, T: TransitionStorage<N>> TransitionStore<N, T>

pub fn find_transition_id(&self, id: &Field<N>) -> Result<N::TransitionID>

Returns the transition ID that contains the given input ID or output ID.

impl<N: Network, T: TransitionStorage<N>> TransitionStore<N, T>

pub fn get_transition(
    &self,
    transition_id: &N::TransitionID
) -> Result<Option<Transition<N>>>

Returns the transition for the given transition ID.

pub fn get_program_id(
    &self,
    transition_id: &N::TransitionID
) -> Result<Option<ProgramID<N>>>

Returns the program ID for the given transition ID.

pub fn get_function_name(
    &self,
    transition_id: &N::TransitionID
) -> Result<Option<Identifier<N>>>

Returns the function name for the given transition ID.

pub fn get_input_ids(
    &self,
    transition_id: &N::TransitionID
) -> Result<Vec<Field<N>>>

Returns the input IDs for the given transition ID.

pub fn get_inputs(
    &self,
    transition_id: &N::TransitionID
) -> Result<Vec<Input<N>>>

Returns the inputs for the given transition ID.

pub fn get_output_ids(
    &self,
    transition_id: &N::TransitionID
) -> Result<Vec<Field<N>>>

Returns the output IDs for the given transition ID.

pub fn get_outputs(
    &self,
    transition_id: &N::TransitionID
) -> Result<Vec<Output<N>>>

Returns the outputs for the given transition ID.

pub fn get_finalize(
    &self,
    transition_id: &N::TransitionID
) -> Result<Option<Vec<Value<N>>>>

Returns the finalize inputs for the given transition ID.

pub fn get_record(
    &self,
    commitment: &Field<N>
) -> Result<Option<Record<N, Ciphertext<N>>>>

Returns the record for the given commitment.

If the record exists, Ok(Some(record)) is returned. If the record was purged, Ok(None) is returned. If the record does not exist, Err(error) is returned.

impl<N: Network, T: TransitionStorage<N>> TransitionStore<N, T>

pub fn contains_transition_id(
    &self,
    transition_id: &N::TransitionID
) -> Result<bool>

Returns true if the given transition ID exists.

pub fn contains_input_id(&self, input_id: &Field<N>) -> Result<bool>

Returns true if the given input ID exists.

pub fn contains_serial_number(&self, serial_number: &Field<N>) -> Result<bool>

Returns true if the given serial number exists.

pub fn contains_tag(&self, tag: &Field<N>) -> Result<bool>

Returns true if the given tag exists.

pub fn contains_output_id(&self, output_id: &Field<N>) -> Result<bool>

Returns true if the given output ID exists.

pub fn contains_commitment(&self, commitment: &Field<N>) -> Result<bool>

Returns true if the given commitment exists.

pub fn contains_checksum(&self, checksum: &Field<N>) -> bool

Returns true if the given checksum exists.

pub fn contains_nonce(&self, nonce: &Group<N>) -> Result<bool>

Returns true if the given nonce exists.

pub fn contains_tpk(&self, tpk: &Group<N>) -> Result<bool>

Returns true if the given transition public key exists.

pub fn contains_tcm(&self, tcm: &Field<N>) -> Result<bool>

Returns true if the given transition commitment exists.

impl<N: Network, T: TransitionStorage<N>> TransitionStore<N, T>

pub fn transition_ids(
    &self
) -> impl '_ + Iterator<Item = Cow<'_, N::TransitionID>>

Returns an iterator over the transition IDs, for all transitions.

pub fn input_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the input IDs, for all transition inputs.

pub fn constant_input_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the constant input IDs, for all transition inputs that are constant.

pub fn public_input_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the public input IDs, for all transition inputs that are public.

pub fn private_input_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the private input IDs, for all transition inputs that are private.

pub fn serial_numbers(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the serial numbers, for all transition inputs that are records.

pub fn external_input_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the external record input IDs, for all transition inputs that are external records.

pub fn output_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the output IDs, for all transition outputs.

pub fn constant_output_ids(
    &self
) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the constant output IDs, for all transition outputs that are constant.

pub fn public_output_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the public output IDs, for all transition outputs that are public.

pub fn private_output_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the private output IDs, for all transition outputs that are private.

pub fn commitments(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the commitments, for all transition outputs that are records.

pub fn external_output_ids(
    &self
) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the external record output IDs, for all transition outputs that are external records.

impl<N: Network, T: TransitionStorage<N>> TransitionStore<N, T>

pub fn constant_inputs(
    &self
) -> impl '_ + Iterator<Item = Cow<'_, Plaintext<N>>>

Returns an iterator over the constant inputs, for all transitions.

pub fn public_inputs(&self) -> impl '_ + Iterator<Item = Cow<'_, Plaintext<N>>>

Returns an iterator over the constant inputs, for all transitions.

pub fn private_inputs(
    &self
) -> impl '_ + Iterator<Item = Cow<'_, Ciphertext<N>>>

Returns an iterator over the private inputs, for all transitions.

pub fn tags(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the tags, for all transition inputs that are records.

pub fn origins(&self) -> impl '_ + Iterator<Item = Cow<'_, Origin<N>>>

Returns an iterator over the origins, for all transition inputs that are records.

pub fn constant_outputs(
    &self
) -> impl '_ + Iterator<Item = Cow<'_, Plaintext<N>>>

Returns an iterator over the constant outputs, for all transitions.

pub fn public_outputs(&self) -> impl '_ + Iterator<Item = Cow<'_, Plaintext<N>>>

Returns an iterator over the constant outputs, for all transitions.

pub fn private_outputs(
    &self
) -> impl '_ + Iterator<Item = Cow<'_, Ciphertext<N>>>

Returns an iterator over the private outputs, for all transitions.

pub fn checksums(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the checksums, for all transition outputs that are records.

pub fn nonces(&self) -> impl '_ + Iterator<Item = Cow<'_, Group<N>>>

Returns an iterator over the nonces, for all transition outputs that are records.

pub fn records(
    &self
) -> impl '_ + Iterator<Item = (Cow<'_, Field<N>>, Cow<'_, Record<N, Ciphertext<N>>>)>

Returns an iterator over the (commitment, record) pairs, for all transition outputs that are records.

pub fn proofs(&self) -> impl '_ + Iterator<Item = Cow<'_, Proof<N>>>

Returns an iterator over the proofs, for all transitions.

pub fn tpks(&self) -> impl '_ + Iterator<Item = Cow<'_, Group<N>>>

Returns an iterator over the transition public keys, for all transitions.

pub fn tcms(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the transition commitments, for all transitions.

pub fn fees(&self) -> impl '_ + Iterator<Item = Cow<'_, i64>>

Returns an iterator over the transition fees, for all transitions.

Trait Implementations

impl<N: Clone + Network, T: Clone + TransitionStorage<N>> Clone for TransitionStore<N, T> where
    T::LocatorMap: Clone,
    T::InputStorage: Clone,
    T::OutputStorage: Clone,
    T::FinalizeMap: Clone,
    T::ProofMap: Clone,
    T::TPKMap: Clone,
    T::ReverseTPKMap: Clone,
    T::TCMMap: Clone,
    T::ReverseTCMMap: Clone,
    T::FeeMap: Clone, 

fn clone(&self) -> TransitionStore<N, T>

Returns a copy of the value.

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

Performs copy-assignment from source.