pos51(| 火星号精选)

时间:2022-05-05 编辑:手机POS机

小编:记得关注哦

投资区块链,猛戳:火星财经App下载

来源:蓝狐笔记

pos51(| 火星号精选)-第1张图片

前言:本文作者是Vitalik Buterin,他回顾了五年前其列出的加密世界要解决的难题,然后重新审视了这些问题的现状。我们可以看到很多问题都取得了进展,同时也有很多问题悬而未决。虽然现在和未来的挑战巨大,但我们看到了更多的信心,加密世界曾经很原始,现在也很初级,但五年来一直没有停下前进的脚步,未来将会递增式的进步,直到有一天爆发式的突破。距离这一天也许还有些遥远,但由于累积的技术和智慧,冲破黎明前的黑暗,终将在技术和主流采用上迎来光明。本文由“蓝狐笔记”的“SIEN”翻译。

2014年,我曾发表过文章和演讲,其中提到在数学、计算机科学以及经济学方面的一系列难题,当时我认为它们对加密领域走向成熟至关重要。

五年过去了,情况发生了很大改变。我们认为重要的问题究竟取得了多大的进展?我们在什么方面取得成功?在什么方面失败了?对于什么是重要问题,我们改变了哪些看法?

本文将会逐个梳理从2014年来的16个问题,来看看这些问题的如今现状。最后,我会列出在2019年选择的新难题。

这些问题可分为三类:

在所有这些类别上我们都看到取得显著的进展,尽管有些领域进展更大。

一、加密学问题

1.区块链的可扩展性

加密领域如今面临的最大问题之一是扩展性问题。对“超大区块链”的主要担心是信任:如果只是少数的主体能够运行全节点,那么,这些主体可以合谋并同意给予它们自己大量额外的比特币,那么,其他用户无法看到区块是无效的,除非他们自己处理整个区块。

问题:创建一种区块链设计,可以维持类似于比特币的安全保证,但是,其中维持网络运行所需的最强节点的最大大小在交易数量中基本上是次线性的。

现状:理论上取得重大进展,需要更多落地层面的评估

可扩展性是我们在理论上已取得巨大进展的技术问题。五年前,几乎没有人考虑过分片。现在,分片设计很常见。除了以太坊2.0,我们还有OmniLedger、LazyLedger、Zilliqa以及似乎每个月都会有研究论文发表。(蓝狐笔记:Harmony也是基于分片的技术)

以我的看法,这一点上的未来进展是递增的。从根本上,我们已经有一系列的技术,它们允许验证者组就更多的数据安全地达成共识,要比单个验证者能处理的数据多得多,同时,这些技术也允许用户间接地验证区块的全部有效性和可用性,即使处于51%攻击的情况下。

下面的这些可能是最重要的技术:

还有其他的一些进展,例如通过收据进行的跨分片通信,以及“常数”增强功能,例如BLS签名聚合。

也就是说,完全分片的区块链还没有实现上线运行,部分分片的Zilliqa最近已经开始运行。从理论上,还存在关于剩余细节的争议,同时也涉及一些挑战:分片网络的稳定性、开发者经验以及减轻中心化的风险。

基本的技术可能性方面似乎不再有什么可怀疑的。但是,挑战终归是挑战,如果只是思考它们,是无法解决的。唯有开发系统和观察以太坊2.0或其他类似链的线上运行才能解决挑战。

2.时间戳

问题:创建分布式的激励兼容系统,不管它是区块顶层的叠层,或者是其自身区块链,都使当前时间保持较高的准确性。所有合法用户都有正态分布的时钟,围绕某个“真实”时间分布,标准偏差为20秒。没有两个节点的时间偏差允许超过20秒,以依赖于现有的“N个节点”的概念。实际上,这可以通过PoS或非女巫代币(non-sybil tokens)强制执行。

系统应持续提供大于99%诚实参与节点的内部时钟的120秒(如可能更短时间)内的时间。外部系统可能最终依赖于此系统;因此,无论动机如何,它应保持安全,以防攻击者控制不超过25%的节点。

现状:有些进展

