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.

Last updated