From Esperanto, miksi (miks·i): to mingle, to blend, to mix, to shuffle
Ethereum trustless zk-mixer.
WARNING: experimental code, use only in Göerli testnet. Do not use with real ETH.
Deposit
Under the hood, we'll generate a zkSNARK proof that proves you know a secret for a commitment. And that this commitment has been correctly added to the MerkleTree containing all the commitments in the mixer.
We'll send this proof, along with the new commitment and the hash of the updated MerkleTree, to the miksi smart-contract. The contract will then verify the proof. If the proof is valid, both the new root and the commitment will be added to the contract, and the ETH will be deposited.
Withdraw
Under the hood, we'll generate a zkSNARK proof that proves you know a secret for a commitment in the MerkleTree that you wish to withdraw from.
We'll send this proof, along with your withdrawal address, to the miksi smart-contract. The contract will then verify the proof. If the proof is valid, and it's the first time it's been correctly verified for this commitment, the contract will send the associated ETH to your withdrawal address.