以太坊实际上在13秒的区块时间内存活下来,还没有特别先进的时间戳技术;它使用一种非常简单的方法,其中客户端不会接收这样的区块:其声明的时间戳早于客户端本地时间的区块。也就是说,它还没有在严重攻击下经受考验。

最近的网络调整后的时间戳提案试图在客户端没有从本地获悉高精确时间的情况下允许客户端确定共识,以此来改善现状。这还没有得到验证。但,从总体来说,时间戳并不是当前研究挑战的前沿。或许一旦有更多的PoS链上线运行后,这会发生改变,我们会看到问题所在。

3.任意计算证明(Arbitrary Proof of Computation)

问题:创建程序POC_PROVE(P,I) -> (O,Q) 和POC_VERIFY(P,O,Q) -> { 0, 1 } ,以便POC_PROVE在输入I上运行程序P,并返回程序输出O以及计算证明Q,以及POC_VERIFY取P,O以及Q和输出,无论Q和O是否由POC_PROVE 算法使用P合法生成。

现状:理论和实践上都取得巨大进展

这基本上是说,构建一个SNARK(STARK,或SHARK......)。我们已经搞定了。有越来越多的人理解SNARK,且如今正在被多个区块链所采用,其中也包括以太坊上的tornado.cash。

SNARK作为隐私技术(可参阅Zcash和tornado.cash)和可扩展性技术(可参阅ZK Rollup,STARKDEX以及STARKing 纠删码的数据根),都非常有用。

效率方面依然存在挑战;实现算术友好的哈希函数是个大问题,而高效的证明随机内存访问是另外一个问题。此外,还存在一个悬而未决的问题,即证明时间的O(n * log(n))增大是否是基本的限制,或者是否有方法仅用线性开销实现简洁证明,如bulletproof一样(遗憾的是bulletproof需要花费线性时间来验证)。

还存在现有方案有漏洞的风险。通常,这些问题在于细节问题,而不是根本问题。

4.代码混淆(code obfuscation)

创建混淆函数O是圣杯,这样,给定任何程序P,混淆函数都可以产生第二个程序O(P) = Q ,从而如果给定相同的输入,则P和Q返回相同的输出,并且重要的是,Q并没有泄漏任何关于P内部的信息。人们可以在Q内部隐藏密码、秘密加密的密钥、或者可以简单地使用Q来隐藏算法自身的专利工作。

现状:进展缓慢

用大白话来说,这个问题是在说我们想要找出一种方法来“加密”程序,这样被加密的程序仍然能够为相同输入提供相同的输出,但该程序的“内部信息”会被隐藏。“混淆”用例的一个例子是包含私钥的程序,其中该程序仅允许用私钥来对某些消息进行签名。

代码混淆的解决方案对区块链协议来说非常有用。其用例是微妙的,因为必须处理这种可能性:在链上混淆的程序将被复制且运行在不同于链本身的环境中,但有很多可能性。

一个让我个人感兴趣的功能是:从抗合谋的小工具中移除中心化的操作者,其方式是用包含一些工作量证明的混淆程序来取代操作者,因此,要尝试确定各个参与者的行为,使用不同的输入多次运行会非常昂贵。

遗憾的是,这依然是个难题。在解决这个问题方面,正在持续进行工作,一方面,正在进行构建,以减少对我们实际上不知道的数学对象(例如通用加密多线性映射)上的假设数量,另一方面,尝试对所需的数学对象进行实际执行。

然而,所有这些路径都离创建可行和已知的安全性还很遥远。关于这个问题,可参阅https://eprint.iacr.org/2019/463.pdf以获得更一般的概述。

5.基于哈希的加密学

问题:创建一种安全算法,它不依赖于安全假设而是依赖于哈希值的随机预言机属性,该属性可以保持具有最佳大小和其他属性的传统计算机等同的160位比特的安全性(由于Grover的算法,相对于量子计算机为80位比特)。

现状:有些进展

从2014年以来,这方面取得了两大进展。SPHINCS是一种“无状态”(意味着可以使用多次,而不需要记住像nonce一样的信息)签名方案,它在这些“难题”列表提出后不久发布了,并提供大小约为41kb的纯基于哈希的签名方案。

