Mina:经济模型和货币政策

From Mina Wiki
Jump to navigation Jump to search

Brad Cohn, Evan Shapiro, and Emre Tekişalp
O(1) 实验室
2020.1.16
原文:https://minaprotocol.com/static/pdf/economicsWP.pdf
翻译:Star.LI (star@trapdoortech.com)
公众号:星想法(sparkbyte)
摘要
随着加密货币变得越来越流行,使用越来越广泛,验证区块链的成本与总交易量成线性增长,对于大多数真实的用户而言,变得无法承受。这样的话,加密货币可能成为他们自己成功的受害者,普通用户无法直接访问区块链,必须相信中介机构。 Mina协议通过易于验证的证明来替代区块链数据,从而解决此问题。Mina协议需要仔细分离角色,设计激励,采用合理的货币政策,确保正常运行并且避免不公平。本篇文章主要介绍Mina协议的各种考量。

1 介绍

将加密技术与经济激励相结合,比特币[Nak09]成为了第一个去中心化的点对点支付协议。比特币设计的一个关键是协议的各个组成部分相辅相成。比如,工作量证明(POW)生成区块需要成本,从而阻止作恶者提交无效交易。无论如何,使用区块链来存储历史交易数据使激励的重要性成倍增加,因为它使得任何对数据的篡改都能马上被网络上的所有对等节点看到,而这仅仅只需要非常低的计算量。这种技术(使攻击成本高昂,防御成本低廉)是现代密码学的基石,也是精心设计的密码经济协议的标志。 但是,比特币的设计有一些局限性。尽管区块链可以快速探查到篡改,但是并不能较快地提供正确性的证据。实际上,每次新节点加入网络时,他们都必须检查从创始区块开始的每笔交易,以验证其正确性。该要求随着总交易量的增长呈线性增长,并且对于大多数普通用户而言,在智能手机等资源受限的设备上,这种要求很快就变得遥不可及。随着加密货币变得越来越流行,使用越来越广泛,它们最终成为自己成功的受害者,普通用户越来越难以访问区块链数据,而这些用户又不得不信任中介机构。 递归的zk-SNARK是解决这个难题的一个方法。类似于区块链可以恒定时间检测区块数据的正确性,递归zk-SNARKs能够实现在恒定时间对区块链状态进行验证。参与网络的节点不再自己验证历史交易数据,网络会协同生成交易正确性的证明(zk-SNARK),并且将之全网共享。因此,终端用户无需信任中介机构来提供账本状态的准确信息,而是通过zk-SNARK来获取账本状态,而这是从密码学上保证了准确性的。**简而言之,Mina协议以易于验证的证明取代了区块链区块数据。**有关此协议的技术实现的更多详细信息,请参阅技术白皮书[MRS19]。 Mina协议需要仔细分离角色,设计激励,采用合理的货币政策,以正常运行并避免不公平。本篇文章主要介绍Mina协议的各种考量。

2 网络角色以及激励

大多数加密货币协议在其网络中至少具有两个角色:1)验证网络中每个交易的角色,通常称为全节点,权益持有者或矿工; 2)信任第三方为其验证交易的角色,例如轻节点。这些协议验证区块链历史交易变得越来越昂贵,因此更多的参与者不能充当全节点,只能作为轻节点。例如,即使比特币平均每秒少于1.5笔交易,新加入的全节点也必须验证近500,000,000笔交易才能拥有全节点安全性。这个问题在一些加密货币中变得更加复杂,这些加密货币声称具有比特币交易吞吐量的10倍至100,000倍,因此在最大交易量下每周都会生成GB级或TB级的数据。 相比之下,Mina对资源的需求是不变的:无论网络处理了多少交易,用户都可以通过一个小的zk-SNARK来完全验证当前状态。为了支持这一点,Mina网络中具有三个角色,每个角色通过不同的机制鼓励参与。

2.1 验证节点

我们希望绝大多数网络参与者有能力验证区块链状态。由于Mina使用递归zk-SNARK证明来持续证明状态有效性,因此只需下载大约数百个字节的zk-SNARK证明,只花费几毫秒的计算时间就能验证整个区块链状态,从而可实现全节点安全性。 zk-SNARK证明证明了区块链共识信息和最新的区块链状态的Merkle树根。也就是说,验证者可以请求区块链状态对应的Merkle路径。通过验证Merkle路径,验证者可以确保他们关心的状态部分(例如帐户余额)确实包含在zk-SNARK证明的区块链状态中。

2.2 区块生产节点

区块生产者类似于其他协议中的矿工或抵押者。他们会以如下奖励分配的方式被激励,区块奖励或者coinbase交易,同样还有用户支付的网络手续费。重要的是,Mina采用的是Ouroboros [DGKR17]共识算法,因此区块生产者如果要参加的话不需要担心质押金被罚没的威胁。除了直接抵押之外,个人还可以抵押给其他块区块生产者。这样就允许代表别人质押权益,而不是发送交易。 通常,区块生产者选择要在下一个块中包括哪些交易。显然,最高费用的交易被鼓励加入区块。但是,为了确保区块链保持简洁,区块生产者还要承担额外的责任:对于添加到区块中的每笔交易按序生成SNARK证明。如果他们不这么做,那么他们就是不符合共识规则的,将会被其他节点拒绝。可以在脑海中想象一个交易队列,如果区块生产者想要将10个交易添加到区块中(以便以获取交易费用),他们必须对队列的10个交易按序生成SNARK证明。他们可以自己生成这些SNARK证明,也可以从市场中挑选证明生成节点生成证明。

2.3 证明生成节点

