作者|?VitalikButerin
译者按：以太坊2.0将逐渐从ProofofWork过渡到ProofofStake共识机制(CasperPoS)，VitalikButerin在2016年就撰文阐述了其背后的价值权衡和设计哲学。时隔多年，随着社区对加密经济学的不断探索，又启发了我们怎样的新思考？
像以太坊的系统基本上是加密经济有机体系中新产生的层级——是完全存在于加密空间的去中心化、无权威介入的实体，并由加密学、经济学和社会共识机制共同维系的。
它们有点像是BitTorrent，但又有所区别，因为BitTorrent并没有状态的概念——结果证明这是至关重要的一个区别。它们有时候会被形容为“去中心化的自治公司”，但它们又不是特别公司化，比如你并不能对微软公司实行硬分叉。它们像是开源软件项目，但两者之间也并不是特别像，你可以对区块链进行分叉，但这又没有分叉OpenOffice那么容易。
这些加密经济网络多种多样，有基于ASIC的PoW、基于GPU的PoW、朴素PoW、委托PoS，还有未来有希望实现的CasperPoS，而且每一种都不可避免地会有它自己背后的哲学。
Vitalik：跨链证明是实现跨链社交恢复钱包的关键，ZK-SNARK等是可行选择:6月20日消息，以太坊联合创始人VitalikButerin在最新文章《更深入探讨钱包和其他用例的跨L2读取》中指出，实现跨链社交恢复钱包的一个可行方案是维护一个存放在特定位置的密钥库，以及多个不同位置的钱包，这些钱包可以读取密钥库来更新自身的验证密钥视图或在每次交易验证过程中。跨链证明是实现这个功能的关键，需要对其进行深度优化，可能的方案包括零知识证明（ZK-SNARK）、等待Verkle证明或自定义KZG解决方案。
从长远看，我们需要实现聚合协议，通过生成聚合证明来打包所有用户提交的操作，以此来降低成本。这可能需要将其集成到ERC-4337生态系统中，可能需要对ERC-4337进行一些修改。同时，为了减少从L2内部读取L1状态的延迟，L2应被优化。
钱包不只可以放在L2上，也可以放在与以太坊连接程度较低的系统上，如L3或只同意包含以太坊状态根的独立链。然而，密钥库应放在L1或高安全性的ZK-rollupL2上。尽管这样会增加复杂性，但从长期来看，可能在L2上设置密钥库才是成本更低的方案。在这个过程中，我们也需要致力于提供保护隐私的解决方案，并确保我们的方案可以与隐私保护方案兼容。[2023/6/21 21:50:47]
一种比较著名的例子就是以工作量证明机制为最高纲领。在这种机制中，会将矿工投入了最大数额的经济资本去创建的单条区块链定义为“唯一正确”的区块链。原本这只是协议内的分叉选择规则，但这种机制却在很多情况下被上升为一种神圣的信条。作为示例，可以看一下我和ChrisDeRose在Twitter上的讨论，它展现了一个人即使是在面对协议中哈希算法不断改变的硬分叉时，还是以他纯粹的形式为这种想法辩护。
4万枚ETH从Vitalik Buterin创建的合约地址转出:11月24日消息，据WhaleAlert监测，4万枚ETH从Vitalik Buterin创建的合约地址（0x22086开头）转出，该合约地址当前还持有逾25万枚ETH，价值近3亿美元。[2022/11/24 8:05:12]
Bitshares的委托权益证明机制?(DPoS)展现了另一种符合逻辑的哲学，也就是一切又再次从单一的信条衍生而来。这种信条可以更简单描述为：股东投票。
其中的每一种哲学：包括中本共识机制，社会共识机制，股东投票共识机制，都诞生了一套自身的结论，并形成了一种基于其自身观点来看颇有道理的价值体系，尽管在互相比较时一定会受到批判。Casper共识机制也有其哲学基础，尽管至今还没能以一种简要清晰的方式描述出来。
我、Vlad、Dominic、Jae和其他人都对权益证明协议存在的原因以及如何去设计这一类协议都有各自的看法，但本文仅阐释我个人的观点。
我会直接进一步列出观察情况以及结论：
?密码学在21世纪中确实是非常特殊的，因为在对立冲突中仍大多站在防御者一方的领域已经不多了，密码学就是其中一个。比起建造一个城堡，摧毁它会更加容易；岛屿的防御性更强，但也会被袭击；但是一个普通人的椭圆曲线密码?(ECC)密钥却能足够安全，甚至能抵御国家级的入侵。
Vitalik Buterin：区块链和加密货币间存在“紧密联系”，以至于“缺一不可”:11月21日消息，以太坊联合创始人Vitalik Buterin在接受海峡时报采访时表示，考虑到新加坡对加密资产类别持怀疑态度，新加坡在加密货币监管方面的善意尝试可能不会奏效。V神说他很欣赏新加坡对加密行业的支持愿意，但这一切可能都是徒劳的。V神表示：“世界各地的监管机构都希望支持新兴技术，但同时也觉得加密货币‘奇怪和可怕’。由于对加密货币缺乏理解和恐惧，监管机构试图将区块链作为一种独立于加密货币的技术来对待。新加坡的情况就是如此。”V神表示，区块链和加密货币之间存在“紧密联系”，以至于“缺一不可”。
V神称加密社区通常喜欢支持有权势的人，这是愚蠢的。他重申了他对萨尔瓦多去年“自上而下”采用比特币的批评，称这是加密社区做错的一个例子。他说，比特币社区对这一消息感到高兴，却忽视了该国的严峻现实。尽管萨尔瓦多总统Nayib Bukele的政府“不太民主”，不善于“尊重人民的自由”，但该社区还是支持萨尔瓦多。此外，V神设为监管机构可以设置护栏，社区可以“教育用户”。但“可以阻止多少不良活动终究是有限度的”，因为区块链系统的性质要求它对所有人开放。[2022/11/21 22:12:29]
密码朋克的哲学本质是利用这种宝贵的非对称性来创造一个能够更好地保护个人自由的世界。密码经济学从一定程度上说是密码学哲学的延伸。不同的是密码经济学保护的不仅是个人信息的隐私和安全，也要保护复杂的协作系统的安全性和活力。把自己看作是密码朋克精神继承者的系统应该保持这种基本属性，毁坏一个系统要远比使用和维护系统的代价更高。
动态 | EOS 的Activity指数为43,721,037 排名第一:据IMEOS报道，截止12月16号11点，blocktivity.info上显示，排名第一的 EOS 的Activity指数为43,721,037 ，排名第二、第三分别为 TLOS 和 IOST 。Acitivity指数为最近24小时内在区块链上执行的操作数量。[2019/12/16]
??“密码朋克精神”并不单单只是理想主义，而建造一个易守难攻的系统，单就工程设计而言也理应如此。
?在一个中期到长期的时间范围里，人们非常擅长共识。即使敌手拥有无限的哈希算力，并且能对任意主要区块链系统进行51%攻击，甚至将其回滚到一个月前，但比起超越主链的哈希算力，要说服社区该链具有有效性要难得多。他们还需要篡改互联网上许多其他信息源，例如区块浏览器、社区中每一位可靠的成员、纽约时代、archive.org等等。
总言之，在信息技术发达的21世纪，攻击者想要说服全世界接受他攻下的区块链，难度大概不亚于说服全世界美国没有登陆过月球。因此，归根结底这些社会因素才是区块链的长期保障，无论区块链社区是否承认这一点。
Vitalik Buterin：以太坊已经发展到一定瓶颈 以太经典才是黑马:据今日头条报道，以太坊智能合约平台网路组织遭骇，骇客利用智能合约的漏洞，下指令让DAO重复拨款，总共盗领370万以太币（当时约合5300万美元）。为了取回被盗资金，布特林（Vitalik Buterin）与DAO成员决定忽略被骇旧区块，并重新建立新区块。这个决定，等于打破区块链不可回复、不可窜改的初衷和原则，自然引发许多争议。但是事情发展到现在，布特林说：“虽然以太坊（ETH）似乎正在吸引所有媒体的关注，以太经典（ETC）似乎扮演了黑马的角色。”他认为以太坊已经发展到了一定的瓶颈。ETC已经回归了奥地利经济学派的传统，按照比特币的方式进行了了减产的规划，最后总量不会超过2.1亿个。以太坊现价报4717元，跌幅8.23%，以太经典194元，跌幅达9.65%。[2017/12/28]
??然而单单由社会共识保障的区块链还是太低效率了，运行的速度也不够快，并且很容易让分歧无休止地持续下去；因此，在短期内，经济共识机制在保护区块链活性以及安全性上起到了非常重要的作用。
??因为只能用区块奖励保证工作量证明机制的安全性译者注：即Entrycost(进入成本)，Existcost(存在成本),Exitpenalty(退出惩罚)，再加上矿工的激励仅仅来自于他们可能失去区块奖励的风险，因此，工作量证明机制的运行逻辑是：通过巨额奖励来催生大量算力。
在PoW当中要想从攻击中恢复过来是非常困难的：如果它是第一次发生，你可以通过硬分叉改变工作量证明，这样就可以使得攻击者的ASIC失效，但如果再次发生的话，你就没得选择了，所以攻击者可以一而再再而三地攻击。
因此，挖矿的网络的规模要足够大才能降低攻击的风险。假设网络每天的算力成本是X，那么就能阻止规模小于X的攻击者出现。我反对这一逻辑是因为PoW会消耗大量能源；PoW并不能实现密码朋克精神，因为其攻守成本是1：1，所以根本没有防御者优势。
??PoS权益证明机制不再依靠为网络安全性提供奖励的机制，而是通过惩罚措施来打破这种对称性。质押资金的验证者会得到小小的奖励，这是为了对他们锁定资本、维护节点以及还要额外警惕私钥安全性做出的补偿，但是回滚交易受到的惩罚是他们同时间所获奖励的成百上千倍。因此权益证明机制的“一句话哲学”并不是“消耗能源来获得安全性”，而更应该是“提高损失的经济价值来保障安全性”。
如果说一个给定的区块或状态享有价值X的安全性，前提是你得证明任何冲突区块或状态无法达到相同等级的最终确定性，除非恶意节点勾结起来支付价值X的协议内罚金。
??理论上来说，大多数验证者勾结起来有可能会控制权益证明区块链，然后就
开始作恶。然而通过巧妙的协议设计，他们通过这种操纵手段攫取利润的能力就会尽可能被限制，而且更重要的是，如果他们尝试阻止新的验证者参与网络，或是执行51%攻击的话，那么社区就可以简单地协调好某个硬分叉并清除行为不端的验证者的存款。
一次成功的攻击可能会耗费五千万美元，但比起2016.11.25那一次的geth/parity共识错误处理情况来看，收拾残局的进程不会太艰巨。两天之后，区块链和社区会回到正轨，攻击者损失了五千万美元，而由于攻击事件之后的供应量紧缩，代币的价值会上涨，社区成员可能会有所受益。这即是攻击和防御的不对称性。
??上述并不能拿来表明非计划性的硬分叉将来会发展成为规律性事件；必要时，可以将在PoS中发起单次51%攻击的成本设置得和在PoW中进行永久的51%攻击一样高。这样庞大的费用和攻击的低效性应该能够保证在实际状况中不会有人尝试攻击。
??经济学并不是万灵丹。有些个人可能是出于协议外的动机，比如说他们的计算机可能会遭到入侵、他们可能会被挟持或者可能仅仅因为某一天喝醉了，然后决定破坏这条区块链，完全不计成本。
再者，就积极的一面来说，个人的道德自制和沟通低效会将攻击所需的成本提升到比协议定义的损失价值?(value-at-loss)更高的水平。这是我们不能依赖的优势，但与此同时它也是我们不应该觉得没有必要就抛弃的优势。
??因此，最优的协议应该是那些在多种多样的模型和假设当中仍能够正常运行的协议——具备协调选择的经济理性、具备个人选择的经济理性、简单的容错机制、拜占庭容错机制、受到Ariely/Kahneman启发的行为经济模型以及在理想条件下既具有现实意义又具有实践意义的经得起推敲的模型。
重要的是要做好双层防御：防止中心化企业联盟做出反社会行为的经济激励，和一开始就防止企业联盟形成的反中心化激励。
?运作充分快速的共识协议具有一定风险，需要非常谨慎地对待，因为如果系统效率和激励挂钩，那么这样的结合将会带来高额奖励，以及足以引发系统性风险的网络层中心化。有些共识协议并没有这些担忧，这类协议并不要求验证者发送信息有多快，只要他们能够在在可接受的时间间隔内发送信息就行了。
一个可能的折中就是，创建一种快速运行的协议，但其中可以应用和以太坊叔块类似的机制，以确保节点的网络连接度超过了某个易达到的程度之后，其边际收益是非常低的。
至此，对一些具体细节肯定还有很多不同的情况和方法，但上述说法至少是我的Casper版本所基于的核心原则。我们当然还可以讨论互相竞争的价值观之间的利弊。
是年发行率1%的ETH和成本五千万美元的修复性硬分叉，还是年发行率为0的ETH和成本五百万美元的修复性硬分叉？我们该什么时候通过在容错模型下降低安全性作为在经济模型下提高协议安全性的交换呢？可预测的安全性和可预测的发行率，我们更在意哪个？
这些都是留待另一篇文章探讨的问题，而至于对这些价值进行权衡的多种方式，则需要更多的文章来回答，但我们迟早会讨论到:)
原文链接：https://medium.com/@VitalikButerin/a-proof-of-stake-design-philosophy-506585978d51
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。