长沙市委常委会:推动区块链和人工智能等前沿信息技术深度融合
今天,省委常委、市委书记胡衡华主持召开市委常委会会议,传达学习习近平总书记在十九届中央政治局第十八次集体学习时的重要讲话精神,研究部署有关工作。
媒介:本文作者是Vitalik Buterin,他回忆了五年前其列出的加密天下要处置责罚的难题,然后从新审阅了这些问题的近况。我们可以看到很多问题都取得了愿望,同时也有很多问题悬而未决。虽然现在和将来的应战庞大,但我们看到了更多的自信心,加密天下曾很原始,现在也很低级,但五年来一向没有停下行进的脚步,将来将会递增式的提高,直到有一天爆发式的打破。间隔这一天也许另有些悠远,但因为积累的手艺和伶俐,突破黎明前的黑暗,终将在手艺和主流采纳上迎来灼烁。本文由“蓝狐笔记”的“SIEN”翻译。
2014年,我曾宣布过文章和演讲,个中提到在数学、盘算机科学以及经济学方面的一系列难题,当时我以为它们对加密范畴走向成熟至关重要。
五年过去了,状况发作了很大转变。我们以为重要的问题终究取得了多大的愿望?我们在什么方面取得胜利?在什么方面失利了?关于什么是重要问题,我们转变了哪些看法?
本文将会逐一梳理从2014年来的16个问题,来看看这些问题的现在近况。末了,我会列出在2019年挑选的新难题。
这些问题可分为三类:
加密学,假如它们会被完全处置责罚,则可以用纯数学要领来处置责罚;
共鸣理论,对PoW和PoS的大幅度革新
经济学,与建立触及差别介入方的鼓励构造相干,且平常更多触及运用层而不是协定层。
在一切这些类别上我们都看到取得明显的愿望,只管有些范畴愿望更大。
一、加密学问题
1.区块链的可扩大性
加密范畴现在面对的最大问题之一是扩大性问题。对“超大区块链”的重要忧郁是信托:假如只是少数的主体可以运转全节点,那末,这些主体可以同谋并赞同赋予它们自身大批分外的比特币,那末,其他用户没法看到区块是无效的,除非他们自身处置责罚悉数区块。
问题:建立一种区块链设想,可以对峙相似于比特币的平安保证,然则,个中对峙收集运转所需的最强节点的最大大小在生意业务数目中基本上是次线性的。
近况:理论上取得重大愿望,须要更多落地层面的评价
可扩大性是我们在理论上已取得庞大愿望的手艺问题。五年前,险些没有人斟酌过分片。现在,分片设想很罕见。除了以太坊2.0,我们另有OmniLedger、LazyLedger、Zilliqa以及好像每月都邑有研议论文宣布。(蓝狐笔记:Harmony也是基于分片的手艺)
以我的看法,这一点上的将来愿望是递增的。从根本上,我们已有一系列的手艺,它们许可考证者组就更多的数据平安地杀青共鸣,要比单个考证者能处置责罚的数据多很多,同时,这些手艺也许可用户间接地考证区块的悉数有用性和可用性,纵然处于51%进击的状况下。
下面的这些多是最重要的手艺:
随机抽样,许可随机挑选的小委员会(考证者小组)从统计学上代表完全的考证者集:
https://github.com/ethereum/wiki/wiki/Sharding-FAQ#how-can-we-solve-the-single-shard-takeover-attack-in-an-uncoordinated-majority-model
敲诈证实,许可得悉毛病的个别节点将其传播给其他一切人:
https://bitcoin.stackexchange.com/questions/49647/what-is-a-fraud-proof
托管证实,许可考证者几率性地证实他们零丁下载并考证了一些数据:
https://ethresear.ch/t/1-bit-aggregation-friendly-custody-bonds/2236
数据可用性证实,许可客户检测其区块头地点的区块主体什么时候不可用。
https://arxiv.org/abs/1809.09044。别的也可参阅新的编码Merkle tree提案。
另有其他的一些愿望,比方经由过程收条举行的跨分片通讯,以及“常数”加强功用,比方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设想哲学》)
直到本日,我们有很多算法,个中包括:
Casper FFG
https://arxiv.org/abs/1710.09437
Tendermint
https://tendermint.com/docs/spec/consensus/consensus.html
HotStuff
https://arxiv.org/abs/1803.05069
CasperCBC
https://vitalik.ca/general/2018/12/05/cbc_casper.html
以太坊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上的抗疟疾捐钱徽章。其次,我们可以从具有收集效应的运用中筹集资金。在区块链范畴,有几种挑选可以做:
刊行代币
在协定层面收取一部份生意业务用度(比方,经由过程EIP1559)
从一些layer-2运用收取一部份生意业务用度(比方Uniswap,或其他扩大性处置责罚设计,或以至在ETH2.0的实行环境中的状况房钱)
收取其他范例的用度(比方ENS注册)
在区块链行业以外,这是一个陈旧的问题:假如你是政府该怎样收税,或假如你是公司或其他构造该怎样收费。
12.名誉体系
问题:设想正式的名誉体系,包括分数rep(A,B) - V,个中V是从A角度对B评价的名誉,一种一定一方可以被另一方置信的的几率机制,以及供应特定公然或终究互动纪录的名誉更新机制。
近况:愿望迟缓
从2014年到现在名誉体系并没有太多事变愿望。也许最好的方法是运用代币治理注册表(token curated registry,也称代币精选注册表)来建立可托实体/对象的治理列表。Kleros ERC20 TRC(是的,这是正当ERC20代币的代币治理注册表)是一个案例,以至Uniswap有可替代的界面接口,运用它作为后端来猎取列表的代币和标记及徽标。
具有主观多样性的名誉体系还没有被真正尝试过,这多是因为没有充足的以某种情势宣布到链上的人们相互连接的“社会关联图”信息。假云云类信息因为某种原因而入手下手存在,那末,主观名誉体系大概会变得越发盛行。
13.卓着证实(Proof of excellence)
一种风趣且很大水平上未开发的特地处置责罚分派问题的处置责罚设计是运用对社会有用的使命,但须要原始的人类驱动制造力和才。比方,一个人可以想出“对证实的证实”代币来嘉奖给出特定定理的数学证实的玩家。
近况:没有愿望,很大水平上被忘记。
代币分派的重要替代要领是空投;平常,代币在宣布时举行分派要么是依据现有的某些代币的持有比例举行分派,要么是基于其他的一些目的(比方在Handshake的空投中)。
还没有真正尝试怎样去直接考证人类的制造力,而且跟着AI最新的生长,制造只要人类能处置责罚但盘算机可以考证的使命大概会异常难题。
14.抗女巫进击体系
这是一个与“名誉体系”问题有一些相干的问题,它是建立“唯一身份体系”的应战,它是一个生成代币的体系,可以证实某个身份不是女巫进击一部份。但是,我们想要有一个更好更同等功用的体系,而不是“一美圆一票”的体系;可以说,一人一票是抱负的挑选。
状况:有些愿望
已有很多尝试在处置责罚人类唯一身份的问题。个中想到的尝试包括(非完全列表!):
HumanityDAO
https://www.humanitydao.org/
Pseudonym parties
https://bford.info/pub/net/sybil.pdf
POAP (proof of attendance protocol)
https://www.poap.xyz/
BrightID
https://www.brightid.org/
跟着人们对一些诸如二次投票(quadratic votoing)和二次融资(quadratic funding)之类的手艺愈来愈感兴趣,对某种基于人的抗女巫体系的需求也在不停增进。愿望这些手艺的连续开发和新的设计可以满足它的需求。
15.去中间化的孝敬目的
遗憾的是,鼓励大众物品的生产并非中间化处置责罚的唯一问题。别的一个问题是起首要一定哪些大众物品值得生产,其次是一定某种特定勤奋实际上在多大水平上完成大众物品的生产(权衡孝敬)。这一应战触及后一个问题。
近况:有些愿望,在重点方面有些转变。
关于一定大众物品孝敬代价的最新事变并没有试图将一定使命和一定完成质量离开;原因是二者在实践中很难离开。特定团队完成的事变往往是不可替代且很主观的,因而最合理的要领是将使命和完成质量的相干性视为一个团体,并运用雷同的手艺对其举行评价。
荣幸的是,在这个方面取得了庞大的提高。特别是发明了二次融资(quadratic funding)。二次融资是个人可以给项目供应捐赠的机制,然后基于捐赠人数和捐赠数额,假如相互圆满谐和,可以运用公式盘算他们要捐赠若干(即,斟酌了相互的好处,但并没有成为公地悲剧的牺牲品)
对任何特定项目而言,想要捐赠若干和实际捐赠若干之间的差额将从某个中心资金池中取得补助。请注意,这类机制侧重于满足一些社区的代价,而不是满足某些特定目的,而不论是不是有人在意它。因为代价问题的复杂性,这类要领关于未知的未知数来讲大概越发强壮。
二次融资在实践中已被尝试,在近来的gitcoin二次融资轮中取得了相当大的胜利。在改良二次融资和相似机制上取得一些递增的愿望;特别是,成对的二次融资以减轻同谋征象。
也有关于反行贿投票手艺的范例和实行事变,防备用户向其投票的第三方举行证实;这可以防备多种同谋和行贿进击。
16.去中间化的胜利目的
问题:拿出并实行权衡实际天下数值变量的去中间化要领。该体系可以权衡人类当前可以杀青大抵共鸣的任何东西。(比方,资产价钱、温度、环球二氧化碳浓度)
状况:有些愿望
现在平常将这个问题被称为“预言机”问题。去中间化预言机运转的最大已知实例是Augur,它已处置责罚了数百万美圆的下注效果。如Kleros TRC如许的代币治理注册是别的一个案例。
但是,这些体系依旧未禁受实际天下分叉机制的磨练,因为要么因为高度争议问题,要么因为51%的进击。
另有关于对预言机问题的研讨,这些问题以“偕行展望”文献情势发作在区块链范畴以外。
另一个燃眉之急的应战是,人们试图依靠于这些体系来转移大于其体系原生代币代价总量的资产。代币持有人理论上有用果同谋给出毛病答案以盗取资金。在这类状况下,体系会分叉,而原生体系代币将会变得毫无代价,但原生体系代币持有人将会取得他们毛病转移的任何资产所带来的报答。
稳固币是一个特别蹩脚的例子。处置责罚该问题的一种要领是,体系假定确切存在有益他的老实数据供应者,并建立一种机制来辨认他们,而且只许可他们迟缓行为,以便假如歹意行为者入手下手在体系的用户中入手下手投票,而依靠于预言机的这个体系可以起首完成有序退出。不管云云,预言机手艺的更多生长是异常重要的问题。
假如我要在2019年再次列出难题,一些是上述问题的连续,但重点会发作很大变化,同时还会涌现新的重大问题。以下是挑选的列表:
加密殽杂
与上面第4个问题雷同
正在举行的后量子加密事变
同时基于哈希和基于后量子平安的“构造化的”数学对象。即椭圆曲线等值线,格暗码......
反同谋基本设施
正在举行的事变和完美https://ethresear.ch/t/minimal-anti-collusion-infrastructure/5413, 也包括增添针对操作者的隐私,以最大水平的实际体式格局增添多方盘算等。
跟第16个问题雷同,但不再强调“胜利目的”,更侧重于通用的“猎取实际天下数据”问题。
唯一人类身份,或许更实际地是半唯一人类身份
跟第14个问题雷同,但更强调更少的“相对”处置责罚设计:比拟于取得一个身份,取得两个身份要难很多,但纵然我们胜利了,这也让取很多个身份是既不大概也多是有害的。
同态加密和多方盘算
实用性仍须要连续革新
去中间化的治理机制
DAO很酷,但当前的DAO依然很原始,我们可以做得更好。
周全范例对PoS51%进击的回应
正在举行的事变和完美https://ethresear.ch/t/responding-to-51-attacks-in-casper-ffg/6363
更多大众物品融资的泉源
抱负的做法是对具有收集效应的体系内的拥堵资本举行收费(比方生意业务用度),但在散布式体系中如许做须要大众正当性;因而,这是一个社会问题,也是寻觅大概泉源的手艺问题。
名誉体系
与上述的第12个问题雷同。
平常来讲,基本层问题愿望迟缓但一定会削减,而运用层问题才刚刚入手下手。
------
比特币:www.btcmoney.cc 比特币; https://www.btcmoney.cc/detail/58635.html
加入新手交流群:每天早盘分析、币种行情分析
添加助理微信,一对一专业指导:chengqing930520
上一篇:
汇丰银行设计将200亿美圆资产转移至区块链托管平台
下一篇:
长沙市委常委会:推进区块链和人工智能等前沿信息技术深度融会
加入新手交流群:每天早盘分析、币种行情分析,添加助理微信
一对一专业指导:chengqing930520
最新资讯
提供比特币数字货币以太坊eth,莱特币ltc,EOS今日价格、走势、行情、资讯、OKEX、币安、火币网、中币、比特儿、比特币交易平台网站。
2021 数字货币 网站地图