Mina 是一个基于零知识证明的 L1 区块链，带有用 TypeScript 编写的智能合约。 Mina 是一个“轻量级”智能合约平台，立志成为全球支付系统。 它旨在解决现有区块链中存在的可扩展性问题，其中验证区块链的成本与总交易吞吐量成比例增长。
Mina 通过采用 zk-SNARKs（一种简洁的密码证明）共识机制构建了一个简洁的加密货币协议。每次 Mina 节点生成一个新块时，它还会生成一个 SNARK 证明来验证该块是有效的。之后，所有节点都可以存储小证明，而不是储存整个链。换句话说，Mina 增量计算仅关注最后几个区块的 SNARKS，而不是区块的整个交易历史。因此，根据 Mina 的说法，无论 Mina 区块链使用量增长多少，区块链始终保持相同的大小：大约 22kb（几条社交媒体推文的大小）。这意味着参与者可以快速同步和验证网络。
Mina 使用称为 Ouroboros Praos 的权益证明 (PoS) 机制达成共识，该机制建立在 IOHK 先前发布的工作基础上，IOHK 是开发 Cardano 的公司之一。 它的设计很简单，允许任何人按比例参与协议中的权益数量。
Mina 的目标是设计一个去中心化的支付系统，在不依赖任何外部建议的情况下提供对系统历史的有效验证。 这是通过以下属性实现的：
- “简洁区块链”的概念
- 使用增量可计算 SNARK 将通用功能建模为复制状态机
- 一个名为 Mina 的支付系统
- Ouroboros Samasika，一种可证明安全的 PoS 共识协议，具有自适应安全性并提供从创世开始的引导
- 并行扫描以提高交易确认时间，超出 proof construction 所规定的其它限制
- 执行涉及公共社区的协议的绩效评估报告
$MINA 是 Mina Protocol 的原生实用代币。 用户可以像任何其他加密货币一样交换 $MINA，或者选择质押他们的 $MINA 以在保护网络的同时获得奖励。 通证将用于支付交易费用，新的 $MINA 将被铸造以支付区块生产者创建新区块的费用。 这种激励机制对于各个参与者以去中心化的方式进行协调和合作至关重要。
除了作为网络的原生代币之外，$MINA 还可以用于转移价值、充当抵押品或任何数字原生价值存储的功能。 O(1) Labs 设想代币被基于协议构建的应用程序以新颖的、尚未想象的方式使用。
Mina Protocol 由 Izaak Meckler 和 Evan Shapiro 于 2017 年创立，由 O(1) Labs 的团队创建。 Evan Shapiro 和 Izaak 想要制定一个可以有效地去中心化和可扩展的协议。 Izaak 当时正在伯克利攻读密码学博士学位，并学习了 zkSNARKs。
经过多年的测试和发展，Mina Protocol 于 2021 年 3 月在其主网上线。2021 年 4 月，Mina 基金会成立，负责 Mina Protocol。 它设法筹集了 1875 万美元的资金。
2019 年 10 月 24 日，Corda 区块链开发商 R3 就 Coda 协议名称对 O(1) Labs 提起诉讼，称其与 R3 的 Corda 商标过于相似。 鉴于提起的诉讼，O(1) Labs 于 2020 年 9 月 29 日将该网络更名为 Mina。
除了作为 PoS 区块链网络运行外，Mina 协议还使用所谓的“有效性证明”来减少文件大小，并最大限度地减少节点参与网络共识所需的计算能力。 zk-SNARK 的首字母缩写词代表“零知识简洁非交互式知识论证”。 Zk-SNARKs 本质上是区块链元数据的快照，而不是包含每个单独交易的整个数据集。 随着区块链变得更大，这些 zk-SNARK“快照”或区块链摘要包含基于元数据而非完整区块链历史的有效性证明。 这些快照可以作为数据有效性的证明，而无需访问完整的区块链历史记录。 这样的结构意味着 Mina 节点正在处理更小的数据量，运行的节点更广泛，因此可以帮助促进民主和去中心化的网络。
Mina 认为，只要区块链有效，快照就会有效。 这意味着更长的链历史可以保存在更小的文件中。 随着区块链的发展，新的 zk-SNARKs 将基于现有的 zk-SNARKs 制作，以维持在 Mina 区块链上运行的高效数据集。
与 BTC 不同，MINA 是一种通货膨胀代币，没有最大供应上限。 代币持有者可以质押或委托他们的代币来获得他们在通货膨胀中的份额。 为此，无需锁定或绑定代币。 发布时总共分发 10 亿个 MINA 代币。 这些将在 8 年内完全解锁。 在主网的第一年，锁定账户将获得相当于年通胀 12% 的区块奖励。 随着时间的推移，这个比率将下降到 7%，然后这个数字将由 MINA 持有者投票决定。