技术Mina白皮书[MRS19]中描述的证明生成节点也是网络参与者,他们生产可验证交易的zk-SNARK证明。证明生成节点在市场公布自己的证明生成费用,如果在一个块中使用其SNARK证明,则区块生产者从总交易费用中支付这些费用。 鉴于许多不同的证明生成节点可以为交易证明发布费用,并且激励生产者愿意采用最低的证明生成费用,这自然形成了一个市场。证明生成节点可以参与竞争以提供最具成本效益的zk-SNARK证明。为了方便起见,我们可以将其称为证明生成市场。下面,我们将评估该经济模型。 首先,只要网络上存在一定数量的证明生成需求(由区块生产者网络保证),证明生成市场便不会影响协议的活跃性或抗审查性,因为总会有区块生产者选择某个证明生成节点生成证明。 为此,考虑具有空闲计算能力的网络参与者,以及由于缺少证明生产而导致网络上的证明费用上升,当证明费用超过该参与者的证明生产的边际成本时,如果他们是理性的经济行为体,他们将开始提供高于其生产价格且低于市场价格的出价以获取利润,从而稳定了证明费用。区块生产者可以简单地将这些费用转嫁给交易者。实际生成证明的计算成本应非常低,以当前的云计算价格计算,每笔交易的费用不到一美分。 其次,考虑到经济规模扩张,很有可能有些SNARK将会长时间占主导地位,就像比特币的一些挖矿操作一样。但是,由此产生的证明生产集中度都不会影响该协议的抗审查性或活跃性。这是因为任何人都可以以一定的价格生产证明。即使有一些证明生产者可以提供更便宜的证明,但如果他们拒绝处理某些交易,网络上的其他任何节点也可以以更高的费用提供证明,并且仍然会激励区块生产者将其打包。第三,也许一个明确的自协调机制可以防止重复生成证明,这可能会减少证明费用和网络上的计算浪费,但是这种机制对于协议的安全性或活性不是必需的。

2.3.1 抗审查性

可能有必要在支持抗审查性上多说几句。尽管有很多针对比特币抗审查性的可能的攻击[NBF + 16],但事实证明,只要您支付足够高的费用或等待足够长的时间,您就可以被包括在一个区块中。 Mina与比特币非常相似,但又增加了复杂性,您还需要再将包含在区块中的交易进行证明。 因此,要使Mina不抗审查,就必须将交易包含在一个区块中,然后不对其进行证明。这将要求所有证明生成节点(拒绝对该交易生成证明)或所有区块生产节点(在账本更新时不会选择将已被证明的交易包含进去)之间进行合谋。根据Ouroboros的假设,我们可以假设网络是去中心化的,因此节点之间不会互相勾结。 再说证明生成节点。因为证明生成的计算成本非常低,并且任何人都可以生成,所以要使所有证明生成节点串通要比使所有区块生产者串通要困难得多。现有的证明生成节点无法阻止新的证明生成节点进入市场。如果有人注意到某个交易没有被Snark证明,他们可以在获取利益的前提下轻松提供Snark证明,即使交易费用很低,区块生产者在账本更新时加入已被证明的交易仍然是有利可图的。
​Mina交易生命周期
Mina交易经济的各种角色

3 命名

货币的单位称为Mina,以货币符号∎(UTF-16:U + 25FC)表示。Mina的初始供应量是10亿。每个Mina可分为10亿个nanomina。货币的中间面额使用标准度量标准前缀:

  1. ∎1 = 1 mina
  2. ∎0.01 = 1 centimina (分)
  3. ∎ $1^{-6}$ = 1 micromina

4 货币政策

Mina使用的是变种的Ouroboros[DGKR17] [MRS19]的POS共识算法,因此区块奖励和交易费用和抵押比例有关。因此,在抵押的参与度高的情况下,协议中名义上的通胀将会被名义上的回报抵消,从而确保一个帐户对Mina的持有比例保持不变。但是,那些不选择抵押或委派的人相对于那些选择抵押或委派的人将受到稀释。为了激励参与者从一开始就抵押,Mina的通胀率将从12%开始。五年后,通货膨胀率将下降到7%,此后默认情况下将保持在7%,具体取决于治理。

重要的是,Mina协议将会达成这个通胀率而不用管质押的参与率。这意味着区块奖励将动态变化从而达到这个通胀率目标。例如,如果抵押率仅为50%,那么块奖励将增加一倍。这是因为对于每个权益持有者来说,每个时期产生的区块个数和抵押的比例成比例。这自然会鼓励更多的个人在低参与率时进行质押。
现在的主要考量是,何时降低通胀率将由以下条件决定:在不大幅增加费用的前提下,是否实际奖励要比激励区块生产者进行验证的必需奖励高。


货币政策对Mina协议的后续开发也很重要。以区块奖励的方式产生的通胀,激励区块生产者进行验证来保护区块链免受攻击。但是,安全性不是新的区块链网络的唯一要求。协议的长期维护和改进也需要资金。我们建议最合适的机制是创建特殊的区块奖励,并通过治理进行奖励的发放。

参考:

[DGKR17] Bernardo David, Peter Gaži, Aggelos Kiayias, and Alexander Russell. Ouroboros praos: An adaptively-secure, semi-synchronous proof-of-stake protocol. Cryptology ePrint Archive, Report 2017/573, 2017. http://eprint.iacr.org/2017/573.

[MRS19] Izaak Meckler, Vanishree Rao, and Evan Shapiro. Mina: Decentralized Cryptocurrency at Scale, 2019.

[Nak09] Satoshi Nakamoto. Bitcoin: A peer-to-peer electronic cash system, 2009.

[NBF+16] Arvind Narayanan, Joseph Bonneau, Edward Felten, Andrew Miller, and Steven Goldfeder. Bitcoin and Cryptocurrency Technologies: A Comprehensive Introduction, 2016. Feather Forking.