VIT:Vitalik:一种Proof of Stake设计哲学

译者按:以太坊2.0将逐渐从ProofofWork过渡到ProofofStake共识机制(CasperPoS),VitalikButerin在2016年就撰文阐述了其背后的价值权衡和设计哲学。时隔多年,随着社区对加密经济学的不断探索,又启发了我们怎样的新思考?

像以太坊的系统基本上是加密经济有机体系中新产生的层级——是完全存在于加密空间的去中心化、无权威介入的实体,并由加密学、经济学和社会共识机制共同维系的。

它们有点像是BitTorrent,但又有所区别,因为BitTorrent并没有状态的概念——结果证明这是至关重要的一个区别。它们有时候会被形容为“去中心化的自治公司”,但它们又不是特别公司化,比如你并不能对微软公司实行硬分叉。它们像是开源软件项目,但两者之间也并不是特别像,你可以对区块链进行分叉,但这又没有分叉OpenOffice那么容易。

这些加密经济网络多种多样,有基于ASIC的PoW、基于GPU的PoW、朴素PoW、委托PoS,还有未来有希望实现的CasperPoS,而且每一种都不可避免地会有它自己背后的哲学。

Navitas Global投资加密矿企Soluna Holding1400万美元:金色财经报道,加密采矿数据中心开发商Soluna Holdings宣布与Navitas Global就其位于德克萨斯州的Project Dorothy 1B数据中心达成1400万美元的投资伙伴关系。Navitas将为Dorothy 1B项目的最后阶段基础设施建设和25mw比特币矿机提供投资资本,以换取Dorothy 1B项目49%的股权。该协议包括200万美元的贷款,以完成建设和1200万美元的股权投资。Soluna将提供运营和维护专业知识,并将继续拥有Dorothy 1B项目51%的股份。[2023/5/16 15:04:46]

一种比较著名的例子就是以工作量证明机制为最高纲领。在这种机制中,会将矿工投入了最大数额的经济资本去创建的单条区块链定义为“唯一正确”的区块链。原本这只是协议内的分叉选择规则,但这种机制却在很多情况下被上升为一种神圣的信条。作为示例,可以看一下我和ChrisDeRose在Twitter上的讨论,它展现了一个人即使是在面对协议中哈希算法不断改变的硬分叉时,还是以他纯粹的形式为这种想法辩护。

Laevitas完成250万美元融资,三箭资本和DeFiance Capital领投:6月2日消息,专注于加密衍生品的数据分析平台Laevitas宣布完成250万美元种子轮融资,本轮融资由三箭资本和DeFiance Capital领投,CMS、Astronaut Capital等参投。

本轮融资资金将用于Laevitas扩展其对加密衍生品市场的分析和研究套件,并在DeFi衍生品、期权定价和风险管理等领域提供全面的分析工具。Laevitas于2021年初推出,目前为超2000名日活用户以及若干对冲基金、做市商和交易公司提供加密期货和期权市场的详细数据分析。[2022/6/2 3:58:45]

Bitshares的委托权益证明机制?(DPoS)展现了另一种符合逻辑的哲学,也就是一切又再次从单一的信条衍生而来。这种信条可以更简单描述为:股东投票。

其中的每一种哲学:包括中本共识机制,社会共识机制,股东投票共识机制,都诞生了一套自身的结论,并形成了一种基于其自身观点来看颇有道理的价值体系,尽管在互相比较时一定会受到批判。Casper共识机制也有其哲学基础,尽管至今还没能以一种简要清晰的方式描述出来。

ETC:ETC不再遵循Vitalik的愿景:以太坊经典官方发推表示:以太坊经典将不再遵循Vitalik的愿景及路线图,不再以吸收以太坊1.0为目标。现在是ETC做出有意义的创新的时候了。[2020/11/24 21:55:32]

我、Vlad、Dominic、Jae和其他人都对权益证明协议存在的原因以及如何去设计这一类协议都有各自的看法,但本文仅阐释我个人的观点。

我会直接进一步列出观察情况以及结论:

?密码学在21世纪中确实是非常特殊的,因为在对立冲突中仍大多站在防御者一方的领域已经不多了,密码学就是其中一个。比起建造一个城堡,摧毁它会更加容易;岛屿的防御性更强,但也会被袭击;但是一个普通人的椭圆曲线密码?(ECC)密钥却能足够安全,甚至能抵御国家级的入侵。

密码朋克的哲学本质是利用这种宝贵的非对称性来创造一个能够更好地保护个人自由的世界。密码经济学从一定程度上说是密码学哲学的延伸。不同的是密码经济学保护的不仅是个人信息的隐私和安全,也要保护复杂的协作系统的安全性和活力。把自己看作是密码朋克精神继承者的系统应该保持这种基本属性,毁坏一个系统要远比使用和维护系统的代价更高。

动态 | EOS 的Activity指数为42,115,791 排名第一:据IMEOS报道,截止12月05号03点,blocktivity.info上显示,排名第一的 EOS 的Activity指数为42,115,791 ,排名第二、第三分别为 TLOS 和 KIN 。Acitivity指数为最近24小时内在区块链上执行的操作数量。[2019/12/5]

??“密码朋克精神”并不单单只是理想主义,而建造一个易守难攻的系统,单就工程设计而言也理应如此。

?在一个中期到长期的时间范围里,人们非常擅长共识。即使敌手拥有无限的哈希算力,并且能对任意主要区块链系统进行51%攻击,甚至将其回滚到一个月前,但比起超越主链的哈希算力,要说服社区该链具有有效性要难得多。他们还需要篡改互联网上许多其他信息源,例如区块浏览器、社区中每一位可靠的成员、纽约时代、archive.org等等。

总言之,在信息技术发达的21世纪,攻击者想要说服全世界接受他攻下的区块链,难度大概不亚于说服全世界美国没有登陆过月球。因此,归根结底这些社会因素才是区块链的长期保障,无论区块链社区是否承认这一点。

声音 | Kavita Gupta:风投在加密货币领域的投资方式发生了变化:ConsenSys Ventures创始执行合伙人Kavita Gupta在最近接受采访时表示,风投在加密货币领域的投资方式发生了变化。风投开始适应新的模式,加密货币投资比较独特,其流动性、持续性、风险特征、波动性等因素都与传统的长线投资基金有很大不同。区块链投资者的构成在不断变化,企业家画像也在变化。在这一领域担任CEO的人士从大部分是年期的技术专家变成了很多是经验丰富的工程师和连续创业者。产品的愿景、路线图,尤其是接纳的理由和友好的用户界面已成为了讨论主题之一。一些大型风投公司正在成立加密货币领域专用基金,使世界更加接近Web 2.0和Web 3.0,并验证这一领域的许多早期技术,而这些技术在一年前还看起来可能是不现实的。”[2019/1/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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:15ms0-0:580ms