Skip to content
Blockchain LabVENTURE STUDIO

whitepaperConsensus2020

Coda: Decentralized Cryptocurrency at Scale

Mina. Joseph Bonneau, Izaak Meckler, Vanishree Rao, Evan Shapiro.

The Coda paper, later the Mina protocol: a chain whose certificate is a constant-size succinct proof, so a client can check the state without replaying history. The project renamed from Coda to Mina. The paper keeps the original name.

The problem the paper names

A new node that wants to know the current state of a normal chain downloads a growing history or trusts someone who did. The paper asks for a certificate that stays small even as the chain gets longer, and that a phone can check.

What the design proposes

  • Each new block carries a succinct proof that there exists a valid history leading to this state.
  • Provers do the heavy work. Verifiers check a small proof.
  • The consensus story is about who is allowed to produce the next proof-carrying block, not about the proof system alone.

How the mechanism is specified

  • A recursive composition of proofs is the reason the certificate does not grow with the block height.
  • The proof attests to the transition function the paper defines. A different virtual machine is a different circuit.
  • Pickles and later Mina engineering are implementations. The 2020 paper is the argument.

What this page does not treat as proven

  • A small proof does not make block production cheap, and it does not remove the need to trust the circuit.
  • The paper is not a statement about Mina's later token distribution or foundation.
  • Clients who want historical queries still need data. Succinctness is about the current-state certificate.

Why a venture studio still reads it

When a venture says users should not run a node, ask what those users verify instead. Mina's paper is the strict version of that answer: a proof of the transition, not a branded API.

This is Blockchain Lab's reading of a public design paper. It is not the paper, not a copy of it, and not an offer of tokens, equity, custody or a partnership. Later network behaviour can diverge from the text. Nothing here is investment, legal or technical advice.