Module snarkvm_synthesizer::vm

Structs

• VM

Functions

• bonded_map_into_stakers
  Returns the stakers given the bonded map from finalize storage.
• committee_map_into_committee
  Returns the committee given the committee map from finalize storage.
• cost_in_microcredits
  Returns the minimum number of microcredits required to run the finalize.
• deployment_cost
  Returns the minimum cost in microcredits to publish the given deployment (total cost, (storage cost, namespace cost)).
• ensure_stakers_matches
  Checks that the given committee from committee storage matches the given stakers.
• execution_cost
  Returns the minimum cost in microcredits to publish the given execution (total cost, (storage cost, namespace cost)).
• proving_rewards
  Returns the proving rewards for a given coinbase reward and list of prover solutions. The prover reward is defined as: puzzle_reward * (proof_target / combined_proof_target).
• staking_rewards
  Returns the updated stakers reflecting the staking rewards for the given committee and block reward. The staking reward is defined as: block_reward * stake / total_stake.
• to_next_commitee_map_and_bonded_map
  Returns the committee map and bonded map, given the committee and stakers.
• to_next_committee
  Returns the next committee, given the current committee and stakers.