ZK Nullifiers

Overview

Building a ZK Solana program requires:

• Nullifiers to prevent double spending
• Proof verification
• A Merkle tree to store state
• An indexer to serve Merkle proofs
• Encrypted state

For non zk applications see this skill to use nullifiers: skills/payments

Workflow