Skip to main content


Frequently Asked Questions about Mina Protocol

What language is Mina written in?

The Mina node is written in OCaml. But you don't need to know OCaml to write smart contracts for Mina.

What language are zkApp smart contracts written in?

Mina's zero knowledge smart contracts ("zkApps") are written in TypeScript.

Learn more about how to write a zkApp.

How large is the Mina Blockchain?


Given Mina is only 22KB, where are past transactions stored?

The Mina node can run with an optional flag to make it an archive node. This means it will store historic transactions which is useful for anyone running a service such as a block explorer, but this data is not needed in order to verify the current consensus state of the protocol.

What ZK proof system does Mina use?

Mina Protocol uses a custom proof system called Kimchi, which was developed by O(1) Labs, and is the only blockchain offering infinite recursion.

Check out the Mina Book to learn more about Kimchi and the cryptography powering Mina Protocol.