摘要：Aragon Network（阿拉贡网络）是以太坊上利用经济激励机制处理纠纷的仲裁机构。Aragon的用户通过质押数字资产，共同履行事先达成一致的合约。如果期间发生纠纷，则由一个去中心化的法庭来仲裁并强制执行仲裁的结果。Aragon发行代币ANT来激励用户使用本网络，并促使网络健康地成长。
1. 简介
比特币已经被证明是全球金融系统中一个颠覆性的力量。其所带来的影响相当广阔，但最重要的贡献在于（1）将密码学和经济学相结合，创造出了一个全新的方式使得大规模分布式系统能够相互协作（2）不再依赖任何第三方可信机构就能实现全球任何点对点之间的交易转账。
在比特币的基础上，以太坊创建了一个平台，使得去中心化应用的开发者不再需要关注区块链底层的安全细节，而只需要关注应用开发本身。由此更进一步地展开思考，可以把开发者共同的关注点和担忧与应用开发隔离出来，将这些共同关注点单独汇集在一个通用的安全隔离层，这样可以让开发者更聚焦在应用开发上。
以太币现在似乎主要被用于投机，但当以太坊转变为Casper PoS共识后，它将主要被用于共识机制中的抵押而维护全网的安全。届时，价格波动较低的数字货币将在以太坊应用中成为主流，以太坊通用平台的结构也将在安全性上大大增强，而平台的交易费也将大大降低，从而将以太坊上各类应用的性能扩展性和可用性推到这些应用的侧链上解决。Aragon Network就是这样一种协议层，它将为以太坊提供一个仲裁机构，为各种伪匿名（pseudo-anonymous）区块链身份，DAO组织和个人提供一种机制让各方可以灵活创建可读性强的合约，并能在链上强制执行这些合约。Aragon为了保证合约在链上的强制执行，要求合约的参与方在履约的过程中要质押一定的数字资产。Aragon Network发行了自己的代币ANT，用于仲裁，治理和执行。系统中合约的参与方通过质押ANT代币来使用Aragon Network提供的服务。
2. 合约（Agreements）
相互之间没有建立信任关系的多方在进行合作时，要签署对大家都具有约束性，强制性的合约。以太坊已经提供了类似的合约，就是智能合约。但在实际生活中，并非所有的合约都能以以太坊现有的智能合约来表述。智能合约的目的是要让机器读懂，因此很多时候人看起来会觉得晦涩难懂，也难于维护，并且维护的代价很高。很多智能合约无法处理的情景下，各方还是不得不求助于传统的法律合约，在这种情况下，区块链技术就无能为力。类似Mattereum和Openlaw这样的项目在致力于解决这类问题，将区块链中智能合约的参与方与传统的法律相结合，但这些项目都有个问题：一旦区块链中“伪匿名”的身份与真实的法律身份相挂钩，则区块链极有价值的抗审查性就丧失殆尽。
为了解决这个问题，我们提出一个新的机制，让区块链中的合约变得易读易懂，这就是Aragon Agreements（阿拉贡合约）。它由一系列的智能合约和经由加密签名且可读性很好的文档所组成。Aragon Agreements定义了合约参与方的职责，义务以及纠纷发生时用来解决纠纷的机制。
2.1 职责（Responsibilities）
Aragon Agreements中所指的可读性好的文档，要求参与方在文档中明确定义各方的职责（和传统法律合约一样），对对方的期望，文档的有效期，条款等。当各方都对该文档满意后就用加密签名签署该文档，并产生一个哈希值，该哈希值会上链存储。
2.2 权责（Liabilities）
合约是强制执行的，其中所规定的权责仅仅只能处理合约参与方所质押的资产。我们假定数字资产可被用于抵押，因此用一个通用接口来定义抵押物。
- MIN_LIABILITY：定义了某项合约在执行期间可用于处理本合约纠纷的抵押物。该定义所指的抵押物仅用于某一项合约的纠纷。
- MAX_LIABILITY：定义了一类抵押物，它不仅可用于处理某项合约执行期间产生的纠纷还可用于处理其它同期执行的合约所引发的纠纷。该定义所指的抵押物可用于多项合约的纠纷。所有使用该定义抵押物的合约之间在效率和可执行性方面会作权衡取舍以求得最优的执行效果。
- FINALIZATION：定了一套以太坊虚拟机代码，它由计算机执行来决定某合约是否仍然有效或已经终止。在这里，由计算机来决定的事项通常包括合约的时间或区块数（笔者注：在区块链中，通常也用区块数来表示大概需要经过多长时间），双方或第三方是否可以终止或延长合约有效期等。
2.3 强制执行
合约还必须定义一个区块链地址，该地址将有特权在合约参与方发生纠纷时对参与方的抵押物进行处理。该地址可以是某个可信的第三方地址。但实际上我们更期望当合约参与方发生争执时，由系统独有的Aragon Court机制来涉入处理。因为Aragon Court机制有更好的执行效果，并且如果合约中定义了MAX_LIABILITY参数，它还会带来更高的执行效率。
3. 法庭（Court）
法庭是Aragon Network内负责强制执行的机构。它是个中立机构，根据共享的信息来做出判决。每个法庭都将根据纠纷情况做出最终判决。随着案例的积累，纠纷处理数目的增加，法庭会越来越有经验并且越来越有信誉，法庭所做出的判决也会越来越一致，合理。
法庭有不同等级。越是低级的法庭处理的纠纷越细致，越具体，越是高级的法庭处理的纠纷越宽泛，越抽象。经验比较少的新生法庭往往从细致，具体的纠纷开始处理，随着经验的积累和信誉的提高，其处理的纠纷越来越宽泛也越来越抽象，并逐渐由低级法庭慢慢向高级法庭发展。在最顶层，是体系内的最高法院，它制定并维护着整个体系的根本价值观和共同的价值基础。
纠纷的裁判机制原本由Kleros提出，这一套机制将陪审员或评委的信誉与合约参与方的抵押物进行了分隔，并且引入了一套具有创新性，可进阶审查的裁决机制。
这里，笔者介绍一个概念：谢林点。它又译为薛林点，或称为聚焦点，Schelling point，是博弈论中人们在没有互相沟通的情况下所表示出的选择倾向，做出这一选择可能因为它看起来自然、特别、或者与选择者自身有关。
在法庭判决时，参与判案的陪审员或评委在没有事先串通而独自做出的判决被称为谢林点。我们希望谢林点尽量少的受到外界的干扰，这样的判决才能尽量公平，客观。
前文提到的Aragon引入的一套具有创新性，可进阶审查的裁决机制就是为了让陪审员或评委在谢林点做出判决时尽量不会受到贿赂的影响，也不会因为合约参与方抵押物的多少而受影响其判决。
3.1 抵押物（Collateral）和信誉
在Aragon Network中，所有的合约都要用抵押物作担保。只有这样才能逐步建立陪审员或评委的信誉。
Aragon Network拟定了一系列条款，规定了陪审员或评委的责任和操守。作为陪审员或评委，必须认可这些条款。这些责任和操守的规定相当明了清晰，恪守这些准则并不需要依赖他人。下例是一个合约样本中规定的条款：
1）一旦争议中的任何一方企图贿赂法庭，则陪审员或评委将一致同意重审该案件。
2）一旦争议中的双方都企图贿赂法庭，则陪审员或评委将一致同意通过投票来决定是否拒绝受理该案件。
3）一旦争议中的某一方企图贿赂法庭，则陪审员或评委将一致同意在判决时做出对另一方有利的判决。
系统拟定这样的条款是为了创建一种裁决机制，使得博弈中的纳什平衡点对诚实守信的陪审员或评委更有利。
系统为参与裁判的陪审员或评委设定带MIN_LIABILITY参数的合约，并要求陪审员或评委以ANT代币作为抵押物担保，以保证法庭有最基本的信誉底线。随着陪审员或评委诚实有效地参与审理的案件越来越多，他们的信誉也在逐步积累。这套机制让人人都可以参与纠纷的审理。随着信誉的积累，参与审理所需要的抵押担保会越来越少。
当一个新的法庭组建时，其信誉值还比较低，但随着法庭审理的纠纷越来越多，其信誉也会越来越好。当法庭成熟到一定地步，法庭中陪审员或评委要参与审理时所需的抵押物就很少了。
每个法庭都有自己的信誉值，并且信誉值不可转让，也不便售卖。法庭中诚实的陪审员或评委可以另外再组成一个新法庭，同时保持他们自身的信誉值不变。这时在原法庭中受理的纠纷经过原被告同意可以转到这个新法庭进行受理。
3.2 裁决过程
我们假定一个客户提交了纠纷审理的请求，则该请求会受到所有希望参与审理的用户的关注。一旦关于该请求的事项有了任何进展（比如选陪审员或评委，纠纷立案，申诉，最终裁决），则系统会在区块链上通知所有的关注方。
愿意参与纠纷裁决的陪审员或评委将激活他们的信誉，以供系统筛选作为陪审团或评委的成员。当用户提交纠纷审理请求时，必须付一定金额的审理费，该审理费的多少与陪审团或评委会的信誉密切相关。然后系统将在合格的候选人中随机选取陪审员或评委。
一旦纠纷审理请求得到立案，陪审团或评委会得以成立，则裁决就正式开始。裁决过程分为四个阶段：每一个阶段持续的时间都和参与审理的法庭有关：
1）提交证据期：在这个阶段，纠纷双方都向陪审团或评委会提交各自的证据。
2）陪审团或评委会裁决期：在这个阶段，陪审团或评委会将对提交的证据进行审查并做出判决。所做的判决将决定该案件是否（1）作进一步审理，（2）被驳回，（3）对该合约的FINALIZATION参数进行更新或对纠纷原被告的抵押物进行处置。
3）裁决复议期：如果陪审团或评委会中至少有一位表示该案件要重新审理，则进入此阶段。在此阶段，系统会从Review Court（复议庭）中挑选出另外一组陪审团或评委会对所有的证据和做出的裁决进行复议。复议的过程还将惩罚在前一阶段审理过程中表现不诚实（所谓的表现不诚实是指陪审员或评委的行为违反了系统的相关条款规定）或收受了贿赂但不主动坦白的陪审员或评委。
4）上诉期：在法庭做出判决后，和陪审员或评委的信誉值被更新前有一段时间，在此期间内原被告可以提起上诉。
3.2.1 陪审团或评委会裁决
陪审团或评委会的裁决非常类似博弈论中的谢林点（笔者注：前文有简介）。在裁决中，陪审员或评委都要自己独立对证据进行判断并做出判决，并且一般都倾向和其它陪审员或评委做出比较一致的判决。
由于裁决的结果是从所有陪审员或评委的判决汇总而来，因此系统拟定了下列规则来决定判决的结果及奖励机制。
1）如果陪审团或评委会中大部分成员都认为该案件要驳回，则案件立刻驳回，纠纷所涉及的合约维持原状。
2）如果陪审团或评委会中大部分成员都认为合约的有效期需要延长，且提出了各自建议的延长期，则合约新的有效期取这些延长期的中位数。如果原告或被告没有上诉，则赞同延长合约有效期的陪审员或评委信誉值加分，其他陪审员或评委的信誉值扣分。
3）如果陪审团或评委会中的大部分成员都认为原被告的抵押物要进行处理及重新分配，且提出了各自建议的分配比例，则抵押物的分配比例取这些值的中位数。如果原告或被告没有上诉，则赞同重新分配的陪审团成员或评委会成员信誉值加分，其他成员的信誉值扣分。
4）如果原被告未上诉，则原被告缴纳的审理费奖励给所有的陪审员或评委，无论这些陪审员或评委在审理过程中信誉值是加分或扣分。
5）如果在法庭作出判决前，任何陪审员或评委要求复议案件，则该案的证据和陪审团或评委会作出的裁决将被复议。
3.2.2 复议
进入到复议机制后，复议庭会先审查在上一轮审理过程中是否有陪审员或评委违反了职业操守，并且一经发现，立刻将此陪审员或评委除名。在这个机制中，我们有个前提假设：陪审团或评委会中起码有一位诚实的成员要求案件复议，而所有不诚实的成员将受到惩罚。
如果至少有一个陪审员或评委要求复议案件，则系统将从Review Court（负责裁定其他陪审员或评委是否违反了职业操守的机构）中挑选5名成员来组成法庭，复议该案件。由于该法庭仅仅只处理复议案件，因此陪审员或评委无需具备该案件有关的专业知识，他们只需要判断上一轮案件审理中陪审团或评委会是否违反了职业操守。案件复议的结果通常有三种：复议请求不合理，维持原判；复议请求合理，原被告都试图贿赂陪审团或评委会，该纠纷审理请求被撤销；复议请求合理，有一方试图贿赂陪审团或评委会，复议将做出对另一方有利的判决。
如果复议庭发现任何陪审员或评委违反了职业操守，则该陪审员或评委信誉值变为零，并且其抵押担保物被Stability Reserve（“稳定储备”机构）没收。该陪审员或评委对判决不服可以提起上诉。
3.2.3 费用
陪审员或评委参与审理纠纷会得到报酬，报酬就来自提交纠纷审理请求的合约参与方所缴纳的审理费。审理费的多寡和法庭的信誉值有关，并由陪审团或评委会管理。审理费中会扣除一部分归系统所有，用于系统的研发以及给复议庭中参与判决的陪审员或评委支付报酬。
3.3 上诉
任何人对法庭的裁决不满都可以在上诉期提起上诉。我们规定提请上诉所要缴纳的费用是原判或最近一次裁判费用的两倍，这样做的目的是为了防止上诉方通过反复上诉试图得到对自己有利的判决。并且每次上诉时系统将对新的陪审团或评委会组成采取随机选取的方式从更多的陪审员或评委中选取，并赋予更高的权威。
如果没有足够多的同级别陪审员或评委，我们将从高一级别的法庭中选取陪审员或评委，这样逐级往上，最终可能引入最高法院的陪审员或评委参与裁决，这时所作的判决将不再可上诉。
实际上，我们并不希望纠纷处理的费用暴涨，只有极端情况下才会如此。我们的主要目的是给参与者提供上诉的机会。
4. Aragon Network Token（ANT代币）
参与Aragon Network裁决的合约都需要合约的参与方在一段时期内，抵押一定数量的资产作为担保。如果用价格波动较大的资产比如ETH进行抵押，则参与方将要承受价格波动带来的风险。另一方面，如果用稳定币比如DAI来进行抵押，则参与方将丧失资产可能升值的机会。因此理想的抵押物一方面能提供一定的风险回报，另一方面也能在一定程度上保持价值稳定。
为了尽可能让ANT代币作为理想的抵押资产，并且减小参与Aragon Network用户的机会成本，我们根据价格目标用计算机程序来管理ANT的供给和抵押。另外，为了激励用户的参与，并促进系统长期发展，我们采纳Livepeer的建议，给用户参与率设定了目标值，并且会从新发行的ANT代币中拿出部分用于奖励对系统的发展做出贡献的用户。
这种维持币价稳定的方式源自Maker，StableUnit和Basis，采用了类似方式的项目还有Fragments。随着这个领域内研究成果的成熟，我们认为会有更多风险回报及用途各异，但波动较低的代币涌现。这些代币将会成为不同领域中很好的价值储备工具。在Aragon Network中，ANT代币的使用方式及奖励机制会使其成为首选的抵押资产。
4.1 价格预言机（Price Feed Oracle）
Aragon Network中的各方可以用ANT作为抵押担保，签订合约，并且在合约中规定以某个价格预言机给出的代币价格为准。该预言机将承诺为合约提供准确的价格信息，并保证不篡改信息。因此，我们可以从所有合约参与方都认可的一系列代币价格中取中位数作为一定时期内大家都认可的有效价格。
如果某个参与方试图干扰价格预言机，并因此有纠纷审理请求提出，则该参与方的抵押物将被没收。由于价格信息是广泛可得并且公平客观的，因此这个机制能保障起码有一个诚实的参与方会一直密切关注价格预言机。
代币价格信息的提供者也必须抵押代币，这一方面会让信息提供者承担一定风险，另一方面这种行为也算为系统服务，因此这种行为必须得到奖励。而奖励就来自新发行的代币，奖励的多少则根据提供者所付出的服务来决定。
4.2 稳定储备
设置“稳定储备”这个机构的目的是为了让ANT能更好地被用作记账单位和抵押资产，抑制其价格波动，尤其是抑制价格的下跌。当ANT被越来越认可为记账单位和抵押资产后，也就顺理成章地会成为价值交换的媒介（笔者注：即货币）。
当对ANT的需求上涨时，其价格也随之上涨，“稳定储备”就会向市面投放ANT，回购市面上的抵押物，以抑制ANT价格的上涨。当ANT的价格下跌时，“稳定储备”就会卖出持有的抵押物从而回收市面上流动的ANT，以抑制其价格下跌。如果“稳定储备”持有的抵押物不够，而无法回购足够多的ANT以稳定其价格，它还可以通过发行债券来回购ANT。Aragon的债券发行机制有自己的特色：系统回购债券的收入一方面来自于ANT代币的升值，另一方面来自于系统提供各种裁决服务所收的审理费和服务费等。
Aragon Network有一个内定的参数，定义“稳定储备”应持有的抵押物的合理水平（类似中央银行对各银行“资本充足率”的要求）。如果“稳定储备”有足够的抵押物，ANT代币可进行增发，既维护了其作为记账单位的地位，也保证了ANT代币持有者能享受到整个系统价值的增长。
4.3 价格，稳定性，参与度
ANT代币的管理发行依赖一套货币政策，这套政策主要基于数学算法，使其能自动因应市场行情（比如价格，用户参与度等）的变化而做出相应的调整，从而促进系统健康地发展。为了适应行情的变化，这套算法会以预先设定的一系列目标值包括价格，稳定性和用户参与率为主要参数进行计算。
这些参数的变化会被控制在一定范围内，以保证算法对货币政策的调整是细微，均衡的，即便当大环境需要货币政策进行大幅调整时，其调整的步骤也是以逐步，和缓的方式进行。
4.3.1 价格目标
价格目标决定了在某个阶段ANT是应该供给还是回收。简单地说，可以将其理解为把ANT设定为类似美元那样的记账单位，让ANT锚定一系列商品的价格，汇总成类似CPI那样的指数。用锚定的方法可以减少人为地干预。当锚定多个商品或货币时，只要设置好所锚定商品或货币的种类以及每个商品或货币的权重就可以了。
4.3.2 稳定性目标
稳定性目标决定了“稳定储备”的政策应该如何制定。当系统对ANT的价格稳定性要求相当高时，“稳定储备”应该持有尽量多的抵押物，另外还可能要增发ANT代币以随时调整ANT代币的供求来稳定价格，但与此同时，ANT的持有者则无法享受ANT的升值。我们认为随着系统的成长和稳定，对稳定性目标的设定应该随着时间的改变而做相应的调整。
4.3.3 参与率目标
参与率目标用来激励用户参与并对Aragon Network做出贡献。它的主要作用有：维护一定比例的ANT用于抵押和一定比例的ANT用于市面流通；奖励ANT价格信息的提供者；奖励参与仲裁者等。通常，某个参与率目标指的是在某个活动中用于抵押的ANT占ANT总供应量的比例。
比如我们希望Aragon Network中ANT总发行量的75%用于抵押，剩下的25%在市面流通，则我们可以设定这个用于抵押的参与率目标为75%。如果过一段时间，用于抵押的ANT低于我们设定的目标，则往后新发行的ANT中就要多拿出一部分ANT用于抵押。相反，如果过一段时间，用于抵押的ANT超出了我们设定的目标，则往后新发行的ANT就少拿一部分ANT用于抵押。这样一方面鼓励用户参与活动质押ANT，另一方面也保证了市面上有足够的ANT流动性。
5. 治理
治理指的是系统内协调各个部门的关系然后集体做出决策。随着系统的发展，内部的部门会越来越多，所要作出的决策也会越来越多，系统的治理也会越来越困难。在很多情况下，系统集体做出的决策往往和个人的期望有差距，而且个人也不可能参与所有的集体决策。因此面对这种集体决策和个体期望之间存在的差距，如何做出一个尽可能代表整体利益的决策就考验着集体决策的能力。
Aragon Network致力成为一个全球通用的裁决系统，因此它的治理过程就必须要有这种能力，一方面减少对信任的依赖，减低所需的投入，避免直接的干预，另一方面能让用户体会到它的优越性。
5.1 最小权威原则
Aragon Network不是铁板一块的庞然大物，而是可被细分为多个组成部分，其中每个组成部分都会不同程度地影响整个系统。如果某个部分对系统有较大且直接的影响力，则与其相关的治理过程就有很高的权威性。如果某个部分不需要任何改变，它就是静态的。Aragon Network中有四个主要的组成部分，按重要性由高到低排序如下：
1）可升级性：Aragon Network由一系列智能合约组成，“可升级性”就是指这些智能合约是否可升级。对智能合约的升级需要授权，这个授权的等级高于所有其它的授权。
2）法庭：这指的是规划法庭等级，设置各级法庭的审理费。法庭是Aragon Network中强制执行裁决的机构。因此任何对法庭等级，结构，审理费的改变都需要相当重要的授权。
3）货币政策：这指的是对一系列与ANT代币相关的事务的管理，包括对ANT价格提供者的管理，对稳定性目标的管理，对参与率目标的管理等。一些关键参数比如稳定性目标，参与率目标等对整个系统的稳定发展至关重要。通常对这些参数的调整变动要尽量细微，尽量避免使系统受到较大的波动和冲击。
4）财政政策：Aragon Network有个财政部“treasury”。这个财政部有自由支配资金的权力。财政部的运作和“稳定储备”的运作相互独立。通常财政部对资金的支配调动只在短期内对整个系统有有限的影响。
5.2 代币抵押者代表
需要很高授权才能进行的活动（比如可升级性）赋予每个代币抵押者监督其他代币抵押者的权力。比如当Aragon Network进行升级时，我们要考虑的因素有：系统中合约所涉及的用户，ANT代币持有者，陪审员或评委。如果这个升级的过程在现有系统中还未被明确规范，则这个过程就是一系列实验和探索的过程。这就需要过程中包含监督，检查，权衡利弊等。这种典型的过程一般来讲包含下列这些事项：
1）ANT代币持有者投票决定是否升级。
2）最高法院中的陪审员或评委投票表决是否同意升级。
3）如果升级被通过，则有一段等待期。在此期间内已提交纠纷审理请求的用户之间进行协商，决定是使用升级后新的仲裁机制还是私下和解。
5.3 激励
有了好的治理，系统中的每一个用户都会受益。但是如果仅仅要求用户对系统一味地付出和贡献而没有回报，则这种情况下系统也不可能有很好的发展。这就好比人人都喜欢免费午餐但人人都不愿意主动贡献。
要解决这个问题必须靠激励。比如对参与投票的人给与奖励，这就能提高投票率，尽管这并不保证每一个参与投票的人都能公正负责地投票。业界知名的项目Futarchy，在理论上，对任何一项活动，如果其结果都可以客观衡量，则该项目都能漂亮地将用户的参与与激励相挂钩以激励用户的参与。
但如果没有可以客观衡量的结果，我们就可以制定要求抵押的合约，用设立法庭，鼓励用户参与仲裁的方式来激励用户参与系统的管理。具体地说，为了激励用户参与治理，我们要求参与者用ANT进行抵押，恪守职业准则。一旦参与者的行为违背了职业准则，则任何人都可以对此提起纠纷审理请求，使得嫌疑人的抵押物随时有被没收的可能，从而大大减小作恶的可能性。
6. 结论
我们提出Aragon Network，这种以太坊内嵌的仲裁机构，是为了提高区块链生态中的社会可扩展性。这套方案不会牺牲用户的隐私及自由（其它系统中会要求用户将其区块链身份与现实生活中的身份相关联，这就会导致用户隐私的暴露）。在这个系统中，我们制定了经济上的激励机制鼓励用户编制易读易懂的合约，并用这种激励机制鼓励用户参与仲裁解决纠纷。这套系统不依赖用户现实中的真实身份来参与各项活动，而是要求用户抵押数字资产来促使用户履约。和传统的司法系统相比，这套系统的效率会低一些，同时可能导致用户面临其所抵押的资产波动或贬值的风险。因此，系统设计了代币ANT作为储备货币，同时ANT还可被广泛用于系统内的各项服务，治理并用作抵押资产。
参考链接：https://github.com/aragon/whitepaper
网友评论