Module zebra_state::service::check::nullifier

Checks for nullifier uniqueness.

Functions

• add_to_non_finalized_chain_unique 🔒
  Reject double-spends of nullifers:
• find_duplicate_nullifier 🔒
  Accepts an iterator of revealed nullifiers, a predicate fn for checking if a nullifier is in in the finalized chain, and a predicate fn for checking if the nullifier is in the non-finalized chain
• no_duplicates_in_finalized_chain 🔒
  Reject double-spends of nullifers:
• remove_from_non_finalized_chain 🔒
  Remove nullifiers that were previously added to this non-finalized Chain by this shielded data.
• tx_no_duplicates_in_chain 🔒
  Reject double-spends of nullifiers: