以太坊大转型:权益证明新路线图

shangfangkang

　　以太坊大转型:权益证明新路线图
　　暴走时评：Casper是以太坊开创者Vitalik Buterin开发的权益证明，将用于以太坊第三阶段Metropolis与工作量证明的融合，为的是降低耗电量和提高安全性。然而项目数次被推迟，引起一些怀疑与担心。不过Casper的开发一直很仔细，其中面临资金损失风险的网络参与者也会十分小心，一旦该模式成功，也许可以应用于其他更多领域。
　　翻译：Annie_Xu
　　经过数年的开发，以太坊对维持网络同步的算法有了新的升级计划。
　　以太坊开创者Vitalik Buterin最近发布了粗略的实施指南，网络开发者首先会看到整合了类似比特币工作量证明挖矿和Casper系统的“混合系统”，Casper是Buterin开发的权益证明系统，虽备受期待，却还在试验阶段。
　　该计划充分说明以太坊将开始在两个系统之间切换，因此一些比特币行情(https://www.okcoin.cn)交易区块(1/100的比例)将受到权益证明保护，其余的继续采用工作量证明。
　　Buterin与以太坊开发者Vlad Zamfir一起合作，交流两个人的想法。以太坊初创企业ConsenSys区块链工程师、与Buterin合作Casper开发的编码员Karl Floersch说，其结果是网络会选择两个潜在路径中更加保守的一个。
　　“Vitalik想到的是‘走出去’，做有实效的工作版本，但是也许理论变革性不如Vlad的版本”。
　　因为Buterin的Casper可以更快进入生产，因此将用于以太坊升级的第一阶段。
　　如果执行了，这将是权益证明首次应用于以太坊平台运行，尽管并不是主要角色。它还会进行大量权益证明的应用测试，使该加密货币社区确定该证明算法是否如支持者说的更好。
　　对支持者来说，此次变革性调整权益证明的目的是降低以太坊达成交易及网络合约共识的耗电率，但是由于多次被延迟，批评者说这两种算法的混合说明权益证明不可能成功在以太坊上完全实现。
　　其他人说，混合执行是出于安全考虑，因为网络目前保存了几十万美元的价值。
　　比如区块链顾问Ciaran Murray称此举为“预防”措施，而Buterin称之为“垫脚石”，他预计在以太坊进入第三阶段之后开始，也就是Metropolis阶段。
　　以太坊大转型：权益证明新路线图
　　Vitalik Buterin
　　Buterin说：
　　“从开发角度看，这将是我们进入Metropolis后的主要焦点，目前我们正积极开发Python语言的原型”。
　　虚拟化挖矿
　　权益证明的构思是将挖矿流程虚拟化。
　　工作量证明中，矿工以眼花缭乱的速度计算难解的问题，该流程需要大量设备资金和电费。在权益证明中，参与者同样向系统投入资金，但是也需要设备及电力。Casper系统中，被称为验证者的虚拟矿工向系统提交资金，并知道如果他们不守规矩，就会损失这笔资金。
　　最近除了算法理论的进步，以太坊基金会(Ethereum Foundation)形式验证工程师Yoichi Hirai通过数学漏洞探测器运行了Casper脚本，这个过程就叫“形式验证”。
　　从他的形式验证工作笔记可以看到，Hirai将数学工具用于智能合约，“以便部署之后不会有什么意外”。
　　既然智能合约部署和不能修改，开发者每步都很谨慎。由智能合约驱动的Casper同样也是。
　　Casper的第一阶段
　　Buterin计划的第一阶段中，权益证明将用作每100个区块的“检查站”，并提供证据证明区块存储正确的交易(也就是开发者所说“最终性”)。
　　Floersch目前在为pyethereum编写“分叉选项规则”代码，pyethereum是Python的以太坊客户端。这些规则解释了验证者如何决定在哪个以太坊链上做搭建。验证者注视自己前面的链，并根据每个链获得的以太币金额做出选择。
　　如果验证者做出错误决定，就会损失钱。
　　“你可以看到它如何形成共识，或者它形成单个链，而不是一堆链”。
　　Casper开发者将在以太坊上发布智能合约，创建正式的Casper账户，任何想参与虚拟挖矿的人都可以在里面存以太币。
　　一旦pyethereum版本完成，团队会把它与Casper后台程序融合，并最终与以太坊客户端一同运行，也许是Geth或Parity。
　　第二阶段是更大规模的部署该流程。
　　好主意?
　　权益证明是否有效，或者是否是老生常谈，由于从前的加密货币购买导致了很大的分歧。
　　但是反对者有担心的理由，如果网络不如计划的那样，交易可能就不会如用户预期的那样，或者智能合约规则可能不合理。因此以太坊工程师尝试开发出“最终性”性能。
　　其他人对混合方法保持怀疑。
　　区块链科技公司IOHK首席执行官Charles Hoskinson说，“我不确定阶段转换是否明智，你要么对共识算法有信心，要么没有信心”。
　　必须注意IOHK积极参与了ethereum classic的开发，它被看作以太坊的竞争者。
　　“给网络增加未经测试或不安全的组建，然后等着看结果是坏主意，同行评审又在哪里呢?他们向什么会议提交了合适的白皮书，获得什么反馈了呢?”
　　但是对“新兴加密经济领域”的一些人来说，这个交互是令人激动的。Floersch说Casper中经济与加密货币的结合可能应用于其他全球问题。
　　“当然权益证明是很酷的问题，但是我仔细思考觉得还会有其他加密经济比特币价格的应用，我认为这是全新领域的机制，可以利用经济提供期待的结果”。
　　“Casper是这样做的第一个”。