以太坊未来最大的升级从根本上说是脆弱的。
这是分布式系统专家也是Vmware的创始人Dahlia Malkhi上周五提出的说法，在2018年库拉索的金融加密学会议上，他用这些词语描述了以太坊的Casper协议。
在一次主题演讲中，Malkhi通过一个长期研究的计算机科学领域的镜头窥探了区块链，探索了节点是如何达成一致的。不过，她对Casper的评论还是吸引了最多的注意。Casper是一个升级版本，它承诺将为以太区块链引入一种更好、更环保的算法。
与比特币首创的proof-of-work（工作量证明）系统不同，矿商们用真实的电力和能源来验证交易的块数，而proof-of-stake（权益证明）系统提供的是一种虚拟的采矿方式，在那里，代币本身被锁起来，就像实体采矿者的资本一样要经过封闭流程然后进行计算。
因此，支持者说，在没有现实世界的电力成本和环境问题的情况下，对proof-of-stake系统的论证将会产生同样的理论效益。
然而，尽管这一想法遭到了同样激烈的反对，但Malkhi的言论可能是第一次以著名的计算机科学研究人员的身份参与这场辩论。
她告诉听众：
“我认为，proof-of-stake从根本上来说是很脆弱的。你是在授权一个团体来发号施令。在我看来，它只给那些有钱人提供了权力。
然而，她缓和了这一打击，并补充说，她相信Casper已经带来了有趣的研究，这在分布式系统领域引起了日益增长的兴趣和创新。
向历史学习
作为一个多年来一直在研究分布式系统的人，Malkhi最大的担忧来自于两个特性，而他认为这两个特性应该被技术所保护——安全性和灵活性。
在区块链系统中，这些属性帮助指示事务是否能够正确执行，以及系统本身是否会随着时间向前移动。
在Malkhi看来，由于有些区块链项目（比如Casper）目前的布局是有漏洞的。
“我们在这里有几十年的经验，”她说。
她的言论表明，她担心的是，没有足够的传统学术严密性在这一理念上应用，就擅自这样去实施这些项目的话，之前做的关键假设就可能失效。
“说真的，想出一个不存在的解决方案是很容易的，这无关紧要。但在这一领域，我们唯一需要做的就是建立一个既安全又可靠的机制。”
对未来的热情
这并不是说Malkhi对加密技术及其衍生的新研究和创新技术不感兴趣。
在其他地方的谈话中，她同意经常被引用的一个观点，即比特币有助于解决分布式系统中一个非常重要的问题——拜占庭将军问题。她将此归因于Marc Andreessen这样著名的投资者。
不过，她很快就说这项工作还没有结束，称Andreessen的评论 “很有洞察力”，但也可能“过于乐观”。 因此，她的评论表明，她不太相信任何区块链是以没有缺陷的方式构建的。