此外,也已经开发了STARK,并且可以基于它们创建类似大小的签名。不仅是签名,同时通用目的的零知识证明也是可以仅通过哈希值就有可能实现,这是我在五年前没有预料到的;对于这种情况,我感到非常高兴。就是说,大小仍然是个问题,且不断的进步(参阅最近的DEEP FRI)在继续减少证明的大小,尽管看上去未来的进展会是逐步的。

基于哈希的加密学尚未解决的主要问题是聚合签名,类似于BLS聚合使其成为可能。众说周知,我们可以对许多Lamport签名进行STARK,但这效率低下;更高效的方案会是受欢迎的。(如果你想了解是否可以用基于哈希的公钥加密,答案是不,超过二次攻击的代价会让你无法做任何事)

二、共识理论问题

6.抗ASIC的PoW

解决该问题的一种方法是基于一种很难专门化的计算类型来创建工作量证明算法......对有关抗ASIC硬件的深入讨论,可参阅https://blog.ethereum.org/2014/06/19/mining/(蓝狐笔记之前也有过此类讨论的文章,到底抗ASIC算法是不是真正能达成目的《抗ASIC的算法是否对PoW的安全性有利?》)

现状:已尽力解决

在“难题”列表发布6个月之后,以太坊决定采用其抗ASIC的工作量证明算法:Ethash。Ethash被称为内存难解的算法。该理论是说,常规计算中的随机RAM已经取得很好优化,因此对专门应用来说很难有更大的提升。Ethash旨在通过将内存访问成为运行PoW计算的主导部分来实现抗ASIC。

Ethash并不是第一个内存难解的算法,但它确实增加了一项创新:它在两层DAG上使用伪随机查找,从而提供两种评估函数的方式。首先,如果一个人有整个DAG(~2 GB),则可以快速计算它;这是内存难解的“快速通路”。其次,如果一个人只有DAG的顶层,那么,计算它会慢得多(仍然足够快,以检查提供的单个解);这用于区块验证。

Ethash在抗ASIC方面被证明是非常成功的。在经过三年和数十亿美元的区块奖励之后,ASIC确实也存在,但其算力和成本效率只比GPU高2-5倍。

ProgPoW被提出来作为替代方案,但不断增长的共识认为,抗ASIC算法将不可避免地存在有限的生命周期,并且抗ASIC也有缺点,因为它让51%的攻击更便宜(例如,可以参看ETC 的51%攻击)。

我相信,可以创建能达到中等级别的抗ASIC的PoW算法,但这种抗ASIC也是有期限的,且ASIC和抗ASIC都有缺点。从长远看,区块链共识算法的更好选择是PoS。

7.有用的PoW

使得工作量证明功能同时有用。(蓝狐笔记:这里的所谓“有用”是指,PoW的算力只用来寻找一个谜题的解,并没有产生什么实际的用途,所以是“无用”,而“有用”是说将算力用于解决实际的问题,例如寻找素数等等,但是更关键的是POW算法需要具有难以计算易于验证等属性,这是核心。PoW的本质是将能源和算力转为价值存储,关于是否“有用”是存在争议的)

常见的“有用”候选者是类似于Folding@home这样的,它是现有的程序,其用户可以下载软件到自己的计算机上,模拟蛋白质折叠并给研究人员提供大量的数据,以帮助他们治愈疾病。

现状:可能不可行,只有一个例外。

有用的工作量证明所面临挑战是,工作量证明算法需要很多属性:

遗憾的是,没有多少“有用”的计算拥有全部这些属性,并且大多数有这些属性的“有用”计算只是“有用”的时间太短,无法基于它们构建加密货币。

然而,有一个可能的例外:零知识证明的生成。区块链有效性方面的零知识证明难以计算但易于验证。

此外,他们很难计算。如果“高度结构化”计算的证明变得很容易,则可以简单地切换到验证区块链的整体状态转换,由于需要对虚拟机建模和随机内存访问,因此这会变得非常昂贵。

