The ZK Proving Stack
ZENDEX constructs its privacy infrastructure using modern zero-knowledge tooling:
Commitment & Nullifier Lifecycle
Assets inside ZENDEX do not exist as ERC-20 balances tied to a public address. Instead, they exist as opaque leaf nodes in an incremental Merkle tree managed by TreeOperator.
Single-Epoch Inclusion Proof Reuse
In standard ZK privacy protocols, every private transaction requires the user to submit a complete Merkle membership proof demonstrating that their commitment exists within the current state root. This requirement creates high computational overhead for client devices and leads to race conditions when other users update the Merkle tree root concurrently.
Privacy Guarantees
The guarantees below describe the intended privacy model for ZENDEX mainnet. The public testnet is distinct from mainnet and does not yet provide all of them. See Privacy on the Public Testnet below.