译者按：以太坊2.0将逐渐从ProofofWork过渡到ProofofStake共识机制(CasperPoS)，VitalikButerin在2016年就撰文阐述了其背后的价值权衡和设计哲学。时隔多年，随着社区对加密经济学的不断探索，又启发了我们怎样的新思考？
像以太坊的系统基本上是加密经济有机体系中新产生的层级——是完全存在于加密空间的去中心化、无权威介入的实体，并由加密学、经济学和社会共识机制共同维系的。
它们有点像是BitTorrent，但又有所区别，因为BitTorrent并没有状态的概念——结果证明这是至关重要的一个区别。它们有时候会被形容为“去中心化的自治公司”，但它们又不是特别公司化，比如你并不能对微软公司实行硬分叉。它们像是开源软件项目，但两者之间也并不是特别像，你可以对区块链进行分叉，但这又没有分叉OpenOffice那么容易。
这些加密经济网络多种多样，有基于ASIC的PoW、基于GPU的PoW、朴素PoW、委托PoS，还有未来有希望实现的CasperPoS，而且每一种都不可避免地会有它自己背后的哲学。
Vitalik KBW2023演讲：相比无状态存储解决方案，状态过期是低优先级选择:9月5日消息，在韩国区块链周KBW2023上，Vitalik Buterin发表主旨演讲称，客户端不得不去存储越来越多的东西，第一个解决方案是停止存储历史数据，即采用EIP-444（执行客户端中的绑定历史数据），第二个解决方案是将状态存储责任转移到专用节点，第三个解决方案是将旧object移出状态之外。EIP-444是指客户端必须停止在p2p层上提供超过一年的历史headers、bodies以及receipts,客户端可以在本地删除（prune）这些历史数据。[2023/9/5 13:18:15]
一种比较著名的例子就是以工作量证明机制为最高纲领。在这种机制中，会将矿工投入了最大数额的经济资本去创建的单条区块链定义为“唯一正确”的区块链。原本这只是协议内的分叉选择规则，但这种机制却在很多情况下被上升为一种神圣的信条。作为示例，可以看一下我和ChrisDeRose在Twitter上的讨论，它展现了一个人即使是在面对协议中哈希算法不断改变的硬分叉时，还是以他纯粹的形式为这种想法辩护。
Bitshares的委托权益证明机制?(DPoS)展现了另一种符合逻辑的哲学，也就是一切又再次从单一的信条衍生而来。这种信条可以更简单描述为：股东投票。
Vitalik Buterin：基于MPC的EOA钱包有根本缺陷，智能合约钱包是唯一选择:6月29日消息，以太坊创始Vitalik Buterin发推回应如何看待基于MPC（EOA）的钱包与智能合约钱包的优缺点时表示，基于MPC的EOA钱包存在根本缺陷，因为它们无法撤销密钥（重新共享不算在内；旧持有者仍然可以恢复密钥），智能合约钱包是唯一的选择。[2023/6/29 22:07:37]
其中的每一种哲学：包括中本共识机制，社会共识机制，股东投票共识机制，都诞生了一套自身的结论，并形成了一种基于其自身观点来看颇有道理的价值体系，尽管在互相比较时一定会受到批判。Casper共识机制也有其哲学基础，尽管至今还没能以一种简要清晰的方式描述出来。
我、Vlad、Dominic、Jae和其他人都对权益证明协议存在的原因以及如何去设计这一类协议都有各自的看法，但本文仅阐释我个人的观点。
我会直接进一步列出观察情况以及结论：
?密码学在21世纪中确实是非常特殊的，因为在对立冲突中仍大多站在防御者一方的领域已经不多了，密码学就是其中一个。比起建造一个城堡，摧毁它会更加容易；岛屿的防御性更强，但也会被袭击；但是一个普通人的椭圆曲线密码?(ECC)密钥却能足够安全，甚至能抵御国家级的入侵。
ZK-EVM Kakarot完成pre-seed轮融资，Vitalik、StarkWare等参投:6月2日消息，zkEVM 开发平台 Kakarot 完成Pre-Seed 轮融资，StarkWare、LambdaClass 和天使投资人 Vitalik、Nicolas Bacca、Rand Hindi 等参投。
Kakarot zkEVM 是 Cairo 实施的 EVM，利用 STARK 证明来证明交易和区块，确保透明度和安全性。据介绍，Kakarot zkEVM 发展分为三个阶段：1、作为 EVM 存在于 Starknet L2 上；2、和 Starknet 定序器 Madara 合力创建第 3 层 zkEVM；3、Kakarot 和 Madara 组合启用类型 1 zkEVM。[2023/6/2 11:54:47]
密码朋克的哲学本质是利用这种宝贵的非对称性来创造一个能够更好地保护个人自由的世界。密码经济学从一定程度上说是密码学哲学的延伸。不同的是密码经济学保护的不仅是个人信息的隐私和安全，也要保护复杂的协作系统的安全性和活力。把自己看作是密码朋克精神继承者的系统应该保持这种基本属性，毁坏一个系统要远比使用和维护系统的代价更高。
声音 | Vitalik：以太坊基金会年预算3000万美元 资金可持续 6 年:近日，社区有声音表示以太坊基金会计划在明年停止对大部分内部团队的资助，因此出现了以太坊基金会可能资金不足的猜测。对此，Vitalik本人在以太坊2.0的中文社区中回应称：停止资助是基金会筛选的结果，目前资金充足。V神表示，这不是没有钱的问题，基金会目前年预算仍然是 3000 万美元，足够持续6年。最近在筛查内部资助的团队，有一些自然被剔除了，这是因为不想资助他们。（区块律动）[2019/12/8]
??“密码朋克精神”并不单单只是理想主义，而建造一个易守难攻的系统，单就工程设计而言也理应如此。
?在一个中期到长期的时间范围里，人们非常擅长共识。即使敌手拥有无限的哈希算力，并且能对任意主要区块链系统进行51%攻击，甚至将其回滚到一个月前，但比起超越主链的哈希算力，要说服社区该链具有有效性要难得多。他们还需要篡改互联网上许多其他信息源，例如区块浏览器、社区中每一位可靠的成员、纽约时代、archive.org等等。
总言之，在信息技术发达的21世纪，攻击者想要说服全世界接受他攻下的区块链，难度大概不亚于说服全世界美国没有登陆过月球。因此，归根结底这些社会因素才是区块链的长期保障，无论区块链社区是否承认这一点。
动态 | 以太坊创始人Vitalik Buterin被巴塞尔大学授予荣誉博士学位:据coindesk报道，以太坊创始人Vitalik Buterin刚被巴塞尔大学授予荣誉博士学位。[2018/11/30]
??然而单单由社会共识保障的区块链还是太低效率了，运行的速度也不够快，并且很容易让分歧无休止地持续下去；因此，在短期内，经济共识机制在保护区块链活性以及安全性上起到了非常重要的作用。
??因为只能用区块奖励保证工作量证明机制的安全性译者注：即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
作者|?VitalikButerin
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。