一、项目简介与核心技术

项目简介

Mina 是首个实现简易编程的零知识智能合约（zkApp）的一层网络。Mina Protocol 使用 ZK-SNARK 零知识证明将区块链封装在一个单一的、可验证的、轻量级证明协议中，实现将区块链的大小从几百 GB 压缩到约22kb。此外 Mina 独特的隐私和安全功能及其通过 zkApp 与任何网站链接的能力，使得 Web3 更具安全性和私密性，其正成为现实世界与虚拟世界之间的隐私保护网关。

核心技术

ZKP零知识证明

ZKP（zero knowledge proof）零知识证明：—种密码学原语，对信息进行证明和验证，但不暴露其背后的信息，只显示声明是否真实。零知识证明最强大的两个应用场景是可扩展性和隐私安全性。

可扩展性

通过零知识证明，可以将许多数据点封装在一个轻量级的证明中，从而大大提高效率和可扩展性。由于大部分区块链需要大量算力，区块链技术仍受限于此类基础设施，因此限制了其扩展能力。通过利用零知识证明，开发者可以设计能够在更常见的硬件（如移动设备）上运行的轻量级 DApp，从而开创更易于访问和可扩展的 Web3 未来。

隐私安全性

通过零知识证明，用户可以安全地共享对商品或服务的必要信息，从而获得的访问权，但不会泄露可能使用户受到黑客攻击、剥夺或盗用身份的个人详细信息。零知识证明的数据隐私功能对 Web3 的安全和保障尤为重要，其中包括 DeFi、DAO 和元宇宙。对于隐私安全、用户主权的 Web3 而言，随着数字领域和现实世界的关联越来越紧密，零知识证明技术将变得更加重要。

简洁的非交互式知识论证（SNARK）

SNARK 是一种零知识证明。每当 Mina 节点产生一个新区块时，它也会生成一个 SNARK 证明，以验证该块是有效的。所有节点都可以存储这个小的证明，而不是整个链。这种很小且易于验证的密码学技术，使得 Mina 上的 SNARK 证明约为 7 kB，验证它只需要 200 毫秒。

市场现状

当前的区块链协议无论是个人难以运行庞大数据量的节点，还是直接运行与访问的硬件成本昂贵，都在一定程度上造成网络的规模和分散程度受限，网络集中化的程度增加；相应的，在所有链上事务、交易和数据都公开的情况下，用户的隐私并没有得到很好的保护，同时普通用户要验证这些数据也存在一定门槛，

那这些问题怎么去解决呢？Mina 的设计上就是通过称为递归 zk-SNARKs 的密码学技术保持小而固定的大小，即零知识简洁的非交互式知识论证，来解决上述问题。

二、项目机制与代币经济

运行机制

Mina 区块链通过递归零知识证明 zk-SNARKs 技术，实现了对于任意一个区块序列，以及在这个区块系列再添加一个额外的区块，证明这个新区块有效。即每当有一个新的区块被创建并在网络里广播的时候，Mina 都能扩建原来的有效证明，来支持这个新建的区块。

类似于一个可折叠的俄罗斯套娃，以初始的证明为核心，然后一层一层地添加了额外的证明。

Mina 使用一种称为 Pickles的递归零知识证明（zk-SNARK），其证明可以引用自身，这样做无论引用初始证明多少次也都不会增加证明的大小。这种递归，画中画，就是让 Mina 保持固定轻量大小的原因。

项目结构

Kimchi 证明系统，是用来生成递归证明的主要系统，基于 PLONK 系统（被认为是最具野心的通用零知识证明结构之一。Zcash、Polygon Zero、Aztec Network、Dusk、MatterLabs (zksync)、Astar 和 anoma 等都是基于 PLONK 协议实现了各自的证明系统。）它让 Mina 区块链保持固定大小，同时也为构建应用实现了智能合约的隐私功能和本地执行功能。

Pickles 递归层，是用来创建证明的证明的证明……的证明的协议，并将区块链压缩到低于 22KB 的固定大小。

