Struct snarkvm_ledger_store::helpers::memory::FinalizeMemory

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

An in-memory finalize storage.

Trait Implementations

impl<N: Clone + Network> Clone for FinalizeMemory<N>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: Network> FinalizeStorage<N> for FinalizeMemory<N>

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

Initializes the finalize storage.

fn committee_store(&self) -> &CommitteeStore<N, Self::CommitteeStorage>

Returns the committee store.

fn program_id_map(&self) -> &Self::ProgramIDMap

Returns the program ID map.

fn key_value_map(&self) -> &Self::KeyValueMap

Returns the key-value map.

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

Returns the optional development ID.

type CommitteeStorage = CommitteeMemory<N>

The committee storage.

type ProgramIDMap = MemoryMap<ProgramID<N>, IndexSet<Identifier<N>>>

The mapping of program ID to [mapping name].

type KeyValueMap = NestedMemoryMap<(ProgramID<N>, Identifier<N>), Plaintext<N>, Value<N>>

The mapping of (program ID, mapping name) to [(key, value)].

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 initialize_mapping( &self, program_id: ProgramID<N>, mapping_name: Identifier<N> ) -> Result<FinalizeOperation<N>>

Initializes the given program ID and mapping name in storage. If the mapping name is already initialized, an error is returned.

fn insert_key_value( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: Plaintext<N>, value: Value<N> ) -> Result<FinalizeOperation<N>>

Stores the given (key, value) pair at the given program ID and mapping name in storage. If the mapping name is not initialized, an error is returned. If the key already exists, the method returns an error.

fn update_key_value( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: Plaintext<N>, value: Value<N> ) -> Result<FinalizeOperation<N>>

Stores the given (key, value) pair at the given program ID and mapping name in storage. If the mapping name is not initialized, an error is returned. If the key does not exist, the (key, value) pair is initialized. If the key already exists, the value is overwritten.

fn remove_key_value( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<Option<FinalizeOperation<N>>>

Removes the key-value pair for the given program ID, mapping name, and key from storage. If the key does not exist, None is returned.

fn replace_mapping( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, entries: Vec<(Plaintext<N>, Value<N>)> ) -> Result<FinalizeOperation<N>>

Replaces the mapping for the given program ID and mapping name from storage, with the given key-value pairs.

fn remove_mapping( &self, program_id: ProgramID<N>, mapping_name: Identifier<N> ) -> Result<FinalizeOperation<N>>

Removes the mapping for the given program ID and mapping name from storage, along with all associated key-value pairs in storage.

fn remove_program(&self, program_id: &ProgramID<N>) -> Result<()>

Removes the program for the given program ID from storage, along with all associated mappings and key-value pairs in storage.

fn contains_program_confirmed(&self, program_id: &ProgramID<N>) -> Result<bool>

Returns true if the given program ID exist.

fn contains_mapping_confirmed( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N> ) -> Result<bool>

Returns true if the given program ID and mapping name exist.

fn contains_mapping_speculative( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N> ) -> Result<bool>

Returns true if the given program ID and mapping name exist.

fn contains_key_confirmed( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<bool>

Returns true if the given program ID, mapping name, and key exist.

fn contains_key_speculative( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<bool>

Returns true if the given program ID, mapping name, and key exist.

fn get_mapping_names_confirmed( &self, program_id: &ProgramID<N> ) -> Result<Option<IndexSet<Identifier<N>>>>

Returns the confirmed mapping names for the given program ID.

fn get_mapping_names_speculative( &self, program_id: &ProgramID<N> ) -> Result<Option<IndexSet<Identifier<N>>>>

Returns the speculative mapping names for the given program ID.

fn get_mapping_confirmed( &self, program_id: ProgramID<N>, mapping_name: Identifier<N> ) -> Result<Vec<(Plaintext<N>, Value<N>)>>

Returns the confirmed mapping entries for the given program ID and mapping name.

fn get_mapping_speculative( &self, program_id: ProgramID<N>, mapping_name: Identifier<N> ) -> Result<Vec<(Plaintext<N>, Value<N>)>>

Returns the speculative mapping entries for the given program ID and mapping name.

fn get_value_confirmed( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<Option<Value<N>>>

Returns the confirmed value for the given program ID, mapping name, and key.

fn get_value_speculative( &self, program_id: ProgramID<N>, mapping_name: Identifier<N>, key: &Plaintext<N> ) -> Result<Option<Value<N>>>

Returns the speculative value for the given program ID, mapping name, and key.

fn get_checksum_confirmed(&self) -> Result<Field<N>>

Returns the confirmed checksum of the finalize storage.

fn get_checksum_pending(&self) -> Result<Field<N>>

Returns the pending checksum of the finalize storage.