Mina applies zk-SNARKs to Cardano's Ouroboros consensus to achieve scalability and decentralization.