Struct VM 

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

Implementations

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

pub fn authorize<R: Rng + CryptoRng>( &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>>

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

pub fn authorize_fee_private<R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, credits: Record<N, Plaintext<N>>, base_fee_in_microcredits: u64, priority_fee_in_microcredits: u64, deployment_or_execution_id: Field<N>, rng: &mut R, ) -> Result<Authorization<N>>

Authorizes the fee given the credits record, the fee amount (in microcredits), and the deployment or execution ID.

pub fn authorize_fee_public<R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, base_fee_in_microcredits: u64, priority_fee_in_microcredits: u64, deployment_or_execution_id: Field<N>, rng: &mut R, ) -> Result<Authorization<N>>

Authorizes the fee given the the fee amount (in microcredits) and the deployment or execution ID.

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

pub fn deploy<R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, program: &Program<N>, fee_record: Option<Record<N, Plaintext<N>>>, priority_fee_in_microcredits: u64, query: Option<&dyn QueryTrait<N>>, rng: &mut R, ) -> Result<Transaction<N>>

Returns a new deploy transaction.

If a fee_record is provided, then a private fee will be included in the transaction; otherwise, a public fee will be included in the transaction.

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

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

pub fn execute<R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, (program_id, function_name): (impl TryInto<ProgramID<N>>, impl TryInto<Identifier<N>>), inputs: impl ExactSizeIterator<Item = impl TryInto<Value<N>>>, fee_record: Option<Record<N, Plaintext<N>>>, priority_fee_in_microcredits: u64, query: Option<&dyn QueryTrait<N>>, rng: &mut R, ) -> Result<Transaction<N>>

Returns a new execute transaction.

If a fee_record is provided, then a private fee will be included in the transaction; otherwise, a public fee will be included in the transaction.

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

pub fn execute_with_response<R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, (program_id, function_name): (impl TryInto<ProgramID<N>>, impl TryInto<Identifier<N>>), inputs: impl ExactSizeIterator<Item = impl TryInto<Value<N>>>, fee_record: Option<Record<N, Plaintext<N>>>, priority_fee_in_microcredits: u64, query: Option<&dyn QueryTrait<N>>, rng: &mut R, ) -> Result<(Transaction<N>, Response<N>)>

Returns a new execute transaction and response.

If a fee_record is provided, then a private fee will be included in the transaction; otherwise, a public fee will be included in the transaction.

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

pub fn execute_authorization<R: Rng + CryptoRng>( &self, execute_authorization: Authorization<N>, fee_authorization: Option<Authorization<N>>, query: Option<&dyn QueryTrait<N>>, rng: &mut R, ) -> Result<Transaction<N>>

Returns a new execute transaction for the given authorization.

This is identical to execute_authorization_with_response except that it discards the Response.

pub fn execute_authorization_with_response<R: Rng + CryptoRng>( &self, execute_authorization: Authorization<N>, fee_authorization: Option<Authorization<N>>, query: Option<&dyn QueryTrait<N>>, rng: &mut R, ) -> Result<(Transaction<N>, Response<N>)>

Returns a new execute transaction and response for the given authorization.

pub fn execute_fee_authorization<R: Rng + CryptoRng>( &self, authorization: Authorization<N>, query: Option<&dyn QueryTrait<N>>, rng: &mut R, ) -> Result<Fee<N>>

Returns a new fee for the given authorization.

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

pub fn speculate<'a, R: Rng + CryptoRng>( &self, state: FinalizeGlobalState, time_since_last_block: i64, coinbase_reward: Option<u64>, candidate_ratifications: Vec<Ratify<N>>, candidate_solutions: &Solutions<N>, candidate_transactions: impl ExactSizeIterator<Item = &'a Transaction<N>>, rng: &mut R, ) -> Result<(Ratifications<N>, Transactions<N>, Vec<N::TransactionID>, Vec<FinalizeOperation<N>>)>

Speculates on the given list of transactions in the VM. This function aborts all transactions that are not are well-formed or unique.

Returns the confirmed transactions, aborted transaction IDs, and finalize operations from pre-ratify and post-ratify.

Note: This method is used to create a new block (including the genesis block).

• If coinbase_reward = None, then the ratifications will not be modified.
• If coinbase_reward = Some(coinbase_reward), then the method will append a Ratify::BlockReward(block_reward) and Ratify::PuzzleReward(puzzle_reward) to the front of the ratifications list.

pub fn check_speculate<R: Rng + CryptoRng>( &self, state: FinalizeGlobalState, time_since_last_block: i64, ratifications: &Ratifications<N>, solutions: &Solutions<N>, transactions: &Transactions<N>, rng: &mut R, ) -> Result<Vec<FinalizeOperation<N>>>

Checks the speculation on the given transactions in the VM. This function also ensure that the given transactions are well-formed and unique.

Returns the finalize operations from pre-ratify and post-ratify.

pub fn finalize( &self, state: FinalizeGlobalState, ratifications: &Ratifications<N>, solutions: &Solutions<N>, transactions: &Transactions<N>, ) -> Result<Vec<FinalizeOperation<N>>>

Finalizes the given transactions into the VM.

Returns the finalize operations from pre-ratify and post-ratify.

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

pub const MAXIMUM_CONFIRMED_TRANSACTIONS: usize = 1_048_575usize

The maximum number of confirmed transactions allowed in a block.

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

pub const MAX_PARALLEL_DEPLOY_VERIFICATIONS: usize = 5usize

The maximum number of deployments that the VM can verify in parallel.

pub const MAX_PARALLEL_EXECUTE_VERIFICATIONS: usize = 1_000usize

The maximum number of executions to verify in parallel.

pub fn check_transactions<R: CryptoRng + Rng>( &self, transactions: &[(&Transaction<N>, Option<Field<N>>)], rng: &mut R, ) -> Result<()>

Verifies the list of transactions in the VM. On failure, returns an error.

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

pub fn check_transaction<R: CryptoRng + Rng>( &self, transaction: &Transaction<N>, rejected_id: Option<Field<N>>, rng: &mut R, ) -> Result<()>

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

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

Verifies the fee in the given transaction. On failure, returns an error.

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

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

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<Process<N>>>

Returns the process.

pub const fn puzzle(&self) -> &Puzzle<N>

Returns the puzzle.

pub fn partially_verified_transactions( &self, ) -> Arc<RwLock<LruCache<(<N as Network>::TransactionID, Vec<U16<N>>), N::TransmissionChecksum>>>

Returns the partially-verified transactions.

pub const fn restrictions(&self) -> &Restrictions<N>

Returns the restrictions.

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

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

Returns the finalize store.

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

Returns the block store.

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

Returns the transaction store.

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

Returns the transition store.

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

pub fn new_puzzle() -> Result<Puzzle<N>>

Returns a new instance of the puzzle.

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

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

Returns a new genesis block for a beacon chain with the default size (four validators).

pub fn genesis_beacon_with_size<R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, num_validators: usize, rng: &mut R, ) -> Result<Block<N>>

Returns a new genesis block for a beacon chain.

pub fn genesis_quorum<R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, committee: Committee<N>, public_balances: IndexMap<Address<N>, u64>, bonded_balances: IndexMap<Address<N>, (Address<N>, Address<N>, u64)>, rng: &mut R, ) -> Result<Block<N>>

Returns a new genesis block for a quorum chain.

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

Adds the given block into the VM.

Trait Implementations

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

where N::TransmissionChecksum: Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.