区块链有效性的零知识证明为区块链用户提供了巨大的价值,因为它们可以替代直接验证链的需求。尽管是简化的区块链设计,而其可验证性进行了极大的优化,Coda在做这个事情了。

这些证明可以极大地帮助改善区块链的安全性和可扩展性。也就是说,实际需要完成的计算总量仍然远远小于当前PoW矿工当前完成的计算量,因此,其充其量不过是PoS区块链的附加项,而不是完整的共识算法。

8.PoS

解决挖矿集中化问题的另外一个方法是完全取消挖矿,并转向其他机制来计算共识中每个节点的权重。迄今为止,讨论中最流行的替代方法是PoS,也就是说,不是将共识模型视为“一CPU算力一票”,而是变成“一币一票”。

现状:理论上取得巨大进展,现实落地有待更多评估

在2014年底之前,对PoS社区来说,这一点越来越清晰:某种形式的“弱主观性”是不可避免的。为了维持经济安全,节点在首次同步时需要获取最近的检查点协议,如果节点离线超过几个月则需要再次获取。

这是难以下咽的药。许多PoW拥护者仍然坚持PoW,因为在PoW链中,可以发现链的“头部”,作为可信来源的唯一数据(也就是区块链客户端本身)。

然而,PoS的拥护者愿意吞下这个药丸,因为增加的信任要求并不大。从那里开始,通过长期安全抵押资产通往PoS的路径变得明晰。

如今,最让人感兴趣的共识算法从根本上类似于PBFT,但它用动态列表替换了固定的验证者集,任何人都可以通过发送代币到具有时间锁定的系统级智能合约中来参与验证(提取代币在某些情况下可能长达4个月)。

在很多情况下,也包括以太坊2.0,这些算法通过惩罚那些在某些方面违法协议的恶意验证者来实现“经济最终性”。(关于PoS的哲学观点,可查阅蓝狐笔记之前发布的文章《以太坊创始人V神眼中的PoS设计哲学》)

直到今天,我们有很多算法,其中包括:

以太坊2.0的Phase 0阶段,以太坊链会实施FFG,目前正在实施中,并已经取得巨大的进展。

此外,Tendermint以Cosmos链的形式已经运行了好几个月。在我看来,关于PoS的剩余争论与优化经济激励和进一步规范应对51%攻击的策略有关。此外,Casper CBC规范仍可以使用具体的效率改进。

9.存储证明(Proof of Storage)

解决这个问题的第三种方法是使用稀缺的计算资源而不是计算能力或代币。在这方面,两个主要的替代方案已经提出,是存储和带宽。

原则上,没有办法提供给定或使用带宽的事后加密证明,因此,带宽证明(Proof of bandwidth)应最准确地视为社会证明的一个子集,这在后面的问题中会讨论。但存储证明(Proof of Storage)是肯定可以通过计算完成的。存储证明的优势是它完全是抗ASIC的,我们在硬盘驱动器中的存储类型已接近于最优。

现状:理论上取得了很多进展,尽管还有很多工作要做,同时也需要更多的落地评估

有很多计划使用存储证明协议的区块链,其中包括Chia和Filecoin。也就是说,这些算法还没有经过实战检验。我个人的主要担心是在集中化:这些算法实际上由使用闲置存储容量的较小用户主导?还是由大型矿场主导?(蓝狐笔记注:按目前的趋势,矿场主导的可能性更大)

三、经济学

10.价值稳定的加密货币

比特币其中的一个主要问题是其价格的波动性。问题:构建具有稳定价格的加密货币。

现状:有些进展

MakerDAO现在已经上线,且持续稳定运行了近两年。它在其底层抵押资产(ETH)价值下跌93%的过程中存活下来,现在发行超过1亿美元的DAI。它已经成为以太坊生态系统的支柱,很多以太坊项目已经集成了它或者正在集成它。其他合成代币的项目,例如UMA,也正在快速发展。

然而,尽管MakerDAO系统从2019年艰难的经济条件下存活下来,但这绝不是可能发生的最困难情况。过去,比特币曾在2天内下跌过75%。未来,这有可能会发生在任何其他抵押资产上,其中ether也不例外。

