https://arxiv.org/abs/1809.09044。另外也可参阅新的编码Merkle tree提案。
遗憾的是，鼓励民众物品的出产并不是中心化办理的独一问题。别的一个问题是首先要确定哪些民众物品值得出产，其次是确定某种特定尽力实际上在多洪流平上完成民众物品的出产（权衡孝敬）。这一挑战涉及后一个问题。
假如我要在2019年再次列出困难，一些是上述问题的延续，但重点会产生很大变革，同时还会呈现新的重大问题。以下是选择的列表：
状态：有些希望
总体来说，这里还没有取得新的重大打破。办理方案分为两大类。首先，我们可以实验引导出小我私家的孝敬，为作出孝敬的人给以社会回报。我小我私家的发起是通过边际价值歧视举办的慈善就是个中的一个例子。别的一个是Peepeth上的抗疟疾捐钱徽章。其次，我们可以从具有网络效应的应用中筹集资金。在区块链规模，有几种选择可以做：
另外，也已经开拓了STARK，而且可以基于它们建设雷同巨细的签名。不只是签名，同时通用目标的零常识证明也是可以仅通过哈希值就有大概实现，这是我在五年前没有预推测的；对付这种环境，我感想很是兴奋。就是说，巨细仍然是个问题，且不绝的进步（参阅最近的DEEP FRI）在继承淘汰证明的巨细，尽量看上去将来的希望会是慢慢的。
可扩展性是我们在理论上已取得庞大希望的技能问题。五年前，险些没有人思量过度片。此刻，分片设计很常见。除了2.0，我们尚有OmniLedger、LazyLedger、Zilliqa以及好像每个月城市有研究论文颁发。（蓝狐条记：Harmony也是基于分片的技能）
近况：大概不行行，只有一个破例。
· 不依赖大量外部数据
办理该问题的一种要领是基于一种很难专门化的计较范例来建设事情量证明算法……对有关抗ASIC硬件的深入接头，可参阅https://blog.ethereum.org/2014/06/19/mining/ （蓝狐条记之前也有过此类接头的文章，到底抗ASIC算法是不是真正能告竣目标《抗ASIC的算法是否对PoW的安详性有利？》）
确实存在针对预言机系统的差异实验，但关于在大局限的经济压力下它们可否遭受得住的问题，依然没有定论。迄今为止，MakerDAO节制的抵押资产已经低于MKR代币的代价；假如这种干系产生逆转，MKR持有人大概会有集团念头来试图“打劫”MakerDAO系统。有多种要领可以防备此类进攻，但它们尚未在实践中担当检讨。
比特币个中的一个主要问题是其价值的颠簸性。问题：构建具有不变价值的加密钱币。
另外，他们很难计较。假如“高度布局化”计较的证明变得很容易，则可以简朴地切换到验证区块链的整体状态转换，由于需要对虚拟机建模和随机内存会见，因此这会变得很是昂贵。
13.卓越证明（Proof of excellence）
· 难以计较
DAO很酷，但当前的DAO仍然很原始，我们可以做得更好。
https://ethresear.ch/t/1-bit-aggregation-friendly-custody-bonds/2236
从2014年以来，这方面取得了两大希望。SPHINCS是一种“无状态”（意味着可以利用多次，而不需要记着像nonce一样的信息）签名方案，它在这些“困难”列表提出后不久宣布了，并提供巨细约为41kb的纯基于哈希的签名方案。
与上面第4个问题沟通
https://www.brightid.org/
加密规模如今面对的最大问题之一是扩展性问题。对“超大区块链”的主要担忧是信任：假如只是少数的主体可以或许运行全节点，那么，这些主体可以同谋并同意给以它们本身大量特另外，那么，其他用户无法看到区块是无效的，除非他们本身处理惩罚整个区块。
在许多环境下，也包罗以太坊2.0，这些算法通过处罚那些在某些方面违法协议的恶意验证者来实现“经济最终性”。（关于PoS的哲学概念，可查阅蓝狐条记之前宣布的文章《以太坊首创人V神眼中的PoS设计哲学》）
这是难以下咽的药。很多PoW拥护者仍然僵持PoW，因为在PoW链中，可以发明链的“头部”，作为可信来历的独一数据（也就是区块链客户端自己）。
问题：建设一种区块链设计，可以维持雷同于比特币的安详担保，可是，个中维持网络运行所需的最强节点的最大巨细在生意业务数量中根基上是次线性的。
跟着人们对一些诸如二次投票（quadratic votoing）和二次融资(quadratic funding)之类的技能越来越感乐趣，对某种基于人的抗女巫系统的需求也在不绝增长。但愿这些技能的一连开拓和新的方案可以或许满意它的需求。
10.代价不变的加密钱币
一个让我小我私家感乐趣的成果是：从抗同谋的小东西中移除中心化的操纵者，其方法是用包括一些事情量证明的夹杂措施来代替操纵者，因此，要实验确定各个参加者的行为，利用差异的输入多次运行会很是昂贵。
2.时间戳
近况：理论上取得重大希望，需要更多落地层面的评估
近况：理论上取得了许多希望，尽量尚有许多事情要做，同时也需要更多的落地评估
· 加密夹杂
系统应一连提供大于99%厚道参加节点的内部时钟的120秒（如大概更短时间）内的时间。外部系统大概最终依赖于此系统；因此，无论念头如何，它应保持安详，以防进攻者节制不高出25%的节点。
· HumanityDAO
· 独一人类身份，可能更现实地是半独一人类身份
媒介：本文作者是Vitalik Buterin，他回首了五年前其列出的加密世界要办理的困难，然后从头审视了这些问题的近况。我们可以看到许多问题都取得了希望，同时也有许多问题悬而未决。固然此刻和将来的挑战庞大，但我们看到了更多的信心，加密世界曾经很原始，此刻也很低级，但五年来一直没有停下前进的脚步，将来将会递增式的进步，直到有一天发作式的打破。间隔这一天也许尚有些遥远，但由于累积的技能和伶俐，突破黎明前的暗中，终将在技能和主流回收上迎来光亮。本文由“蓝狐条记”的“SIEN”翻译。
4.代码夹杂（code obfuscation）数据可用性证明，答允客户检测其区块头地址的区块主体何时不行用。
https://tendermint.com/docs/spec/consensus/consensus.html
1.的可扩展性
还存在现有方案有裂痕的风险。凡是，这些问题在于细节问题，而不是基础问题。
共鸣理论，对PoW和PoS的大幅度改造
· BrightID
Ethash在抗ASIC方面被证明长短常乐成的。在颠末三年和数十亿美元的区块嘉奖之后，ASIC确实也存在，但其算力和本钱效率只比GPU高2-5倍。
Ethash并不是第一个内存难明的算法，但它确实增加了一项创新：它在两层DAG上利用伪随机查找，从而提供两种评估函数的方法。首先，假如一小我私家有整个DAG（~2 GB），则可以快速计较它；这是内存难明的“快速通路”。其次，假如一小我私家只有DAG的顶层，那么，计较它会慢得多（仍然足够快，以查抄提供的单个解）；这用于区块验证。
基于哈希的加密学尚未办理的主要问题是聚合签名，雷同于BLS聚合使其成为大概。众说周知，我们可以对很多Lamport签名举办STARK，但这效率低下；更高效的方案会是受接待的。（假如你想相识是否可以用基于哈希的公钥加密，谜底是不，高出二次进攻的价钱会让你无法做任何事）
然而，所有这些路径都离建设可行和已知的安详性还很遥远。关于这个问题，可参阅https://eprint.iacr.org/2019/463.pdf 以得到更一般的概述。
正在举办的事情和完善https://ethresear.ch/t/responding-to-51-attacks-in-casper-ffg/6363
状态：有些希望
区块链有效性的零常识证明为区块链用户提供了庞大的代价，因为它们可以替代直接验证链的需求。尽量是简化的区块链设计，而其可验证性举办了极大的优化，Coda在做这个工作了。
https://arxiv.org/abs/1803.05069
另外，Tendermint以Cosmos链的形式已经运行了好几个月。在我看来，关于PoS的剩余争论与优化经济鼓励和进一步类型应对51%进攻的计策有关。另外，Casper CBC类型仍可以利用详细的效率改造。
五年已往了，环境产生了很大改变。我们认为重要的问题毕竟取得了多大的希望？我们在什么方面取得乐成？在什么方面失败了？对付什么是重要问题，我们改变了哪些观点？
· Tendermint
托管证明，答允验证者概率性地证明他们单独下载并验证了一些数据：
· HotStuff
16.去中心化的乐成指标
· CasperCBC
2014年，我曾颁发过文章和演讲，个中提到在数学、计较机科学以及经济学方面的一系列困难，其时我认为它们对加密规模走向成熟至关重要。
近况：没有希望，很洪流平上被遗忘。
· 声望系统
然而，有一个大概的破例：零常识证明的生成。区块链有效性方面的零常识证明难以计较但易于验证。
· 可用小“字节-巨细”的块举办有效计较
幸运的是，在这个方面取得了庞大的进步。尤其是发明白二次融资（quadratic funding）。二次融资是小我私家可以给项目提供捐赠的机制，然后基于捐赠人数和捐赠数额，假如互相完美协调，可以利用公式计较他们要捐赠几多（即，思量了互相的好处，但并没有成为公地悲剧的牺牲品）
问题：建设一种安详算法，它不依赖于安详假设而是依赖于哈希值的随机预言机属性，该属性可以保持具有最佳巨细和其他属性的传统计较机等同的160位比特的安详性（由于Grover的算法,相对付量子计较机为80位比特）。
不变币是一个尤其糟糕的例子。办理该问题的一种要领是，系统假定确实存在有利他的厚道数据提供者，并建设一种机制来识别他们，而且只答允他们迟钝动作，以便假如恶意行为者开始在系统的用户中开始投票，而依赖于预言机的这个系统可以首先完成有序退出。无论如此，预言机技能的更多成长长短常重要的问题。
· 易于验证
我相信，可以建设能到达中品级此外抗ASIC的PoW算法，但这种抗ASIC也是有期限的，且ASIC和抗ASIC都有缺点。从久远看，区块链共鸣算法的更好选择是PoS。
· 从一些layer-2应用收取一部门生意业务用度（譬喻Uniswap，或其他扩展性办理方案，或甚至在ETH2.0的执行情况中的状态租金）
最近的网络调解后的时间戳提案试图在客户端没有从当地获悉高准确时间的环境下答允客户端确定共鸣，以此来改进近况。这还没有获得验证。但，从总体来说，时间戳并不是当前研究挑战的前沿。或者一旦有更多的PoS链上线运行后，这会产生改变，我们会看到问题地址。
同时基于哈希和基于后量子安详的“布局化的”数学工具。即椭圆曲线等值线，格暗码……
MakerDAO此刻已经上线，且一连不变运行了近两年。它在其底层抵押资产（ETH）代价下跌93%的进程中存活下来，此刻刊行高出1亿美元的DAI。它已经成为以太坊生态系统的支柱，许多以太坊项目已经集成了它可能正在集成它。其他合成代币的项目，譬喻UMA，也正在快速成长。
以太坊实际上在13秒的区块时间内存活下来，还没有出格先进的时间戳技能；它利用一种很是简朴的要领，个中客户端不会吸收这样的区块：其声明的时间戳早于客户端当地时间的区块。也就是说，它还没有在严重进攻下担当检验。
近况：有些希望
· 预言机
在“困难”列表宣布6个月之后，以太坊抉择回收其抗ASIC的事情量证明算法：Ethash。Ethash被称为内存难明的算法。该理论是说，通例计较中的随机RAM已经取得很好优化，因此对专门应用来说很难有更大的晋升。Ethash旨在通过将内存会见成为运行PoW计较的主导部门来实现抗ASIC。
问题：建设漫衍式的鼓励兼容系统，不管它是区块顶层的叠层，可能是其自身区块链，都使当前时间保持较高的精确性。所有正当用户都有正态漫衍的时钟，环绕某个“真实”时间漫衍，尺度毛病为20秒。没有两个节点的时间毛病答允高出20秒，以依赖于现有的“N个节点”的观念。实际上，这可以通过PoS或非女巫代币（non-sybil tokens）强制执行。
· 收取其他范例的用度（譬喻ENS注册）
原则上，没有步伐提供应定或利用带宽的过后加密证明，因此，带宽证明（Proof of bandwidth）应最精确地视为社会证明的一个子集，这在后头的问题中会接头。但存储证明（Proof of Storage）是必定可以通过计较完成的。存储证明的优势是它完全是抗ASIC的，我们在硬盘驱动器中的存储范例已靠近于最优。
遗憾的是，没有几多“有用”的计较拥有全部这些属性，而且大大都有这些属性的“有用”计较只是“有用”的时间太短，无法基于它们构建。
一般认为，扶助民众物品的问题分为两个问题：资金问题（从那边给民众物品提供资金）、偏好汇总问题（如何确定什么是真正的民众物品，而不是一些小我私家爱好的项目）。本文假设后者已包办理，主要聚焦于前者问题。
此刻凡是将这个问题被称为“预言机”问题。去中心化预言机运行的最大已知实例是Augur，它已经处理惩罚了数百万美元的下注功效。如Kleros TRC这样的代币打点注册是别的一个案例。
对底层区块链的进攻是更大的未经检讨的风险，尤其是假如同时价值下跌又加剧了这种风险。别的一个主要的挑战，大概是更大的挑战，是雷同于MakerDAO这样的系统的不变性取决于某些底层的预言机机制。（蓝狐条记：详细可以参看《Maker中的预言机管理进攻》）
近况：已极力办理
https://bitcoin.stackexchange.com/questions/49647/what-is-a-fraud-proof
8.PoS
根基的技能大概性方面好像不再有什么可猜疑的。可是，挑战终归是挑战，假如只是思考它们，是无法办理的。唯有开拓系统和调查以太坊2.0或其他雷同链的线上运行才气办理挑战。
经济学，与建设涉及差异参加方的鼓励布局相关，且凡是更多涉及应用层而不是协议层。
15.去中心化的孝敬指标
办理挖矿会合化问题的别的一个要领是完全打消挖矿，并转向其他机制来计较共鸣中每个节点的权重。迄今为止，接头中最风行的替代要领是PoS，也就是说，不是将共鸣模子视为“一CPU算力一票”，而是酿成“一币一票”。
跟第14个问题沟通，但更强调更少的“绝对”办理方案：对比于得到一个身份，得到两个身份要可贵多，但纵然我们乐成了，这也让得到多个身份是既不行能也大概是有害的。
然而，这些系统依然未担当现实世界分叉机制的检验，因为要么由于高度争议问题，要么因为51%的进攻。
3.任意计较证明（Arbitrary Proof of Computation）
直到本日，我们有许多算法，个中包罗：
近况：有些希望，在重点方面有些改变。
具有主观多样性的声望系统还没有被真正实验过，这大概是因为没有足够的以某种形式宣布到链上的人们彼此毗连的“社会关联图”信息。假如此类信息因为某种原因而开始存在，那么，主观声望系统大概会变得越发风行。
关于确定民众物品孝敬代价的最新事情并没有试图将确定任务和确定完成质量分隔；原因是两者在实践中很难分隔。特定团队完成的事情往往是不行替换且很主观的，因此最公道的要领是将任务和完成质量的相关性视为一个整体，并利用沟通的技能对其举办评估。
· Casper FFG
6.抗ASIC的PoW
如今，最让人感乐趣的共鸣算法从基础上雷同于PBFT，但它用动态列表替换了牢靠的验证者集，任何人都可以通过发送代币到具有时间锁定的系统级智能合约中来参加验证（提代替币在某些环境下大概长达4个月）。
本文将会逐个梳理从2014年来的16个问题，来看看这些问题的如今近况。最后，我会列出在2019年选择的新困难。
凡是在经济系统中的挑战之一是“民众物品”问题。譬喻，假设有一个需要耗费100万美元完成的科学研究项目，假设各人都知道，假如它完成了，那么研究功效将会为100万人每人节减5美元。总体来权衡，社会效益是很清楚的。可是，从做孝敬人员的视角看，这是没有意义的。
常见的“有用”候选者是雷同于[email protected]这样的，它是现有的措施，其用户可以下载软件到本身的计较机上，模仿卵白质折叠并给研究人员提供大量的数据，以辅佐他们治愈疾病。
· 更多民众物品融资的来历
· 全面类型对PoS51%进攻的回应
近况：希望迟钝
二、共鸣理论问题
14.抗女巫进攻系统
近况：有些希望
随机抽样，答允随机选择的小委员会（验证者小组）从统计学上代表完整的验证者集：
以我的观点，这一点上的将来希望是递增的。从基础上，我们已经有一系列的技能，它们答允验证者组就更多的数据安详地告竣共鸣，要比单个验证者能处理惩罚的数据多得多，同时，这些技能也答允用户间接地验证区块的全部有效性和可用性，纵然处于51%进攻的环境下。
https://vitalik.ca/general/2018/12/05/cbc_casper.html
9.存储证明（Proof of Storage）
12.声望系统
凡是来说，基本层问题希望迟钝但必定会淘汰，而应用层问题才方才开始。
近况：取得一些希望
近况：有些希望
https://www.poap.xyz/
· 去中心化的管理机制
ProgPoW被提出来作为替代方案，但不绝增长的共鸣认为，抗ASIC算法将不行制止地存在有限的生命周期，而且抗ASIC也有缺点，因为它让51%的进攻更自制（譬喻，可以参看ETC 的51%进攻）。
办理这个问题的第三种要领是利用稀缺的计较资源而不是计较本领或代币。在这方面，两个主要的替代方案已经提出，是存储和带宽。
跟第16个问题沟通，但不再强调“乐成指标”，更偏重于通用的“获取现实世界数据”问题。
与上述的第12个问题沟通。
这是一个与“声望系统”问题有一些相关的问题，它是建设“独一身份系统”的挑战，它是一个生成代币的系统，可以证明某个身份不是女巫进攻一部门。然而，我们想要有一个更好更平等成果的系统，而不是“一美元一票”的系统；可以说，一人一票是抱负的选择。
对任何特定项目而言，想要捐赠几多和实际捐赠几多之间的差额将从某其中央资金池中得到津贴。请留意，这种机制偏重于满意一些社区的代价，而不是满意某些特定方针，而不管是否有人在乎它。由于代价问题的巨大性，这种要领对付未知的未知数来说大概越发矫健。
问题：建设措施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正当生成。
https://github.com/ethereum/wiki/wiki/Sharding-FAQ#how-can-we-solve-the-single-shard-takeover-attack-in-an-uncoordinated-majority-model
11.去中心化的民众物品鼓励
然而，PoS的拥护者愿意吞下这个药丸，因为增加的信任要求并不大。从哪里开始，通过恒久安详抵押资产通往PoS的路径变得明了。
尚有其他的一些希望，譬喻通过收据举办的跨分片通信，以及“常数”加强成果，譬喻BLS签名聚合。
· Pseudonym parties
· 刊行代币
这些问题可分为三类：
欺诈证明，答允获悉错误的个别节点将其流传给其他所有人：
近况：理论上取得庞大希望，现实落地有待更多评估
正在举办的事情和完善https://ethresear.ch/t/minimal-anti-collusion-infrastructure/5413, 也包罗增加针对操纵者的隐私，以最洪流平的实际方法增加多方计较等。
5.基于哈希的加密学
抱负的做法是对具有网络效应的系统内的拥堵资源举办收费（譬喻生意业务用度），但在漫衍式系统中这样做需要民众正当性；因此，这是一个社会问题，也是寻找大概来历的技能问题。
建设夹杂函数O是圣杯，这样，给定任何措施P，夹杂函数都可以发生第二个措施O(P) = Q ，从而假如给定沟通的输入，则P和Q返回沟通的输出，而且重要的是，Q并没有泄漏任何干于P内部的信息。人们可以在Q内部埋没暗码、奥秘加密的密钥、可能可以简朴地利用Q来埋没算法自身的专利事情。
SNARK作为隐私技能（可参阅Zcash和tornado.cash）和可扩展性技能（可参阅ZK Rollup，STARKDEX以及STARKing 纠删码的数据根），都很是有用。
· 同态加密和多方计较
尚有关于对预言机问题的研究，这些问题以“同行预测”文献形式产生在区块链规模之外。
代币分派的主要替代要领是空投；凡是，代币在宣布时举办分派要么是按照现有的某些代币的持有比例举办分派，要么是基于其他的一些指标（譬喻在Handshake的空投中）。
· POAP (proof of attendance protocol)
· 在协议层面收取一部门生意业务用度（譬喻，通过EIP1559）
以太坊2.0的Phase 0阶段，以太坊链会实施FFG，今朝正在实施中，并已经取得庞大的希望。
https://www.humanitydao.org/
在2014年底之前，对PoS社区来说，这一点越来越清晰：某种形式的“弱主观性”是不行制止的。为了维持经济安详，节点在首次同步时需要获取最近的查抄点协议，假如节点离线高出几个月则需要再次获取。
效率方面依然存在挑战；实现算术友好的哈希函数是个大问题，而高效的证明随机内存会见是别的一个问题。另外，还存在一个悬而未决的问题，即证明时间的O(n * log(n))增大是否是根基的限制，可能是否有要领仅用线性开销实现简捷证明，如bulletproof一样（遗憾的是bulletproof需要耗费线性时间来验证）。
也有关于反行贿投票技能的类型和实施事情，防备用户向其投票的第三方举办证明；这可以防备多种同谋和行贿进攻。
已经有很多实验在办理人类独一身份的问题。个中想到的实验包罗（非完整列表！）：
· 正在举办的后量子加密事情
近况：理论和实践上都取得庞大希望
新问题
从2014年到此刻声望系统并没有太多事情希望。或者最好的步伐是利用代币打点注册表（token curated registry，也称代币精选注册表）来建设可信实体/工具的打点列表。Kleros ERC20 TRC（是的，这是正当ERC20代币的代币打点注册表）是一个案例，甚至Uniswap有可替代的界面接口，利用它作为后端来获取列表的代币和标志及徽标。
有许多打算利用存储证明协议的区块链，个中包罗Chia和Filecoin。也就是说，这些算法还没有颠末实战检讨。我小我私家的主要担忧是在会合化：这些算法实际上由利用闲置存储容量的较小用户主导？照旧由大型矿场主导？（蓝狐条记注：按今朝的趋势，矿场主导的大概性更大）
二次融资在实践中已经被实验，在最近的gitcoin二次融资轮中取得了相当大的乐成。在改进二次融资和雷同机制上取得一些递增的希望；尤其是，成对的二次融资以减轻同谋现象。
这些证明可以极大地辅佐改进区块链的安详性和可扩展性。也就是说，实际需要完成的计较总量仍然远远小于当前PoW矿工当前完成的计较劲，因此，其充其量不外是PoS区块链的附加项，而不是完整的共鸣算法。
问题：设计正式的声望系统，包罗分数rep(A,B) -> V，个中V是从A角度对B评价的声望，一种确定一方可以被另一方相信的的概率机制，以及提供特定果真或最终互动记录的声望更新机制。
也就是说，完全分片的区块链还没有实现上线运行，部门分片的Zilliqa最近已经开始运行。从理论上，还存在关于剩余细节的争议，同时也涉及一些挑战：分片网络的不变性、开拓者履历以及减轻中心化的风险。
这根基上是说，构建一个SNARK（STARK，或SHARK……）。我们已经搞定了。有越来越多的人领略SNARK，且如今正在被多个区块链所回收，个中也包罗以太坊上的tornado.cash。
遗憾的是，这依然是个困难。在办理这个问题方面，正在一连举办事情，一方面，，正在举办构建，以淘汰对我们实际上不知道的数学工具（譬喻通用加密多线性映射）上的假设数量，另一方面，实验对所需的数学工具举办实际执行。
7.有用的PoW
还没有真正实验如何去直接验证人类的缔造力，而且跟着AI最新的成长，缔造只有人类能办理但计较机可以验证的任务大概会很是坚苦。
用懂得话来说，这个问题是在说我们想要找出一种要领来“加密”措施，这样被加密的措施仍然可以或许为沟通输入提供沟通的输出，但该措施的“内部信息”会被埋没。“夹杂”用例的一个例子是包括私钥的措施，个中该措施仅答允用私钥来对某些动静举办签名。
实用性仍需要一连改造
一、加密学问题
在所有这些种别上我们都看到取得显著的希望，尽量有些规模希望更大。
迄今为止，大大都民众物品的问题都涉及会合化附加假设和要求：存在完全可信的预言机，它可以确定特定民众物品任务是否已经完成（实际上大概是错的，但这是别的一个问题了）
三、经济学
使得事情量证明成果同时有用。（蓝狐条记：这里的所谓“有用”是指，PoW的算力只用来寻找一个谜题的解，并没有发生什么实际的用途，所以是“无用”，而“有用”是说将算力用于办理实际的问题，譬喻寻找素数等等，可是更要害的是POW算法需要具有难以计较易于验证等属性，这是焦点。PoW的本质是将能源和算力转为代价存储，关于是否“有用”是存在争议的）
https://arxiv.org/abs/1710.09437
另一个迫在眉睫的挑战是，人们试图依赖于这些系统来转移大于其系统原生代币代价总量的资产。代币持有人理论上有念头同谋给堕落误谜底以盗取资金。在这种环境下，系统会分叉，而原生系统代币将会变得毫无代价，但原生系统代币持有人将会得到他们错误转移的任何资产所带来的回报。
近况：希望迟钝
加密学，假如它们会被完全办理，则可以用纯数学要领来办理；
代码夹杂的办理方案对区块链协议来说很是有用。其用例是微妙的，因为必需处理惩罚这种大概性：在链上夹杂的措施将被复制且运行在差异于链自己的情况中，但有许多大概性。
有用的事情量证明所面对挑战是，事情量证明算法需要许多属性：
· 反同谋基本设施
在区块链行业之外，这是一个陈腐的问题：假如你是当局该如何收税，或假如你是公司或其他组织该如何收费。
问题：拿出并实施权衡现实世界数值变量的去中心化要领。该系统可以或许权衡人类当前可以告竣大抵共鸣的任何对象。（譬喻，资产价值、温度、全球二氧化碳浓度）
https://bford.info/pub/net/sybil.pdf
下面的这些大概是最重要的技能：
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
