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