重要见解
传统的区块链在存储不断增长的数据方面效率低下。这种状态膨胀问题会对网络的去中心化产生负面影响，因为能够参与链验证的用户更少。
Mina协议是解决状态膨胀问题的新一代layer1区块链。借助zk-SNARK的强大功能，Mina保持了约11kB的固定小尺寸。除了去中心化之外，zk-SNARKs还使Mina比其他链更加私密和高效。
其他新一代区块链已针对区块链三难困境中的可扩展性进行了优化，在此过程中影响了去中心化。Mina优先考虑去中心化。理论上，任何智能手机或浏览器都可以在Mina上运行完整的节点。
然而，Mina的许多开创性功能仍在开发中。产品路线图雄心勃勃；团队的交付能力将决定协议的成功与否。
根据区块链三难困境，区块链的三个理想目标中的任何一个的改进都会以其他两个目标为代价。随着区块链技术多年来的进步，最新一代的区块链在克服三难困境方面取得了一些成功。他们专注于可扩展性，将吞吐量提高了几个数量级，但在去中心化和安全性方面做出了各种权衡。例如，Solana的交易吞吐量是以太坊的1,000倍以上，但要求其验证者使用工业级硬件并承诺对其进行持续升级。这阻碍了去中心化，因为更广泛的社区无法参与链验证。
比特币和以太坊等老一代区块链继续受到低可扩展性的影响，因为它们优先考虑去中心化。然而，即使这些区块链的去中心化也面临压力，因为它们的大小现在超过了数百GB，从而提高了运行完整节点的要求。然后将责任留给有能力为去中心化的良好事业花费大量资源的爱好者。在博客文章“区块链可扩展性的限制”中，VitalikButerin警告不要显著增加区块链的参数以满足对区块空间的需求，因为如果普通用户无法运行节点，这可能会导致“极端中心化”。
MinaProtocol?
MinaProtocol目前用作支付链，并于2022年3月23日完成其主网启动一周年。称为zkApps的智能合约在2022年第二季度的产品路线图上。本月早些时候，它从三箭资本和FTXVentures等大型加密投资者那里筹集了9200万美元，以执行其为web3构建私有和安全层的愿景。
虽然其它第1层区块链最近已经最大限度地提高了可扩展性，但MinaProtocol选择了最大限度地去中心化。作为一个简洁的区块链，Mina使用递归加密技术将区块链的可验证版本限制在大约11kB的固定大小，而像Solana这样的layer1则为PB。
与其他随着每个区块添加而增长的第1层区块链不同，Mina能够通过使用一系列自引用的密码证明来保持固定大小。将Mina的递归密码学过程视为拍摄区块链的照片会很有帮助。每当添加一个新区块时，都会用现有区块链拍摄新区块的另一张照片，将区块链的大小限制为一张照片，同时保留所有信息。
通过该介绍，本报告更深入地探讨了困扰传统区块链的状态膨胀问题，以及Mina如何使用零知识证明来解决该问题，并在此过程中提供更隐私、去中心化和高效的区块链。它探讨了Mina的设计选择和关键参与者如何使其能够在其原生代币MINA的支持下作为一个简洁的区块链工作。最后，报告讨论了Mina的未来发展、产品路线图以及为实现其崇高愿景而正在建设的团队。
状态膨胀
“区块链和状态膨胀将永远增加同步完整节点的成本，直到大多数用户无法进行验证并且我们降级为受信任的系统。这就是为什么拥有一个保守的区块大小上限如此重要的原因。”–?Hasu，Flashbots的战略
状态膨胀是存储区块链产生的不断增长的数据以及交易、账户、代币、合同和其他信息增长的问题。为了以去信任的方式准确地到达当前状态，每个完整的区块链节点都必须存储每个使用的地址、交易的每个代币、铸造的每个NFT以及来自创世块的任何其他交易的历史记录。
虽然较旧的区块链由于其悠久的历史而具有臃肿的状态，但较新的区块链由于其高吞吐量而面临这些问题。例如，以太坊最受欢迎的客户端Geth的状态大小约为600GB，每周增加约11GB。虽然理论上它仍然可以在消费级硬件上运行，但随着状态大小的不断增加，未来可能无法实现。以太坊计划在后来的一组名为“ThePurge”的升级中解决状态大小问题。
另一方面，Solana作为高性能区块链，以每秒1GB或每年4PB的速度创建数据。它最初计划使用一组“存档器””来维护交易的历史记录，而节点只存储最近几天的数据。后来，它放弃了这个项目，计划使用Arweave的permaweb来存储账本数据。然而，Arweave目前只保存52TB的数据，所以它需要显著扩展以满足Solana的需求。Solana现在没有去中心化的解决方案来存储交易历史记录，同时使用Google的BigTable作为存储解决方案。
Mina解决了这个问题。Mina通过称为递归zk-SNARKs的奇特密码学技术保持小而固定的大小，它代表零知识简洁的非交互式知识论证。
递归zk-SNARK
零知识(zk)
零知识证明是一种证明某些事情的方法，验证者除了声明是真的之外没有其他信息。通过一个例子更容易理解。想象一下，你在一个游戏节目中，在你面前的一千扇门后面隐藏着一个奖品。要找到奖品，你最好的策略是按顺序打开大门。如果你想向某人证明你知道奖品在哪里，你可以告诉他们门牌号码，他们可以自己验证。这将是你有答案的简单证明，但它与验证者共享解决方案至关重要。
但是，如果你在将他们带到奖品门口之前将他们蒙上眼睛并旋转他们，你仍然可以证明你知道奖品在哪里，而无需分享门号。这将是一个零知识证明。它确认你知道解决方案，而不会将其泄露给验证者。值得注意的是，工作也存在不对称性。证明者为找到答案所做的工作量远远超过验证者为检查答案是否正确所做的工作量。证明者必须搜索每一扇门，直到找到正确的一扇门，而验证者只需要检查一扇门。
简洁的非交互式知识论证
SNARK是一种零知识证明。它们被称为简洁的，因为它们很小且易于验证。Mina上的SNARK证明约为7kB，验证它只需要200毫秒。
虽然一些zk证明可能需要证明者和验证者之间来回交换信息，但非交互式证明可以由验证者验证，而无需与证明者进行更多交互。
Arguments是证明的形式主义。在密码学中，只能生成有效陈述的证明，而使用过高的计算能力可能会生成无效的论据证明。然而，这只是理论上的差异，就我们的目的而言，我们可以将论证视为与证明相同。
Knowledge?是指证明者有答案的事实。在我们的示例中，他们不仅证明有奖品，而且还证明他们知道奖品在哪扇门后面。
因此，SNARK是小型、易于验证的知识证明，不需要证明者和验证者之间的来回通信。
递归
最后，Mina使用了一种称为Pickles的zk-SNARK，它可以递归地引用自身，从而创建证明的证明并保持区块链的大小固定。Pickles的另一个特性是，与其他SNARK不同，它不需要受信任的设置。受信任的设置被认为不太理想，因为未来的用户必须相信原始设置是在适当的控制下公平执行的。
Mina和zk-SNARK
在zk-SNARKs的帮助下，Mina可以拥有一个保持较小且固定大小的区块链版本。每当添加一个新区块时，必须创建一个携带前一个区块的zk-SNARK的新zk-SNARK以证明它是有效的。只有在区块数据正确的情况下才能创建此SNARK。因此，一个SNARK证明当前区块是有效的，并引用前一个区块的SNARK来证明它是有效的。这样，区块链的整个状态就可以通过验证当前的SNARK来确认，因为它必须是在一系列有效的SNARK之上生成的。
然而，一个加密证明不足以运行一个完整的节点。仅凭证明不能让节点执行其基本功能，因为它不提供清晰的信息，例如账户余额。此外，一个节点还需要四条信息才能发挥作用。第一个是包含散列数据结构的协议状态，包括账本。第二个是SNARK证明和协议状态的验证密钥。接下来，节点还必须存储帐户信息和与协议匹配的Merkle路径，以不信任地确保帐户信息正确并与当前协议状态相关。
虽然Mina营销材料声称区块链约为22kB，但随着技术的改进，它将仅为11kB。
11KB，真的吗？
好吧，不完全是，现在也不是。由于此类节点不具备完整的交易历史，因此无法参与共识，因此被称为非共识节点。然而，它比传统区块链的轻节点更强大，因为它在没有信任假设的情况下运行。它可以独立验证区块链数据，提取其账户余额，并广播交易。在这方面，它类似于比特币或以太坊上的完整非挖矿节点。还有一点需要注意的是，非共识节点目前还没有上线，它们是由支持Mina协议的团队开发的。
zk-SNARK的好处
Mina对zk-SNARKs的实施使其成为一个引人注目的替代方案，与传统区块链相比具有独特的优势。
去中心化的改进
运行一个非共识节点只需要很少的磁盘空间和计算能力。虽然其他区块链遭受状态膨胀并且可能需要强大的工业级硬件来运行完整节点，但Mina的非共识节点将在智能手机或浏览器上运行。每个用户都可以运行自己的节点，从而显著改善去中心化。超越自我监管的区块链理想是自我验证，而Mina是唯一能够实现它的区块链。
工作不对称
对于传统区块链，每个节点都必须独立执行每笔交易，导致计算资源浪费和交易成本增加。验证交易的零知识证明比执行交易本身占用的资源要少得多。这是以太坊上zk-rollups的前提，Buterin认为这是扩展以太坊之旅中最关键的部分。然而，Mina在其协议设计中加入了零知识证明。
隐私
零知识证明通过不泄露任何不必要的信息来支持隐私。Mina区块链的zk-proof仅证明状态有效，而不显示交互账户。即使是Mina的共识节点也只保留最后290个区块的历史记录。
共识
Mina使用一种名为OuroborosSamasika的共识机制，它是Cardano共识机制Ouroboros的修改版本。OuroborosSamasika具有使用不保留整个交易历史的简洁区块链的附加属性。与其他权益证明链一样，被选为区块生产者的概率取决于节点质押的Mina数量相对于总质押的数量。与Cardano一样，Mina不需要节点锁定资金，网络也不会削减资金。网络停止向离线或从事不良行为的节点分配奖励。
网络不知道也不宣布下一个区块生产者，并且可能有多个区块生产者符合条件。这种模糊性增加了协议的安全性，通过创建自然防御来抵御针对区块生产者的拒绝服务攻击。但是，它的缺点是有时会产生短期分叉。如果多个区块生产者产生不同的有效区块，则下一个区块生产者遵循标准共识规则并建立在最长链之上。如果只有相同长度的链可用，则区块生产者会在第一次看到的链之上构建，或者如果另一个具有更高的可验证随机函数输出，则替换它。
这种设计选择也意味着Mina具有概率确定性。凭借90%的诚实质押和4分钟的出块时间，Mina在15个区块内达到99.9%的最终确定性。这比Solana和Avalanche等其他一些需要几秒钟才能完成交易的新区块链要长得多。
交易流程
Mina的交易执行过程中有两个重要的参与者：区块生产者和SNARKers。区块生产者类似于其他权益证明链的验证者。他们被随机选择以根据他们的股份与总股份的百分比来产生一个区块。SNARKers或SNARK工作人员生成区块链单个交易的SNARK证明。为了更好地理解他们的角色，让我们看一下Mina上的事务生命周期。
首先，为了执行交易，用户将其与他们愿意支付的费用信息一起广播到网络，这些费用被收集到交易内存池中。
SNARKers不断致力于独立提供这些交易的SNARK证明，以便它们可以包含在区块中。
当一个区块生产者被选中时，他们会从内存池中的可用交易中将最有利可图且费用最高的交易排入队列。然而，区块生产者还必须添加相同数量的交易的SNARK证明，因为它们正在添加到队列中。他们可以自己制作SNARK证明，也可以从SNARKers购买SNARK证明。
SNARKers相互竞争，以最低的成本提供SNARK证明。根据Mina区块浏览器，在过去的100个区块中，所有SNARK证明都是由SNARKers免费提供的。SNARKers以后可能会受到类似于挖矿的协议激励措施的补贴，称为SNARK挖矿。
区块生产者然后更新队列，队列保持一个不变的大小，因为新的unSNARKed交易的数量等于被SNARKed后删除的交易数量。
然后，区块生产者将SNARKed交易包含在区块中，并更新协议状态的zk-SNARK证明。
新区块和SNARK证明通过网络传播并由其他节点确认。
资料来源：Mina协议白皮书
审查阻力
Mina使用费用市场，与比特币类似，每笔交易都在内存池中等待，直到区块生产者添加它。通常，用户可以通过支付足够高的费用或等待足够长的时间来确保区块生产者将他们的交易添加到区块链中。
对于要审查的交易，要么所有SNARKers都必须拒绝提供SNARK证明，要么所有块生产者都必须拒绝将SNARKed交易添加到块中。在Ouroboros下，我们可以假设网络是去中心化的，并且区块生产者没有串通。
所有SNARKers之间的勾结非常困难。首先，任何人都没有进入SNARK交易的障碍。由于SNARKing的成本很小，任何人都可以制作SNARK交易证明并赚取SNARKing费用。即使交易费用很低，区块生产者也应该能够将SNARKed交易包含在一个区块中，从而获利。
网络统计
Mina是一个相对较新的区块链，具有独特的架构。因此，关于网络及其采用，只有有限数量的数据可用。我们从当前可用的资源管理器和仪表板中汇编了以下信息。
Mina的理论吞吐量是每秒一个事务。显然，Mina不会在吞吐量方面与其他较新的区块链竞争。Mina不只是比较区块链的吞吐量数量，而是试图在更全面的?ScaDe?的规模指标上进行竞争。ScaDe前沿是区块链三难困境的推论，它表明区块链的吞吐量与完整节点的数量成反比。因为Mina的目标是在理论上对节点数量没有限制的情况下最大限度地去中心化，所以它在ScaDe边界之外运行。
MINA代币
MINA作为区块链的原生代币，用于支付交易费用，并通过区块奖励激励共识参与。目前，无论是在链上还是在论坛上，治理过程都没有基于代币的投票，尽管有计划。
MINA是一种通胀货币，初始通胀率为12%，主网启动四年后将降至7%。通货膨胀是固定的，质押收益率随着质押参与率的变化而变化。虽然通货膨胀可能看起来很高，但它有助于保持链的安全，因为它鼓励参与注。
有多种方法可以查看MINA的供应量，例如不包括时间锁定代币的循环供应量或包含它们的完全稀释供应量。最简单和最准确的方法是通过质押供应。MINA的初始总供应量为10亿个代币，其中8.06亿个在发布时可用于质押。这些代币中的大多数都被锁定以供出售，但可以进行质押，从而获得了整体奖励。随着时间的推移，剩余的1.94亿个初始供应代币将以增压奖励、SNARK挖矿奖励和生态系统赠款的形式分发给社区。
来源：Mina
Mina生态系统已累计筹集到1.4亿美元，最近一次筹集到9200万美元是在2022年3月。Mina的支持者是一些最著名的加密风险基金，如FTXVentures、三箭资本、Paradigm、CoinbaseVentures、PolychainCapital、ElectricCapital和MulticoinCapital。社区销售也引起了巨大的投资者兴趣，迫使Coinlist将每位投资者的最高上限从1,000美元降低到500美元。
超值奖励
最近，LooksRare及其质押奖励出现了崩溃。与Mina类似，内部人员持有锁定的代币，这些代币不属于流通供应的一部分，但可以质押以获得奖励。这使他们能够在发布后的最初几天获得很大比例的质押奖励，因为他们的持股量远高于流通供应量。著名的Twitter人物Cobie在他最近题为“激励结构”的博客中对此进行了介绍。
Mina通过设计更好的奖励结构避免了这一争议。在发布后的前15个月内，质押未锁定代币的用户将获得更多的区块奖励，称为超额奖励。目前，解锁的质押者获得的奖励是锁定质押者的两倍，从而实现了更受社区青睐的奖励分配，并避免了LooksRare团队面临的争议。
路线图
Mina有一个令人兴奋的产品，但该团队仍在构建其最具开创性的功能。它目前仅用作具有数百个验证器的支付链。智能合约功能、非共识节点和可以从互联网上无需信任地提取数据的预言机是计划在2022年添加的有希望的功能。Mina还计划开发一个在链下存储数据的zk-Rollup，这将使它以扩展其吞吐量。
团队和合作伙伴
有了基本的产品和雄心勃勃的路线图，贡献团队就成为成功的最关键因素。
Mina背后的核心团队是O(1)?Labs，他们致力于向Mina添加智能合约和zk-Oracle。Mina基金会的现任CEO?EvanShapiro曾是O(1)Labs的CEO。Evan毕业于卡内基梅隆大学，获得计算机科学硕士学位，并于2017年创立了O(1)Labs。
O(1)Labs的临时CEO是EmreTeki?alp，他曾在Coinbase担任业务发展经理，并拥有哥伦比亚商学院的MBA学位。IzaakMeckler是O(1)Labs的CTO，目前正在攻读博士学位。加州大学伯克利分校密码学专业。
=无；基金会正在搭建从Mina到以太坊和其他EVM链的桥梁。2021年9月，以太坊基金会和米娜基金会向它提供了120万美元的赠款，用于建造这座桥。
Chainsafe正在用Rust重新实现Mina，并为基于浏览器的节点构建MVP。
Polygon和Mina正在合作在Polygon的权益证明链上构建对Mina的支持，这将使开发人员能够在Polygon上构建dapp，从而利用Mina的zk-SNARK的优势。
结论
虽然世界主要关注平台战争和以太坊的扩展解决方案，但Mina一直在构建一个有前途的解决方案，以利用零知识证明空间的潜力，同时不影响去中心化。凭借强大的团队、令人印象深刻的合作伙伴和支持者以及新的资金储备，Mina可以开始执行其雄心勃勃的路线图。Mina的贡献者可以从Solana、Avalanche和Terra等替代型平台链在2021年取得的成就中汲取灵感。获胜者尚未确定，如果Mina能够构建强大的产品，用户和投资者都会来。
相关阅读：
《Mina基金会CEO：零知识证明将成为Web3的杀手级功能》
《头等仓深度报告：Mina》
《对话Mina：竞争风起云涌，公链的护城河在哪里？》
原作者：KunalGoel
原标题：《MinaProtocol-SmallbutMighty》
编译：胡韬，链捕手
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。