Pasta 曲线，一种先进的椭圆曲线密码学算法。Pasta 曲线彼此形成一个循环：每条曲线的顺序正好是另一条曲线的基场。该属性对递归证明系统的效率至关重要。该曲线已应用于 Zcash、以太坊2.0相关组件中。

共识机制

Mina使用的是Ouroboros Samasika权益证明（PoS）共识算法，基于PoS共识的改进，网络共识实现仍然是通过股权证明PoS来完成，允许任何人按协议中所占的比例参加。由可验证的随机函数（VRF）来选择每一轮的区块生产者。每个区块生产者独立地为每一个时隙运行VRF，如果他们得到的输出值大于与其质押大小成正比的阈值，则有机会在指定的时隙内生产区块。

区块生产者可以通过将代币委托给另一个帐户的区块生产者来增加被选择来产生块的概率。当被委托者账户质押时，组合的资金用于评估VRF阈值，从而增加了被选择来为槽产生块的可能性。委托的资金是不可使用的，但可随时通过将股权重新委托回原始账户来取消委托。

Ouroboros Samasika的特点在于共识验证者的数量没有上限。其次，允许节点随意进出。同时，使用“最长链规则”来应对短链分叉。针对历史的攻击，当节点面临长的分叉时，可以采用特殊规则，即简洁状态摘要，由于攻击者很难在短时间内计算足够的零知识证明，这保证了区块链很难被分叉。

交易流程

Mina 的交易执行过程中有两个重要的参与者：区块生产者和 SNARKers。区块生产者负责通过提供网络算力，处理交易并在链上生产区块。用户需要支付交易费用，以对区块生产者进行奖励（区块生产者会优先打包交易费用高的用户的交易）。SNARKers 或SNARK生产者负责利用zk-SNARK对区块进行压缩并生成证明，为区块生产者提供zk-SNARK进行交易验证，但这部分的zk-SNARKS证明是需要区块生产者对SNARK生产者进行付费。

1.首先，为了执行交易，用户将其与他们愿意支付的费用信息一起广播到网络，这些费用被收集到交易内存池中。

2.SNARKers 不断致力于独立提供这些交易的 SNARK 证明，以便它们可以包含在区块中。

当一个区块生产者被选中时，他们会从内存池中的可用交易中将最有利可图且费用最高的交易排入队列。

3.然而，区块生产者还必须添加相同数量的交易的 SNARK 证明，因为它们正在添加到队列中。他们可以自己制作 SNARK 证明，也可以从 SNARKers 购买 SNARK 证明。

4.SNARKers 相互竞争，以最低的成本提供 SNARK 证明。根据 Mina 区块浏览器，在过去的 100 个区块中，所有 SNARK 证明都是由 SNARKers 免费提供的。SNARKers 以后可能会受到类似于挖矿的协议激励措施的补贴，称为 SNARK 挖矿。

5.区块生产者然后更新队列，队列保持一个不变的大小，因为新的 unSNARKed 交易的数量等于被 SNARKed 后删除的交易数量。

6.然后，区块生产者将 SNARKed 交易包含在区块中，并更新协议状态的 zk-SNARK 证明。

7.新区块和 SNARK 证明通过网络传播并由其他节点确认。

代币经济

Mina的代币为MINA，初始发行量为10亿枚，无供应量上限，所有代币持有者都可通过质押或委托以接收相应比例份额的通胀奖励；在主网启动的第一年，未解锁的帐户将获得区块奖励，目标年度通货膨胀率为 12％。通货膨胀率将随着时间而降低，最终在稳定状态下达到 7％；在主网上线的前 15 个月中，未解锁的帐户将获得锁定帐户所获区块奖励的两倍。

MINA在初始阶段为10亿，具体包括：

社区（初始发行量的 34.8％）——主网启动后72个月内全部解锁。

Coinlist 公募（初始发行量的 7.5％）——2021年5月31日全部解锁。

