Mina is a succinct blockchain protocol that maintains a constant size using zero-knowledge proofs,...