Struct aleo_rust::snarkvm_types::VM

pub struct VM<N, C>where
    N: Network,
    C: ConsensusStorage<N>,{ /* private fields */ }

Implementations

impl<N, C> VM<N, C>where N: Network, C: ConsensusStorage<N>,

pub fn authorize<R>( &self, private_key: &PrivateKey<N>, program_id: impl TryInto<ProgramID<N>>, function_name: impl TryInto<Identifier<N>>, inputs: impl IntoIterator<IntoIter = impl ExactSizeIterator<Item = impl TryInto<Value<N>>>>, rng: &mut R ) -> Result<Authorization<N>, Error>where R: Rng + CryptoRng,

Authorizes a call to the program function for the given inputs.

impl<N, C> VM<N, C>where N: Network, C: ConsensusStorage<N>,

pub fn deploy<R>( &self, private_key: &PrivateKey<N>, program: &ProgramCore<N, Instruction<N>, Command<N>>, _: (Record<N, Plaintext<N>>, u64), query: Option<Query<N, <C as ConsensusStorage<N>>::BlockStorage>>, rng: &mut R ) -> Result<Transaction<N>, Error>where R: Rng + CryptoRng,

Returns a new deploy transaction.

The priority_fee_in_microcredits is an additional fee on top of the deployment fee.

pub fn deploy_raw<R>( &self, program: &ProgramCore<N, Instruction<N>, Command<N>>, rng: &mut R ) -> Result<Deployment<N>, Error>where R: Rng + CryptoRng,

Returns a deployment for the given program.

impl<N, C> VM<N, C>where N: Network, C: ConsensusStorage<N>,

pub fn execute<R>( &self, private_key: &PrivateKey<N>, _: (impl TryInto<ProgramID<N>>, impl TryInto<Identifier<N>>), inputs: impl ExactSizeIterator<Item = impl TryInto<Value<N>>>, fee: Option<(Record<N, Plaintext<N>>, u64)>, query: Option<Query<N, <C as ConsensusStorage<N>>::BlockStorage>>, rng: &mut R ) -> Result<Transaction<N>, Error>where R: Rng + CryptoRng,

Returns a new execute transaction.

The priority_fee_in_microcredits is an additional fee on top of the deployment fee.

pub fn execute_authorization<R>( &self, authorization: Authorization<N>, fee: Option<Fee<N>>, query: Option<Query<N, <C as ConsensusStorage<N>>::BlockStorage>>, rng: &mut R ) -> Result<Transaction<N>, Error>where R: Rng + CryptoRng,

Returns a new execute transaction for the given authorization.

impl<N, C> VM<N, C>where N: Network, C: ConsensusStorage<N>,

pub fn execute_fee<R>( &self, private_key: &PrivateKey<N>, fee_record: Record<N, Plaintext<N>>, fee_in_microcredits: u64, deployment_or_execution_id: Field<N>, query: Option<Query<N, <C as ConsensusStorage<N>>::BlockStorage>>, rng: &mut R ) -> Result<Transaction<N>, Error>where R: Rng + CryptoRng,

Executes a fee for the given private key, fee record, and fee amount (in microcredits). Returns the fee transaction.

pub fn execute_fee_raw<R>( &self, private_key: &PrivateKey<N>, fee_record: Record<N, Plaintext<N>>, fee_in_microcredits: u64, deployment_or_execution_id: Field<N>, query: Option<Query<N, <C as ConsensusStorage<N>>::BlockStorage>>, rng: &mut R ) -> Result<(Response<N>, Fee<N>), Error>where R: Rng + CryptoRng,

Executes a fee for the given private key, fee record, and fee amount (in microcredits). Returns the response and fee.

impl<N, C> VM<N, C>where N: Network, C: ConsensusStorage<N>,

pub fn speculate<'a>( &self, state: FinalizeGlobalState, transactions: impl ExactSizeIterator<Item = &'a Transaction<N>> ) -> Result<Transactions<N>, Error>

Speculates on the given list of transactions in the VM, returning the confirmed transactions.

pub fn finalize( &self, state: FinalizeGlobalState, transactions: &Transactions<N> ) -> Result<(), Error>

Finalizes the given transactions into the VM.

impl<N, C> VM<N, C>where N: Network, C: ConsensusStorage<N>,

pub fn verify_transaction( &self, transaction: &Transaction<N>, rejected_id: Option<Field<N>> ) -> bool

Returns true if the transaction is valid.

pub fn verify_deployment(&self, deployment: &Deployment<N>) -> bool

Returns true if the deployment is valid.

pub fn verify_execution(&self, execution: &Execution<N>) -> bool

Returns true if the execution is valid.

pub fn verify_fee( &self, fee: &Fee<N>, deployment_or_execution_id: Field<N> ) -> bool

Returns true if the fee is valid.

pub fn check_transaction( &self, transaction: &Transaction<N>, rejected_id: Option<Field<N>> ) -> Result<(), Error>

Verifies the transaction in the VM. On failure, returns an error.

impl<N, C> VM<N, C>where N: Network, C: ConsensusStorage<N>,

pub fn from(store: ConsensusStore<N, C>) -> Result<VM<N, C>, Error>

Initializes the VM from storage.

pub fn contains_program(&self, program_id: &ProgramID<N>) -> bool

Returns true if a program with the given program ID exists.

pub fn process(&self) -> Arc<RwLock<RawRwLock, Process<N>>>

Returns the process.

impl<N, C> VM<N, C>where N: Network, C: ConsensusStorage<N>,

pub fn finalize_store( &self ) -> &FinalizeStore<N, <C as ConsensusStorage<N>>::FinalizeStorage>

Returns the finalize store.

pub fn block_store( &self ) -> &BlockStore<N, <C as ConsensusStorage<N>>::BlockStorage>

Returns the block store.

pub fn transaction_store( &self ) -> &TransactionStore<N, <C as ConsensusStorage<N>>::TransactionStorage>

Returns the transaction store.

pub fn transition_store( &self ) -> &TransitionStore<N, <C as ConsensusStorage<N>>::TransitionStorage>

Returns the transition store.

impl<N, C> VM<N, C>where N: Network, C: ConsensusStorage<N>,

pub fn genesis<R>( &self, private_key: &PrivateKey<N>, rng: &mut R ) -> Result<Block<N>, Error>where R: Rng + CryptoRng,

Returns a new genesis block.

pub fn add_next_block(&self, block: &Block<N>) -> Result<(), Error>

Adds the given block into the VM.

Trait Implementations

impl<N, C> Clone for VM<N, C>where N: Clone + Network, C: Clone + ConsensusStorage<N>,

fn clone(&self) -> VM<N, C>

Returns a copy of the value.

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

Performs copy-assignment from source.