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