Module shielded 

Shielded pool proof verification module

Modules

verify_compacted_nullifier_changes

Module for verifying compacted nullifier changes

verify_most_recent_shielded_anchor

Module for verifying the most recent shielded anchor

verify_nullifiers_branch_query

Module for verifying nullifiers branch chunk queries Module for verifying nullifiers branch chunk queries.

verify_nullifiers_trunk_query

Module for verifying nullifiers trunk chunk queries Module for verifying nullifiers trunk chunk queries.

verify_recent_nullifier_changes

Module for verifying recent nullifier changes

verify_shielded_anchors

Module for verifying shielded anchors

verify_shielded_encrypted_notes

Module for verifying shielded encrypted notes

verify_shielded_nullifiers

Module for verifying shielded nullifiers

verify_shielded_pool_state

Module for verifying shielded pool state (total balance)