对底层区块链的攻击是更大的未经检验的风险,尤其是如果同时价格下跌又加剧了这种风险。另外一个主要的挑战,可能是更大的挑战,是类似于MakerDAO这样的系统的稳定性取决于某些底层的预言机机制。(蓝狐笔记:具体可以参看《Maker中的预言机治理攻击》)

确实存在针对预言机系统的不同尝试,但关于在大规模的经济压力下它们能否承受得住的问题,依然没有定论。迄今为止,MakerDAO控制的抵押资产已经低于MKR代币的价值;如果这种关系发生逆转,MKR持有人可能会有集体动机来试图“掠夺”MakerDAO系统。有多种方法可以防止此类攻击,但它们尚未在实践中经受检验。

11.去中心化的公共物品激励

通常在经济系统中的挑战之一是“公共物品”问题。例如,假设有一个需要花费100万美元完成的科学研究项目,假设大家都知道,如果它完成了,那么研究结果将会为100万人每人节省5美元。总体来衡量,社会效益是很清楚的。但是,从做贡献人员的视角看,这是没有意义的。

迄今为止,大多数公共物品的问题都涉及集中化附加假设和要求:存在完全可信的预言机,它可以确定特定公共物品任务是否已经完成(实际上可能是错的,但这是另外一个问题了)

现状:取得一些进展

一般认为,资助公共物品的问题分为两个问题:资金问题(从哪里给公共物品提供资金)、偏好汇总问题(如何确定什么是真正的公共物品,而不是一些个人喜好的项目)。本文假设后者已经解决,主要聚焦于前者问题。

总体来说,这里还没有取得新的重大突破。解决方案分为两大类。首先,我们可以尝试引导出个人的贡献,为作出贡献的人给予社会回报。我个人的建议是通过边际价格歧视进行的慈善就是其中的一个例子。另外一个是Peepeth上的抗疟疾捐款徽章。其次,我们可以从具有网络效应的应用中筹集资金。在区块链领域,有几种选择可以做:

在区块链行业之外,这是一个古老的问题:如果你是政府该如何收税,或如果你是公司或其他组织该如何收费。

12.声望系统

问题:设计正式的声望系统,包括分数rep(A,B) -> V,其中V是从A角度对B评价的声望,一种确定一方可以被另一方相信的的概率机制,以及提供特定公开或最终互动记录的声望更新机制。

现状:进展缓慢

从2014年到现在声望系统并没有太多工作进展。或许最好的办法是使用代币管理注册表(token curated registry,也称代币精选注册表)来创建可信实体/对象的管理列表。Kleros ERC20 TRC(是的,这是合法ERC20代币的代币管理注册表)是一个案例,甚至Uniswap有可替代的界面接口,使用它作为后端来获取列表的代币和标记及徽标。

具有主观多样性的声望系统还没有被真正尝试过,这可能是因为没有足够的以某种形式发布到链上的人们相互连接的“社会关联图”信息。如果此类信息因为某种原因而开始存在,那么,主观声望系统可能会变得更加流行。

13.卓越证明(Proof of excellence)

一种有趣且很大程度上未开发的专门解决分配问题的解决方案是使用对社会有用的任务,但需要原始的人类驱动创造力和才能。例如,一个人可以想出“对证明的证明”代币来奖励给出特定定理的数学证明的玩家。

现状:没有进展,很大程度上被遗忘。

代币分配的主要替代方法是空投;通常,代币在发布时进行分配要么是根据现有的某些代币的持有比例进行分配,要么是基于其他的一些指标(例如在Handshake的空投中)。

还没有真正尝试如何去直接验证人类的创造力,并且随着AI最新的发展,创造只有人类能解决但计算机可以验证的任务可能会非常困难。

14.抗女巫攻击系统

这是一个与“声望系统”问题有一些相关的问题,它是创建“唯一身份系统”的挑战,它是一个生成代币的系统,可以证明某个身份不是女巫攻击一部分。然而,我们想要有一个更好更平等功能的系统,而不是“一美元一票”的系统;可以说,一人一票是理想的选择。

