Struct snarkvm_ledger_store::helpers::memory::InputMemory

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

An in-memory transition input storage.

Trait Implementations

impl<N: Clone + Network> Clone for InputMemory<N>where N::TransitionID: Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: Network> InputStorage<N> for InputMemory<N>

fn open(dev: Option<u16>) -> Result<Self>

Initializes the transition input storage.

fn id_map(&self) -> &Self::IDMap

Returns the ID map.

fn reverse_id_map(&self) -> &Self::ReverseIDMap

Returns the reverse ID map.

fn constant_map(&self) -> &Self::ConstantMap

Returns the constant map.

fn public_map(&self) -> &Self::PublicMap

Returns the public map.

fn private_map(&self) -> &Self::PrivateMap

Returns the private map.

fn record_map(&self) -> &Self::RecordMap

Returns the record map.

fn record_tag_map(&self) -> &Self::RecordTagMap

Returns the record tag map.

fn external_record_map(&self) -> &Self::ExternalRecordMap

Returns the external record map.

fn dev(&self) -> Option<u16>

Returns the optional development ID.

type IDMap = MemoryMap<<N as Network>::TransitionID, Vec<Field<N>>>

The mapping of transition ID to input IDs.

type ReverseIDMap = MemoryMap<Field<N>, <N as Network>::TransitionID>

The mapping of input ID to transition ID.

type ConstantMap = MemoryMap<Field<N>, Option<Plaintext<N>>>

The mapping of plaintext hash to (optional) plaintext.

type PublicMap = MemoryMap<Field<N>, Option<Plaintext<N>>>

The mapping of plaintext hash to (optional) plaintext.

type PrivateMap = MemoryMap<Field<N>, Option<Ciphertext<N>>>

The mapping of ciphertext hash to (optional) ciphertext.

type RecordMap = MemoryMap<Field<N>, Field<N>>

The mapping of serial number to tag.

type RecordTagMap = MemoryMap<Field<N>, Field<N>>

The mapping of tag to serial number.

type ExternalRecordMap = MemoryMap<Field<N>, ()>

The mapping of external hash to (). Note: This is not the record commitment.

fn start_atomic(&self)

Starts an atomic batch write operation.

fn is_atomic_in_progress(&self) -> bool

Checks if an atomic batch is in progress.

fn atomic_checkpoint(&self)

Checkpoints the atomic batch.

fn clear_latest_checkpoint(&self)

Clears the latest atomic batch checkpoint.

fn atomic_rewind(&self)

Rewinds the atomic batch to the previous checkpoint.

fn abort_atomic(&self)

Aborts an atomic batch write operation.

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

Finishes an atomic batch write operation.

fn insert( &self, transition_id: N::TransitionID, inputs: &[Input<N>] ) -> Result<()>

Stores the given (transition ID, input) pair into storage.

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

Removes the input for the given transition ID.

fn find_transition_id( &self, input_id: &Field<N> ) -> Result<Option<N::TransitionID>>

Returns the transition ID that contains the given input ID.

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

Returns the input IDs for the given transition ID.

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

Returns the input for the given transition ID.