Mina Protocol（前身为 Coda Protocol）是一个建立在零知识证明（“ZKP”）之上的固定大小 L1 区块链，其智能合约使用 TypeScript 编写。它是一个大小仅为 22KB 的“简洁区块链”。^[1][2][3][4]\

概述

Mina Protocol 由 O(1) Labs 于 2017 年创立。它最初被称为 Coda Protocol，但由于与 R3 的商标纠纷（因其名称与 Corda 区块链相似），于 2020 年 9 月更名为 Mina。^{[17] [16][18]}

Mina Protocol 由计算机科学家 Evan Shapiro 和 Izaak Meckler 创建，并在其网站上自称为“世界上最轻量级的区块链”。^[3]

Mina 是世界上最轻量级的区块链，由参与者驱动。通过使用零知识证明，Mina 正在为我们所有人应得的安全、民主的未来创建基础设施。

2020 年 10 月，Mina Protocol 在由总部位于香港的 Bixin Ventures 和总部位于新加坡的 Three Arrows Capital 领投的融资轮中筹集了 1090 万美元。Mina 原定于 2020 年第四季度启动主网，但 O(1) Labs 首席执行官 Evan Shapiro 告诉 CoinDesk，由于“在假期前后启动区块链绝非良策”，启动时间已推迟至 2021 年初。^[14]

主网启动

2021 年 3 月 23 日，Mina 在主网上线，并宣布与 CoinList 合作进行代币销售。^[13]

O(1) Labs 首席执行官兼联合创始人、Mina 基金会的 Evan Shapiro 分享道：

“Mina 旨在通过其轻量级区块链赋能用户，让用户能够直接、无需许可地访问加密货币，而其 Snapps（即由 SNARK 驱动的应用程序）为互联网隐私和数据安全带来了新的可能性。凭借其轻量级设计和 Snapps，Mina 提供了一个无缝网关，将现实世界与加密货币私密地连接起来。” ^[13]

Mina 协议使用零知识简洁非交互式知识论证 (zk-SNARKs)，这是一种加密证明，使某人能够在不泄露信息的情况下验证信息的真实性。^[5]

9200 万美元融资

2022 年 3 月 17 日，Mina 生态系统宣布^[21]已筹集 9200 万美元，用于通过赠款吸引世界级开发者。这笔 9200 万美元的融资由 FTX Venture 和 Three Arrows Capital 领投，对冲基金 Brevan Howard（及其联合创始人、亿万富翁 Alan Howard）、Amber Group、Blockchain.com、Circle Ventures、Finality Capital Partners、Pantera 以及五位未具名的 Mina 支持者参投。^[22]

该公司表示，此次融资所得将用于资助赠款，以吸引开发者并推动 Mina 作为 Web3 领域领先的零知识平台被广泛采用。^[22]

“我们很高兴能与 Mina 生态系统和世界级基金合作完成这次 9200 万美元的融资。这些加密领域最受尊敬实体的认可，增强了我们的目标，即确保 Mina 成为 Web3 首选的隐私和端到端安全层，同时保持由参与者驱动。” - Mina Protocol 首席执行官 Evan Shapiro ^[21]

zkApps

zkApps（“零知识应用”）是 Mina Protocol 的智能合约，由零知识证明（特别是 zk-SNARKs）驱动。zkApps 具有无限的链下执行、区块链无法看到的私有数据输入隐私、能够使用 TypeScript 编写智能合约等特性。^[6]

零知识证明

零知识证明是一个保持 Mina 区块链轻量化和个人数据私密的概念。它允许在不向任何观察者泄露信息的情况下进行验证。^[7]

zk-SNARKS

zk-SNARKs 代表**“零知识简洁非交互式知识论证”**。它是一种零知识密码学形式，证明者可以在不泄露信息（如私钥）且证明者与验证者之间无需交互的情况下，证明其拥有该信息，从而确保用户的隐私。^[8]

Mina 共识机制

Mina Protocol 使用一种名为 Ouroboros Samasika 的权益证明共识机制。这种共识机制专为简洁的去中心化网络设计，因为它提供了从创世区块开始的引导功能。^[7][9]

简洁区块链包含两个主要功能：验证和更新。验证涉及共识、区块链摘要和区块，而更新功能则与共识和链摘要交互。^[4]

该项目还使用并行扫描状态来优化交易处理速度，其工作原理是将未证明的区块分组，并将处理过程分配给并行证明者。^[4]

Mina Protocol 的主要参与者

