Module verification

Verification functions

Functions

• apply_producer_transaction 🔒
  Apply given producer Transaction to the provided overlay, without formal verification. Returns transaction signature public key. Additionally, append its hash to the provided Merkle tree.
• apply_transaction 🔒
  Apply given Transaction to the provided overlay. Additionally, append its hash to the provided Merkle tree.
• apply_transactions 🔒
  Apply given set of Transaction in sequence, without formal verification. In case any of the transactions fail, they will be returned to the caller as an error. Additionally, their hash is appended to the provided Merkle tree.
• validate_block
  Validate provided block according to set rules.
• validate_blockchain
  A blockchain is considered valid, when every block is valid, based on validate_block checks. Be careful as this will try to load everything in memory.
• verify_block
  Verify given BlockInfo, and apply it to the provided overlay.
• verify_checkpoint_block
  Verify given checkpoint BlockInfo, and apply it to the provided overlay.
• verify_fork_proposal
  Verify given Proposal against provided fork state.
• verify_genesis_block
  Verify given genesis BlockInfo, and apply it to the provided overlay.
• verify_producer_signature
  Verify block proposer signature, using the producer transaction signature as signing key over blocks header hash.
• verify_producer_transaction
  Verify provided producer Transaction.
• verify_proposal
  Verify given Proposal against provided consensus state.
• verify_transaction
  Verify WASM execution, signatures, and ZK proofs for a given Transaction, and apply it to the provided overlay. Additionally, append its hash to the provided Merkle tree.
• verify_transactions
  Verify a set of Transaction in sequence and apply them if all are valid.