Module zebra_state::service::check::anchors

Checks for whether cited anchors are previously-computed note commitment tree roots.

Functions

• block_fetch_sprout_final_treestates 🔒
  Accepts a ZebraDb, Arc<Chain>, and SemanticallyVerifiedBlock.
• block_sapling_orchard_anchors_refer_to_final_treestates 🔒
  Accepts a ZebraDb, Chain, and SemanticallyVerifiedBlock.
• block_sprout_anchors_refer_to_treestates 🔒
  Accepts a ZebraDb, Arc<Chain>, Arc<Block>, and an Arc<[transaction::Hash]> of hashes corresponding to the transactions in Block
• fetch_sprout_final_treestates 🔒
  This function fetches and returns the Sprout final treestates from the state, so sprout_anchors_refer_to_treestates() can check Sprout final and interstitial treestates, without accessing the disk.
• sapling_orchard_anchors_refer_to_final_treestates 🔒
  Checks the final Sapling and Orchard anchors specified by transaction
• sprout_anchors_refer_to_treestates 🔒
  Checks the Sprout anchors specified by transactions.
• tx_anchors_refer_to_final_treestates 🔒
  Accepts a ZebraDb, an optional Option<Arc<Chain>>, and an UnminedTx.