Trait snarkvm_compiler::DeploymentStorage

pub trait DeploymentStorage<N: Network>: Clone + Sync {
    type IDMap: for<'a> Map<'a, N::TransactionID, ProgramID<N>>;
    type EditionMap: for<'a> Map<'a, ProgramID<N>, u16>;
    type ReverseIDMap: for<'a> Map<'a, (ProgramID<N>, u16), N::TransactionID>;
    type ProgramMap: for<'a> Map<'a, (ProgramID<N>, u16), Program<N>>;
    type VerifyingKeyMap: for<'a> Map<'a, (ProgramID<N>, Identifier<N>, u16), VerifyingKey<N>>;
    type CertificateMap: for<'a> Map<'a, (ProgramID<N>, Identifier<N>, u16), Certificate<N>>;
    type AdditionalFeeMap: for<'a> Map<'a, N::TransactionID, N::TransitionID>;
    type TransitionStorage: TransitionStorage<N>;

    fn open(
        transition_store: TransitionStore<N, Self::TransitionStorage>
    ) -> Result<Self>;
    fn id_map(&self) -> &Self::IDMap;
    fn edition_map(&self) -> &Self::EditionMap;
    fn reverse_id_map(&self) -> &Self::ReverseIDMap;
    fn program_map(&self) -> &Self::ProgramMap;
    fn verifying_key_map(&self) -> &Self::VerifyingKeyMap;
    fn certificate_map(&self) -> &Self::CertificateMap;
    fn additional_fee_map(&self) -> &Self::AdditionalFeeMap;
    fn transition_store(&self) -> &TransitionStore<N, Self::TransitionStorage>;

    fn start_atomic(&self) { ... }
    fn is_atomic_in_progress(&self) -> bool { ... }
    fn abort_atomic(&self) { ... }
    fn finish_atomic(&self) -> Result<()> { ... }
    fn insert(&self, transaction: &Transaction<N>) -> Result<()> { ... }
    fn remove(&self, transaction_id: &N::TransactionID) -> Result<()> { ... }
    fn find_transaction_id(
        &self,
        program_id: &ProgramID<N>
    ) -> Result<Option<N::TransactionID>> { ... }
    fn get_program_id(
        &self,
        transaction_id: &N::TransactionID
    ) -> Result<Option<ProgramID<N>>> { ... }
    fn get_edition(&self, program_id: &ProgramID<N>) -> Result<Option<u16>> { ... }
    fn get_program(
        &self,
        program_id: &ProgramID<N>
    ) -> Result<Option<Program<N>>> { ... }
    fn get_verifying_key(
        &self,
        program_id: &ProgramID<N>,
        function_name: &Identifier<N>
    ) -> Result<Option<VerifyingKey<N>>> { ... }
    fn get_certificate(
        &self,
        program_id: &ProgramID<N>,
        function_name: &Identifier<N>
    ) -> Result<Option<Certificate<N>>> { ... }
    fn get_deployment(
        &self,
        transaction_id: &N::TransactionID
    ) -> Result<Option<Deployment<N>>> { ... }
    fn get_additional_fee(
        &self,
        transaction_id: &N::TransactionID
    ) -> Result<Option<AdditionalFee<N>>> { ... }
    fn get_transaction(
        &self,
        transaction_id: &N::TransactionID
    ) -> Result<Option<Transaction<N>>> { ... }
}

A trait for deployment storage.

Required Associated Types

type IDMap: for<'a> Map<'a, N::TransactionID, ProgramID<N>>

The mapping of transaction ID to program ID.

type EditionMap: for<'a> Map<'a, ProgramID<N>, u16>

The mapping of program ID to edition.

type ReverseIDMap: for<'a> Map<'a, (ProgramID<N>, u16), N::TransactionID>

The mapping of (program ID, edition) to transaction ID.

type ProgramMap: for<'a> Map<'a, (ProgramID<N>, u16), Program<N>>

The mapping of (program ID, edition) to program.

type VerifyingKeyMap: for<'a> Map<'a, (ProgramID<N>, Identifier<N>, u16), VerifyingKey<N>>

