Struct snarkvm_synthesizer::vm::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<Query<N, C::BlockStorage>>, 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<Query<N, C::BlockStorage>>, 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_authorization<R: Rng + CryptoRng>( &self, execute_authorization: Authorization<N>, fee_authorization: Option<Authorization<N>>, query: Option<Query<N, C::BlockStorage>>, rng: &mut R ) -> Result<Transaction<N>>

Returns a new execute transaction for the given authorization.

pub fn execute_fee_authorization<R: Rng + CryptoRng>( &self, authorization: Authorization<N>, query: Option<Query<N, C::BlockStorage>>, 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>( &self, state: FinalizeGlobalState, coinbase_reward: Option<u64>, candidate_ratifications: Vec<Ratify<N>>, candidate_solutions: Option<&CoinbaseSolution<N>>, candidate_transactions: impl ExactSizeIterator<Item = &'a Transaction<N>> ) -> Result<(Ratifications<N>, Transactions<N>, Vec<N::TransactionID>, Vec<FinalizeOperation<N>>)>

Speculates on the given list of transactions in the VM.

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( &self, state: FinalizeGlobalState, ratifications: &Ratifications<N>, solutions: Option<&CoinbaseSolution<N>>, transactions: &Transactions<N> ) -> Result<Vec<FinalizeOperation<N>>>

Checks the speculation on the given transactions in the VM.

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

pub fn finalize( &self, state: FinalizeGlobalState, ratifications: &Ratifications<N>, solutions: Option<&CoinbaseSolution<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 = 65_536usize

The maximum number of confirmed transactions allowed in a block.

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>> ) -> 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.

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 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.

pub fn genesis_quorum<R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, committee: Committee<N>, public_balances: IndexMap<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>

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

Returns a copy of the value.

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

Performs copy-assignment from source.