![[币萌研究院] 投研报告 - Mina Protocol (MINA)](https://pic.rmb.bdstatic.com/bjh/1ae8b27917ab77d3b44621e2769ed156.jpeg?x-bce-process=image/resize,w_600/format,f_auto "[币萌研究院] 投研报告 - Mina Protocol (MINA)")
CryptoArt: [pawelnolbert] Rare Moments of Beauty - Together
↯ 本投研陈述由币萌研究院发布，陈述内容仅供参考，切勿作为出资主张或出资依据。
↯ 文中所涉数据均到 2021/7/5，可能与发文时的实际情况有所偏差，请自行验证。
01 项目简述
Mina Protocol 是一个运用 zk-SNARK（零常识简练无交互证明，一种零常识证明计划）技能的轻量级公链，现在已上线主网，其首要亮点在于其区块巨细能够控制在 22 KB，能够确保良好的可拜访性，从而让更多用户参加链上数据的验证。Mina 具有自己的智能合约言语 Pickles，以在 Mina 网络中建立去中心化运用程序（称为 Snapps），不过现在 Pickles 言语没有开发完结，且 zk-SNARK 现在自身不支持通用型智能合约，所以 Mina 当时不存在运用生态。
官网 | https://minaprotocol.com
推特 | https://twitter.com/minaprotocol
电报 | https://t.me/minaprotocol
文档 | https://docs.minaprotocol.com/en
博客 | https://minaprotocol.com/blog
代码 | https://github.com/MinaProtocol/mina
02 项目解读
2.1 设计理念
在传统的区块链系统中，链上需求存储一切的前史买卖数据详情，节点或用户在验证某个区块的有用性时，需求在前史买卖中寻找证据，这使得整条区块链的体积无限胀大，可拜访性变差，普通用户想要运转全节点需求付出巨大的本钱，这也就会间接导致全节点的数量缩减，使区块链的去中心化程度减低。
Mina 的中心理念是「简练的区块链」，不管整个 Mina 网络中处理了多少笔买卖，区块的巨细都被限定在 22 KB，且最新的区块中会包含整个区块链的最新状况，用户只需一个 zk-SNARK 证明就能够在几毫秒内完全验证当时区块链的状况。
其技能原理为，在区块生成时经过 zk-SNARK 技能将区块内容紧缩为单个 SNARK 证明，也便是将当时整个区块链的状况紧缩进入区块中（包含一切链上地址的余额等信息），用户（节点）在验证时，只需求验证该证明即可，无需追溯整个买卖前史记录。
别的，在传统的区块链中，因为区块链是不断延伸的，越来越多的数据堆叠会使整个区块链的体积变大。而在 Mina 中情况则不同，尽管每个区块都包含着整个区块链的状况，但因为 SNARK 证明能够进行递归组合（利用 SNARK 证明的可兼并性），所以能够完结区块的巨细稳定。简单来说，每一个 Mina 区块的生成就像是给整个 Mina 区块链网络进行了一次快照，而当新的区块发生时，前一个快照将作为下一个快照的背景图，相当于将新旧快照进行兼并，这样即使快照不断堆砌成为一个包含无量信息量的图画，其体积巨细也会一直保持一致。
2.2 节点人物
在 Mina 的运转进程中，存在三种人物：
-
区块生产者：处理链上买卖并生成区块，取得买卖费用奖励。
-
证明生产者：利用 zk-SNARK 技能对区块进行紧缩并生成 SNARK 证明。
-
验证者：下载并运用 zk-SNARK 对区块进行有用性验证。
三者的协作流程为：链上发生买卖后，区块生产者会对买卖进行打包，证明生产者则会对相关买卖进行紧缩并生成 SNARK 证明。区块生产者需求向证明生产者购买证明，并将证明发送出去由验证者进行验证，验证进程仅需求几毫秒。完结验证后，区块生产者即可生成区块并进行广播，其他节点同步更新。
2.3 一致机制
在为每个区块挑选区块生产者（分配记账权）的问题上，Mina 依赖于 Ouroboros Samasika 一致算法，这是一种改进的 PoS（权益证明）算法，由可验证的随机函数（VRF）来挑选每一轮的区块生产者。与其他 PoS 算法相比，Ouroboros Samasika 具有以下特点：
-
对参加一致的节点数量没有约束：部分类 BFT（拜占庭容错）的 PoS 算法（如 Tendermint），因为网络通信的复杂度，必须约束节点的数量，往往几百个已是上限，而 Mina 的 Ouroboros Samasika 没有节点数量约束。
-
节点能够动态进出：大部分选用 PoS 算法的区块链都会要求节点持续在线，并对掉线者进行赏罚，这会提升节点运转的门槛，Ouroboros Samasika 则允许节点自在进出。
-
抗攻击性：PoS 算法往往面对着长程攻击（创造比主链长的伪链分叉）的困扰，需求引入「弱主观性」来对链的合法性进行断定，Ouroboros Samasika 则运用「最长链准则」来应对分叉。
2.4 零常识证明
Mina 选用的零常识证明技能为 zk-SNARK，这是主流的零常识证明计划之一，长处在于愈加易于买卖信息的加密，且具有高效的验证速度，但缺点在于 zk-SNARK 的证明依赖于证明者和验证者之间的初始化可信设置，也便是一组公共参数，这些参数经过编程写到协议中，是证明买卖有用的必要要素之一。因为这些参数通常由小群体拟定，所以会存在潜在的中心化问题。现在还有别的一种称号类似的计划 zk-STARK，其不需求初始可信设置，而是经过抗磕碰哈希函数，依赖于简练的加密技能，来完结零常识证明。
2.5 智能合约
Mina 上具有智能合约基础设施 Pickles，其包含两个组件：一个中心 zk-SNARK 和一个开发者工具包（包含各种库功能和 Pickles 归纳证明系统），根据 Pickles 能够建立 Snapps（Mina 链上的根据零常识证明驱动的 DApps）。和以太坊上的 DApps 相比，Snapps 愈加高效，具体而言，DApps 的事务运转需求以太坊上的每个节点都进行参加和履行，而 Mina 上的 Snapps 只需求由某个节点履行一次事务逻辑，其余节点只需求验证正确性即可。
因为 Snapps 根据 zk-SNARK 构建，所以原生能够经过零常识证明来完结一些保护隐私和达成可验证性的功能，例如能够在不走漏用户身份资料的前提下完结某些运用的 KYC 操作，以及在不走漏用户信用评分的前提下，证明某个用户的信用评分达到或高于特定阈值，来完结免押金租赁、免典当贷款等运用场景。
需求留意的是，现在 Pickles 言语没有开发完结，且 zk-SNARK 现在自身不支持通用型智能合约，所以 Mina 当时不存在运用生态。
03 经济模型
3.1 基本信息
代币称号：MINA
初始发行：10 亿 MINA
代币用处：节点质押；去中心化治理；买卖费用
代币分配（初始发行）：
-
社区：34.8％
-
Coinlist 公募：7.5％
-
Mina 基金会：6.0％
-
O(1) Labs 基金会：7.5％
-
出资者：20.5％
-
中心贡献者：23.6％
![[币萌研究院] 投研报告 - Mina Protocol (MINA)](https://pic.rmb.bdstatic.com/bjh/327fbc1c3e261c7c86c57474373b2e71.jpeg?x-bce-process=image/resize,w_600/format,f_auto "[币萌研究院] 投研报告 - Mina Protocol (MINA)")
MINA 是一种通胀代币，通胀的代币将发放给代币质押者。任何 MINA 代币持有者都能够经过质押代币成为节点或将代币委托给其他节点的方式取得通胀的 MINA 代币的奖励（无罚没风险）。MINA 代币初始发行量为 10 亿，第一年的通胀率为 12%。
![[币萌研究院] 投研报告 - Mina Protocol (MINA)](https://pic.rmb.bdstatic.com/bjh/00594dddbad878c6920c470ca0794731.jpeg?x-bce-process=image/resize,w_600/format,f_auto "[币萌研究院] 投研报告 - Mina Protocol (MINA)")
3.2 价格信息
注：下方信息来源于 CoinGecko
当时价格：$ 1.41
当时流转市值：$ 2.37 亿
流转市值排名：# 168
前史最高价：$ 9.09（2021/6/1）
前史最低价：$ 1.10（2020/6/22）
上线 CEX：OKEx、Gate.io、Kraken 等
04 团队/融资
4.1 中心团队
O(1) Labs 是一家区块链软件开发公司，由 Evan Shapiro 和 lzaak Meckier 于 2017 年创立，总部坐落加州旧金山。
创始人/CEO：Evan Shapiro
卡内基梅隆大学核算机科学硕士学位。曾在卡内基梅隆大学机器人实验室对 HERB 机器人平台进行研究，曾任职 Mozillay 软件工程师。
CTO/联合创始人：Lzaak Meckler
数学家和核算机科学家，加州大学伯克利分校密码学博士学位。曾在 Jane Street 对冲基金任职软件工程师，并为 Elm 编译器等众多开源项目贡献代码。
4.2 出资组织
2018 年 3 月，Mina 开发公司 O(1) Labs 完结了 350 万美元种子轮融资，参投方包含 MetaStable、Polychain Capital、Electric Capital、Naval Ravikant、Elad Gil、Linda Xie、Fred Ehrsam、Kindred Ventures 以及 SciFi VC 等。
2019 年 4 月，O(1) Labs 完结 1500 万美元 A 轮融资，参投方包含 Coinbase Ventures、Accomplice、Paradigm 以及 General Catalyst 等。
2020 年 10 月，O(1) Labs 完结 1090 万美元战略轮出资，由币信出资和三箭本钱领投，参投组织还包含 SNZ、HashKey、Signum Capital、NGC Ventures、分布式本钱和 IOSG Ventures 等。
2020 年 4 月 13 日，MINA 代币在 Coinlist 平台上进行公募，筹集了 1870 万美元。
![[币萌研究院] 投研报告 - Mina Protocol (MINA)](https://pic.rmb.bdstatic.com/bjh/3e416c123941c22d4367192fdf64dcd0.png?x-bce-process=image/resize,w_600/format,f_auto "[币萌研究院] 投研报告 - Mina Protocol (MINA)")
05 项目分析
Mina Protocol 的首要优势在于轻量化，其 22 KB 的体积降低了验证者节点的门槛，任何人都能够运用恣意的智能设备（如 PC、手机等）运转节点，以保护 Mina 链的安全稳定运转，理论上能够带来极高的去中心化程度。
Mina 完结轻量化的中心技能在于 zk-SNARK，当时零常识证明技能的选用尽管在区块链行业界已成趋势，但其自身还处于发展初期，技能没有老练，零常识证明的核算难度、耗时、本钱仍不容忽视，别的也不扫除其存在某些没有被发现的安全性和稳定性上的隐患，所以根据该技能诞生的 Mina 也要面对这些问题。
Mina 现在没有建造运用生态，只能作为简单的付出用处，这一方面因为 Pickles 未开发完结，另一方面则是受限于 zk-SNARK 不支持通用的智能合约。Mina 现在已与以太坊基金会协作，试图利用 Mina 的 Pickles SNARK，为以太坊生态中需求完结隐私相关的运用供给相应的解决计划，即在 Mina 上进行零常识证明核算，然后在以太坊上进行验证，兼顾两条链的特性和优势。
综上，Mina 的理念和愿景是具有想象空间的，但在现在的技能背景下无法发挥其优势。Mina 未来有两个发展方向：一是在零常识证明技能方面取得突破以完结运用生态，二是与其他公链协作，将 Mina 自身作为一个去中心化的零常识证明核算组件，为其他公链的运用生态供给支持。
视野开拓
现代社会流动的资金是在银行创造的，银行通过什么来创造货币呢？它通过信用在创造货币供给，这些货币叫做信用货币。我们日常用的钞票确实是印钞厂印出来的，但是作为全社会的货币供给，却是银行通过信用创造出来的。-《推开宏观之窗》
