Function zebra_state::service::check::anchors::block_sapling_orchard_anchors_refer_to_final_treestates

pub(crate) fn block_sapling_orchard_anchors_refer_to_final_treestates(
    finalized_state: &ZebraDb,
    parent_chain: &Arc<Chain>,
    semantically_verified: &SemanticallyVerifiedBlock
) -> Result<(), ValidateContextError>

Accepts a ZebraDb, Chain, and SemanticallyVerifiedBlock.

Iterates over the transactions in the SemanticallyVerifiedBlock checking the final Sapling and Orchard anchors.

This method checks for anchors computed from the final treestate of each block in the parent_chain or finalized_state.