Security Analysis of Miksi – Ethereum Zero Knowledge Transaction Mixer
Software Engineering and Secure Application Development: 44SE 2024
Miksi is a decentralized blockchain protocol that uses zero knowledge proofs (ZKP) and cryptographic commitments to enable anonymous transactions within a secure decentralized network. The system consists of three components: the main application (miksi.ts), the ZKP circuits (deposit and withdraw.circom), and the smart contracts (Miksi.sol,…