Mina, the zero knowledge-backed blockchain, is unusual for several reasons. It uses zk SNARK proofs to maintain a consistent size of 22 kilobytes, and effective verification and minimum storage requirements are the primary objectives of this design. The proofs produced are kept on the mainnet of Mina and are computed offchain. Because the blockchain rolls …