-->-->
收藏本页
返回顶部

币海首页> 要闻资讯 > 文章

密码货币难题 5 年回顾:共识理论(下)

来源:以太坊爱好者     转载 · Aries   2019-12-18 11:08 星期三
币海网微博
微信扫一扫

8. 权益证明

权益证明

解决挖矿中心化问题的另一种方法是完全取消挖矿,并转向其他机制来决定共识过程中每个节点的权重。迄今为止,在讨论中最受推崇的替代方案是 “权益证明”。亦即,不再是 “一个 CPU 一票” 而是 “一块钱一票”

现状:理论上取得重大进展,尚待进行更多实际评估。

在 2014 年底,权益证明社区便清楚地知道,某种形式的 “弱主观性” 是不可避免的。为了维护资金安全,节点在首次同步时需要在协议进程外获取最近的检查点,如果节点离线超过几个月则需要再次获取。这是很难解决的弱点。许多 PoW 拥护者仍然坚持使用 PoW,就是因为在 PoW 链中,链的起点是可以被发现的,而你唯一需要信任的数据来源就是区块链客户端软件本身。但是,PoS 倡导者愿意承担这个弱点,因为这里引入的信任要求并不高。从那开始,借由要求安全保证金长期存储来实现权益证明机制的路径就变得清晰了。

如今,最有趣的共识算法从根本上类似于 PBFT,但是用一个动态列表替换了固定的验证者集,任何人都可以通过将代币发送到具有锁定时间的系统级智能合约中来加入动态列表(例如,在某些情况下,代币可能最多需要 4 个月才能取出)。在许多案例中(包括以太坊2.0),这些算法通过对违反协议某些条款的验证者进行处罚,而实现了 “经济确定性”(有关权益证明取得的成果,请参见此处的高度凝练的观点)。

截止到今天,我们有(还有许多其他算法):

1 Casper FFG: https://arxiv.org/abs/1710.09437

2 Tendermint: https://tendermint.com/docs/spec/consensus/consensus.html

3 HotStuff: https://arxiv.org/abs/1803.05069

4 Casper CBC: https://vitalik.ca/general/2018/12/05/cbc_casper.html

人们还在对这些算法继续进行优化(例如,这里和这里)。Eth2 阶段 0 将使用 FFG 算法,目前正在开发中,并已取得了巨大进展。另外,使用 Tendermint 的 Cosmos 链已经运行好几个月了。我认为,关于权益证明的其余论点与优化经济激励措施有关,以及进一步规范应对 51% 攻击的策略。此外,Casper CBC 规范仍需要很多效率上的改进。

9. 存储证明

存储证明

解决该问题的第三种方法是使用计算能力或货币以外的稀缺计算资源。在这个议题上,已提出的两个主要替代方案是存储容量和带宽。原则上,提供拥有或使用过相应带宽的密码学证据是不可能的,因此,带宽证明应被视为社会证明的一个子集(因此我们会在后面的问题中讨论)。但是存储容量证明是必然可以通过计算完成的,存储容量证明的一大优势是完全抗 ASIC。硬盘驱动器中的存储类型已经接近最优(效率不可能更高了)。

现状:理论上有很多进步,但是还有很多工作要做,尚待实际场景中的评估。

有许多计划使用存储容量证明协议的区块链,包括 Chia 和 Filecoin。也就是说,这些算法尚未经过实际测试。我自己的主要担忧是集中化:这些算法最终是由使用备用存储的、容量较小的用户主导;还是由大型矿场主导?

点击关注币海启行微信公众号,了解更多

版权信息
来源:以太坊爱好者
版权:转载
原文链接:https://www.bihai123.com.cn/news/zhuanlan/73272.html
作者:Vitalik Buterin
编译发布:Aries
声明:
此文为转载内容,不代表币海启行网的观点和立场,仅供参考。

相关文章

用户评论 (0)

0/140