The mapping of (program ID, function name, edition) to verifying key.

type CertificateMap: for<'a> Map<'a, (ProgramID<N>, Identifier<N>, u16), Certificate<N>>

The mapping of (program ID, function name, edition) to certificate.

type AdditionalFeeMap: for<'a> Map<'a, N::TransactionID, N::TransitionID>

The mapping of transaction ID to additional fee ID.

type TransitionStorage: TransitionStorage<N>

The transition storage.

Required Methods

fn open(
    transition_store: TransitionStore<N, Self::TransitionStorage>
) -> Result<Self>

Initializes the deployment storage.

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

Returns the ID map.

fn edition_map(&self) -> &Self::EditionMap

Returns the edition map.

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

Returns the reverse ID map.

fn program_map(&self) -> &Self::ProgramMap

Returns the program map.

fn verifying_key_map(&self) -> &Self::VerifyingKeyMap

Returns the verifying key map.

fn certificate_map(&self) -> &Self::CertificateMap

Returns the certificate map.

fn additional_fee_map(&self) -> &Self::AdditionalFeeMap

Returns the additional fee map.

fn transition_store(&self) -> &TransitionStore<N, Self::TransitionStorage>

Returns the transition storage.

Provided Methods

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 abort_atomic(&self)

Aborts an atomic batch write operation.

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

Finishes an atomic batch write operation.

fn insert(&self, transaction: &Transaction<N>) -> Result<()>

Stores the given deployment transaction pair into storage.

fn remove(&self, transaction_id: &N::TransactionID) -> Result<()>

Removes the deployment transaction for the given transaction ID.

fn find_transaction_id(
    &self,
    program_id: &ProgramID<N>
) -> Result<Option<N::TransactionID>>

Returns the transaction ID that contains the given program ID.

fn get_program_id(
    &self,
    transaction_id: &N::TransactionID
) -> Result<Option<ProgramID<N>>>

Returns the program ID for the given transaction ID.

fn get_edition(&self, program_id: &ProgramID<N>) -> Result<Option<u16>>

Returns the edition for the given program ID.

fn get_program(&self, program_id: &ProgramID<N>) -> Result<Option<Program<N>>>

Returns the program for the given program ID.

fn get_verifying_key(
    &self,
    program_id: &ProgramID<N>,
    function_name: &Identifier<N>
) -> Result<Option<VerifyingKey<N>>>

Returns the verifying key for the given program ID and function name.

fn get_certificate(
    &self,
    program_id: &ProgramID<N>,
    function_name: &Identifier<N>
) -> Result<Option<Certificate<N>>>

Returns the certificate for the given program ID and function name.

fn get_deployment(
    &self,
    transaction_id: &N::TransactionID
) -> Result<Option<Deployment<N>>>

Returns the deployment for the given transaction ID.

fn get_additional_fee(
    &self,
    transaction_id: &N::TransactionID
) -> Result<Option<AdditionalFee<N>>>

Returns the additional fee for the given transaction ID.

fn get_transaction(
    &self,
    transaction_id: &N::TransactionID
) -> Result<Option<Transaction<N>>>

Returns the transaction for the given transaction ID.

Implementors

impl<N: Network> DeploymentStorage<N> for DeploymentMemory<N>

type IDMap = MemoryMap<<N as Network>::TransactionID, ProgramID<N>>

type EditionMap = MemoryMap<ProgramID<N>, u16>

type ReverseIDMap = MemoryMap<(ProgramID<N>, u16), <N as Network>::TransactionID>

type ProgramMap = MemoryMap<(ProgramID<N>, u16), Program<N>>

type VerifyingKeyMap = MemoryMap<(ProgramID<N>, Identifier<N>, u16), VerifyingKey<N>>

type CertificateMap = MemoryMap<(ProgramID<N>, Identifier<N>, u16), Certificate<N>>

type AdditionalFeeMap = MemoryMap<<N as Network>::TransactionID, <N as Network>::TransitionID>

type TransitionStorage = TransitionMemory<N>