• English
  • Russian
Mina Overview


Please note that snapps programmability is not yet available on Mina. These docs are a preview of work that is currently in progress.


What are snapps?

Snapps (“snark apps”) are Mina’s zk-SNARK-powered smart contracts.

Snapps use an off-chain execution and mostly off-chain state model. This allows for private computation and state that can be either private or public.

Using zk-SNARKs, snapps can perform arbitrarily complex computations off chain while incurring only a flat fee to send the resulting zero-knowledge proof to the chain, as opposed to other blockchains which use a gas-fee based model.

You can learn more on the how snapps work page.


Snapps are written in TypeScript.

TypeScript provides an easy, familiar language (JavaScript), but with added type safety, making it easy to get started writing Snapps.

You can learn more on the how to write a snapp page.

Examples of snapps

Play around with a few example snapps to see what’s possible:

Learn more

Join the #snapps-general channel on Discord.

On the upcoming pages, you can read about how snapps work, how to write a snapp, and see our Snapps for Ethereum devs (coming soon) page.