validate_nullifiers

drive_abci::execution::validation::state_transition::shielded_common

Function validate_nullifiers 

Source 
pub fn validate_nullifiers(
    drive: &Drive,
    nullifiers: &[[u8; 32]],
    transaction: TransactionArg<'_, '_>,
    drive_operations: &mut Vec<LowLevelDriveOperation>,
    platform_version: &PlatformVersion,
) -> Result<Option<ConsensusValidationResult<StateTransitionAction>>, Error>
Expand description

Defense-in-depth: reject duplicate nullifiers within the same bundle, then check that no nullifier has already been spent in state.

Phase 1 (intra-bundle HashSet check) stays here. Phase 2 delegates to Drive::has_nullifier for each GroveDB lookup.