Zero-knowledge focused blockchain Mina is an unusual animal for several reasons.
It layers recursive zk-SNARK proofs, which enable it to maintain a constant size of just 22 kilobytes. This design allows for efficient verification and minimal storage requirements.
As a consequence, it pushes computations off-chain and only stores the resulting proofs on Mina mainnet.
The blockchain can be regarded as the first functional zk rollup, according to O1labs CEO Brandon Kase, which stewards the development of the chain.
“It’s recursively rolling up a bunch of transactions into a single proof” like other rollups, Kase told Blockworks. “We just didn’t call it that.”
Mina is a continuously evolving “proof of everything,” as Kase is fond of saying.
Off-chain computation necessarily includes proof generation and sequencing, meaning Mina’s decentralized both from the get-go, something Ethereum layer-2s now aspire for.
Read more: What does EIP 4844 mean for Ethereum rollups?
The Berkeley upgrade, which rolled out Tuesday, has been in the works for three years. It adds a programmability layer to Mina that has been sorely lacking.
Decentralization has been the core concern.
“We always make decisions that cost performance in order to gain decentralization,” Kase said.
Dapps, then, can be thought of as little rollups as well, bringing with them the scalability enhancements.
“If you’re building like a typical EVM-style application, you would use an application framework called Protokit,” he said, which “gives you this EVM-style interface on top of the core layer that you can use to build your applications.”
Privacy unlock
All zk rollups have the ability to provide privacy for user transactions, but today’s rollups focus on the scalability benefits of zk tech.
“An important component to the equation of privacy [is] that part of the proof generation has to happen on the user’s device; on their phone or on their computer,” Kase said.
Mina’s approach to distributed computation spreads tasks across multiple machines, with each handling specific computation needs. This supports the handling of large amounts of data and maintains privacy, as the raw data can be kept off-chain as well.
Privacy comes in on the higher application layers, in contrast to upcoming releases from Aleo and Aztec. Those focus on privacy at the base layer and are designed to keep transactions and data confidential.
Read more: Aleo blockchain adds zPass, a ZK protocol for verifying identities
The base layer of Mina is designed to be transparent, meaning that the core transactions and activities on the blockchain are visible and accessible to all participants. This transparency ensures openness and allows anyone to verify the validity of transactions and data on the network.
A related approach, Fully Homomorphic Encryption (FHE) allows computations to be performed on encrypted data without needing to decrypt it first. This means that data remains encrypted throughout the entire computation process, and only the final result is revealed.
Read more: What is fully homomorphic encryption and how will it change blockchain?
“FHE and [multi-party computation] are complementary technologies and all exciting new primitives,” Kase said. “We expect to use all three over time in different use cases and o1Labs [has] already created a [proof of concept] using partial homomorphic encryption within the zk world.”
