Mina is a lightweight Layer-1 blockchain designed for efficiency and scalability, featuring a fixed 22KB blockchain size and zero-knowledge smart contracts (“zkApps”) written in TypeScript. Unlike traditional blockchains that grow indefinitely, Mina leverages infinitely recursive zero-knowledge proofs to compress the entire blockchain into a small, verifiable proof, ensuring minimal storage requirements while maintaining full security.

This unique architecture allows Mina to support privacy-preserving applications, enabling users to prove and verify data without revealing sensitive information. By utilizing zkApps, developers can build decentralized applications (dApps) that prioritize privacy and efficiency, opening new possibilities for secure identity verification, private transactions, and scalable blockchain interactions.

Past audits with Mina Foundation

ProtocolResource
Start Date
Language(s)Tag(s)
Mina Foundation: Fungible Token StandardReportJun 2024TypescriptSmart Contracts, ZK Circuits, o1js, Token / ERC20
Mina SnapReportJun 2023TypescriptWallet / Wallet Integration, Metamask Snap

Considering an audit?
Contact us today!