状态:有些进展

已经有许多尝试在解决人类唯一身份的问题。其中想到的尝试包括(非完整列表!):

随着人们对一些诸如二次投票(quadratic votoing)和二次融资(quadratic funding)之类的技术越来越感兴趣,对某种基于人的抗女巫系统的需求也在不断增长。希望这些技术的持续开发和新的方案能够满足它的需求。

15.去中心化的贡献指标

遗憾的是,激励公共物品的生产并不是中心化解决的唯一问题。另外一个问题是首先要确定哪些公共物品值得生产,其次是确定某种特定努力实际上在多大程度上完成公共物品的生产(衡量贡献)。这一挑战涉及后一个问题。

现状:有些进展,在重点方面有些改变。

关于确定公共物品贡献价值的最新工作并没有试图将确定任务和确定完成质量分开;原因是两者在实践中很难分开。特定团队完成的工作往往是不可替换且很主观的,因此最合理的方法是将任务和完成质量的相关性视为一个整体,并使用相同的技术对其进行评估。

幸运的是,在这个方面取得了巨大的进步。尤其是发现了二次融资(quadratic funding)。二次融资是个人可以给项目提供捐赠的机制,然后基于捐赠人数和捐赠数额,如果彼此完美协调,可以使用公式计算他们要捐赠多少(即,考虑了彼此的利益,但并没有成为公地悲剧的牺牲品)

对任何特定项目而言,想要捐赠多少和实际捐赠多少之间的差额将从某个中央资金池中获得补贴。请注意,这种机制侧重于满足一些社区的价值,而不是满足某些特定目标,而不管是否有人在乎它。由于价值问题的复杂性,这种方法对于未知的未知数来说可能更加强健。

二次融资在实践中已经被尝试,在最近的gitcoin二次融资轮中取得了相当大的成功。在改善二次融资和类似机制上取得一些递增的进展;尤其是,成对的二次融资以减轻合谋现象。

也有关于反贿赂投票技术的规范和实施工作,防止用户向其投票的第三方进行证明;这可以防止多种合谋和贿赂攻击。

16.去中心化的成功指标

问题:拿出并实施衡量现实世界数值变量的去中心化方法。该系统能够衡量人类当前可以达成大致共识的任何东西。(例如,资产价格、温度、全球二氧化碳浓度)

状态:有些进展

现在通常将这个问题被称为“预言机”问题。去中心化预言机运行的最大已知实例是Augur,它已经处理了数百万美元的下注结果。如Kleros TRC这样的代币管理注册是另外一个案例。

然而,这些系统依然未经受现实世界分叉机制的考验,因为要么由于高度争议问题,要么因为51%的攻击。

还有关于对预言机问题的研究,这些问题以“同行预测”文献形式发生在区块链领域之外。

另一个迫在眉睫的挑战是,人们试图依赖于这些系统来转移大于其系统原生代币价值总量的资产。代币持有人理论上有动机合谋给出错误答案以偷取资金。在这种情况下,系统会分叉,而原生系统代币将会变得毫无价值,但原生系统代币持有人将会获得他们错误转移的任何资产所带来的回报。

稳定币是一个尤其糟糕的例子。解决该问题的一种方法是,系统假定确实存在有利他的诚实数据提供者,并创建一种机制来识别他们,并且只允许他们缓慢行动,以便如果恶意行为者开始在系统的用户中开始投票,而依赖于预言机的这个系统可以首先完成有序退出。无论如此,预言机技术的更多发展是非常重要的问题。

新问题

如果我要在2019年再次列出难题,一些是上述问题的延续,但重点会发生很大变化,同时还会出现新的重大问题。以下是选择的列表:

通常来说,基础层问题进展缓慢但肯定会减少,而应用层问题才刚刚开始。

------

风险警示:蓝狐笔记所有文章都不能作为投资建议或推荐,投资有风险,投资应该考虑个人风险承受能力,建议对项目进行深入考察,慎重做好自己的投资决策。

400-8888-888 发送短信