Mina 旨在通过一种独特的方法将自己与现有的区块链平台区分开来，即由不同的参与者负责去中心化网络上的不同功能。这些角色包括验证者、区块生产者和 Snarkers，这与依赖矿工/质押者等验证者以及轻客户端作为第三方来验证交易的其他平台不同。^[10]

验证者

验证者与处理共识信息认证的 zk-SNARKS 进行交互。每个 Mina 协议用户都被视为验证者，前提是他们的设备能够处理 22 KB 的链并承受几毫秒的处理时间。^[10]

区块生产者

Mina 中的区块生产者可以是质押者或矿工，并获得区块奖励和交易费用。他们负责将交易打包成块，并对等数量的先前交易进行 SNARK 处理，以防止出现不完整的区块。用户可以将他们的代币委托给区块生产者。Snarkers 是一群特殊的参与者，他们可以生成 SNARKs（零知识简洁非交互式知识论证），区块生产者可以使用这些证明来履行其 SNARK 处理义务。^[10]

Snarkers

Snarkers（或证明者）负责生成用于验证 Mina 区块链上交易的 zk-SNARKs。区块生产者使用他们在添加新区块时赚取的交易费用向 Snarkers 支付报酬，但 Snarkers 必须通过竞价来获得费用资格。一旦 Snarker 的 zk-SNARK 被用于区块中，使用它的区块生产者就负责激励该 Snarker。这创造了一个竞争性经济，多个 Snarkers 可以为同一笔交易竞价。区块生产者通过选择费用最低的出价来追求利润最大化，从而激励 Snarkers 生产具有成本效益的 SNARKs。^[10]

Mina 交易的生命周期

Mina 交易始于验证者执行交易，交易进入内存池。然后，Snarkers 为没有 SNARK 的新交易生成证明。下一步涉及选择一名区块生产者来生产区块，并选择利润最高的交易以及等量的未经过 SNARK 处理的交易。^[16]

区块生产者随后必须从 SNARK 订单簿中购买与这些交易相对应的 SNARKs。完成后，区块生产者将一个新区块添加到 Mina 区块链中，并通过添加新交易和删除已处理的 SNARK 交易来更新队列状态。最后，区块生产者更新区块链的 zk-SNARK，新区块得到验证。^[16]

MINA 代币

MINA 是 Mina 区块链的原生货币。在 Mina 区块链上进行质押和生产区块需要 MINA 代币。它们也是 Snarketplace 的唯一货币，区块生产者和 SNARK 生产者在其中买卖 SNARK 证明。每个 MINA 代币最多可细分为 9 位小数。^[1]

CoinList 代币销售

2021 年 4 月，在大量 CoinList 用户试图购买超过该区块链项目愿意出售的 MINA 之后，Mina 基金会的代币销售在四小时内筹集了 1870 万美元。根据 CoinDesk 审查的数据，在 375,000 名注册者中，只有 12% 的人能够购买到 Mina 基金会提供的 7.5% 的 MINA 供应量。^[15]

Mina Protocol 的效用

• 端到端数据隐私：Mina Protocol 允许用户在不泄露个人信息的情况下在区块链上执行敏感操作。
• 无需许可的网络预言机：开发者可以将来自互联网的多个公共数据源集成到他们的去中心化应用程序中，而无需获得许可。
• 管理网络标识符：Mina 可用于访问网站或互联网服务，而无需用户创建账户或共享个人数据。在这种情况下，Mina 充当匿名访问任何平台的接口。^[3]

Polygon x Mina Protocol

2021 年 9 月 9 日，Polygon 宣布与 Mina Protocol 集成。^[12]

“@MinaProtocol 和 Polygon 正在努力建立一座桥梁，使在 Polygon PoS 上构建应用程序的 #开发者 能够通过 Mina 基于 zk-SNARK 的协议利用隐私和可验证性。” - Polygon 在 Twitter 上宣布 ^[11]

Mina 基金会首席执行官 Evan Shapiro 表示：

“Mina 基金会与 Polygon 拥有共同的梦想，即建立一个完全去中心化的 dapp 生态系统，赋予用户控制自身数据隐私的权力。我们对将在 Polygon 上利用 Mina Protocol 推出的保护隐私且可验证的应用感到非常兴奋。” ^[12]

公开路线图

Mina Protocol 宣布了^[20]其公开路线图，这是一个旨在通过零知识可编程性开启用户拥有的去中心化网络的多年愿景，该路线图于 2023 年 4 月 6 日上线。^[19]

该路线图分为 5 个轨道：信任最小化、ZK 可编程性、结算层性能、递归 Rollups 以及通往 DAO 化之路，每个轨道都在使 Mina 发挥其全部潜力并成为终极第 1 层区块链方面发挥着作用。^[19]