# Technical Architecture

#### 3.1 Smart Contracts

Wix.cash relies on smart contracts to execute mixing operations securely:

* `Mixer.sol`: Handles deposits and withdrawals.
* `Utils.sol`: Provides cryptographic hashing and Merkle proof verification.
* `Stealth.sol`: Implements one-time-use wallet address generation.
* `ZKVerifier.sol`: Verifies zk-SNARK proofs for transaction validation.

#### 3.2 zk-SNARKs Integration

To ensure transaction anonymity, zk-SNARKs validate transactions without revealing sender-receiver details. The zk-SNARK verification process prevents transaction linkability, preserving privacy in an on-chain environment.

#### 3.3 Merkle Trees & Commitments

* Deposits are stored in a **Merkle tree**, allowing users to later prove ownership without exposing their identity.
* Each deposit generates a **commitment hash**, preventing unauthorized access while maintaining security.
* Withdrawals require a **nullifier hash**, ensuring each deposit is withdrawn only once without linking it to the depositor.