Trait snarkvm_compiler::TransitionStorage

source · [−]
pub trait TransitionStorage<N: Network>: Clone + Sync {
    type LocatorMap: for<'a> Map<'a, N::TransitionID, (ProgramID<N>, Identifier<N>)>;
    type InputStorage: InputStorage<N>;
    type OutputStorage: OutputStorage<N>;
    type FinalizeMap: for<'a> Map<'a, N::TransitionID, Option<Vec<Value<N>>>>;
    type ProofMap: for<'a> Map<'a, N::TransitionID, Proof<N>>;
    type TPKMap: for<'a> Map<'a, N::TransitionID, Group<N>>;
    type ReverseTPKMap: for<'a> Map<'a, Group<N>, N::TransitionID>;
    type TCMMap: for<'a> Map<'a, N::TransitionID, Field<N>>;
    type ReverseTCMMap: for<'a> Map<'a, Field<N>, N::TransitionID>;
    type FeeMap: for<'a> Map<'a, N::TransitionID, i64>;


Show 18 methods    fn open() -> Result<Self>;
    fn locator_map(&self) -> &Self::LocatorMap;
    fn input_store(&self) -> &InputStore<N, Self::InputStorage>;
    fn output_store(&self) -> &OutputStore<N, Self::OutputStorage>;
    fn finalize_map(&self) -> &Self::FinalizeMap;
    fn proof_map(&self) -> &Self::ProofMap;
    fn tpk_map(&self) -> &Self::TPKMap;
    fn reverse_tpk_map(&self) -> &Self::ReverseTPKMap;
    fn tcm_map(&self) -> &Self::TCMMap;
    fn reverse_tcm_map(&self) -> &Self::ReverseTCMMap;
    fn fee_map(&self) -> &Self::FeeMap;

    fn start_atomic(&self) { ... }
    fn is_atomic_in_progress(&self) -> bool { ... }
    fn abort_atomic(&self) { ... }
    fn finish_atomic(&self) -> Result<()> { ... }
    fn insert(&self, transition: Transition<N>) -> Result<()> { ... }
    fn remove(&self, transition_id: &N::TransitionID) -> Result<()> { ... }
    fn get(
        &self,
        transition_id: &N::TransitionID
    ) -> Result<Option<Transition<N>>> { ... }

}
Expand description

A trait for transition storage.

Required Associated Types

The transition program IDs and function names.

The transition inputs.

The transition outputs.

The transition finalize inputs.

The transition proofs.

The transition public keys.

The mapping of transition public key to transition ID.

The transition commitments.

The mapping of transition commitment to transition ID.

The transition fees.

Required Methods

Initializes the transition storage.

Returns the transition program IDs and function names.

Returns the transition input store.

Returns the transition output store.

Returns the transition finalize inputs map.

Returns the transition proofs map.

Returns the transition public keys map.

Returns the reverse tpk map.

Returns the transition commitments map.

Returns the reverse tcm map.

Returns the transition fees.

Provided Methods

Starts an atomic batch write operation.

Checks if an atomic batch is in progress.

Aborts an atomic batch write operation.

Finishes an atomic batch write operation.

Stores the given transition into storage.

Removes the input for the given transition ID.

Returns the transition for the given transition ID.

Implementors