MINA 基金会（初始发行量的 6.0％）——主网启动后，直接解锁20%，剩余部分48个月内全部解锁。

O(1) Labs 团队（初始发行量的 7.5％）——主网启动后48个月内全部解锁。

投资者（初始发行量的 20.5％）——主网启动后24个月内全部解锁。

核心贡献者（初始发行量的 23.6％）——主网启动后24个月内全部解锁。

三、团队背景与生态现状

创始团队O(1) Labs

创始人Evan和Lzaak Meckler在高中时就认识，并在2017年建立了O(1) Labs，也就是Mina的启动团队。O(1) Labs团队目前由世界级的密码学家、工程师、博士和企业家组成，他们致力将Mina推向市场。

Mina 基金会的现任 CEO Evan Shapiro 曾是 O (1) Labs 的 CEO。Evan 毕业于卡内基梅隆大学，获得计算机科学硕士学位。O (1) Labs 的临时 CEO 是 Emre Tekişalp，他曾在 Coinbase 担任业务发展经理，并拥有哥伦比亚商学院的 MBA 学位。Izaak Meckler 是 O (1) Labs 的 CTO，目前正在攻读博士学位。加州大学伯克利分校密码学专业。

投资方和融资背景

主要投资基金有 ·Alan Howard、Amber Group、Blockchain.com、Brevan Howard、Circle Ventures、Finality Capital Partners、Pantera、IOSG Ventures、了得资本、FTX Ventures、三箭资本等。

融资详情

项目用例

Mina 的轻量级、隐私性和保留用户对数据的控制权的主要特性，使其成为跨越现实世界和web3虚拟世界之间的基础设施——隐私保护网关：

1. 端到端数据隐私：从线上到链上；

2. 无需许可的网络预言机；

3. 隐私互联网登录端口。

同时，Mina 作为一个通用协议，能够通过其由 SNARK 驱动的去中心化应用 Snapp（更具可延展性和以隐私为中心的 Dapp） 为各种不同的应用提供支持。2022年3月，Mina 社区在测试零知识智能合约方面取得巨大进展，并将Mina 的 Snapp（SNARK 应用程序）更名为 zkApp（零知识应用程序）。

生态合作伙伴 O(1) Labs、=nil; Foundation、ChainSafe、OnTab、Aurowallet、Minanodes.info、Minaboard 和 Everstake。社区活动参与的合作伙伴有 Brave browser、DIA、EthSign、Fisher8、Parcl、SISMO、Smoo Swap 和 Snickerdoodle。

关键指标

MINA 账户

截至 2022 年 6 月 30 日，Mina 分类账上目前有 114,203 个独立账户。

区块生产（区块生产者数量/月）

协议开发

在 2022 年的前 6 个月内，Mina Github repo 总共有 2,799 次提交，其中有 66 位独立贡献者。根据CryptoMiso 的数据，Mina 目前排名第一，为此期间内 crypto 项目 Github 代码提交数量最多。

四、 项目赛道前景与风险

项目发展

里程碑大事件

生态规划路线图

市场分析

可编程 L1 竞赛在上一个市场周期中已近白热化。鉴于技术竞赛维度的相似性，看起来似乎一切都在朝着某个特定的 L1 架构发展。关于 zkEVM 的讨论中，有人将其视为以太坊 L2 探索 EVM 的内容，但也有人在谈论以太坊本身最终直接使用zkEVM。但很明确的是ZK 不代表协议层的全貌，如何更全面地看待 L1 和 Mina 在整个生态中所处的位置？

从这张评分表可以看到，无论是L0/L1/L2，还是跨链或者中间件，不同项目对自身的定位和采用的技术路线千差万别，对于Mina 这种轻量级的隐私基础设施来讲，在整个生态中可作为其他各层协议的隐私网关，同时利用零知识证明空间的潜力，在不影响去中心化的前提下，有理由认为Mina 在构建强大产品生态的过程中，用户和投资者都将给出诚实的一票。