DEVCON2：Vlad Zamfir 一个建构正确的非同步Casper条款

记者：Cathy

今天会介绍与自动构建正确Casper的研究。先介绍下共识机制背景，然后谈下我的看法，以及与之前文件的关系。

什么是共识协议，共识协议实际就是做一个决定，就是一个决策概念。达成共识是在状态中有一个协议，所有遵守协议的节点都做出决定，如果他们做一个决定，他们始终会做这个决定，这样就是安全的。就是在固定时间内，他们一定会做出决定。这些都是动态与安全的概念。安全性就是，一个节点决定一件事，其他节点都会达成共识。异步网络和电脑无关，即有时间假设，通信可以在任何时间进行，反正最终会来到。网络消息的唯一秩序就是协议状态更新的秩序，它一定会到来，只是顺序不定。

FLP证明，不能同时保证“存活”与“安全”。如果通信失败的话，我们不能保证所有人做出决定，也不能在有限时间内做出一样的决定。异步的共识很难，我们需要信息流来做出决定。我们在有限时间内可以达成决定。

拜占庭容错这个词很流行，如果任何节点不遵守协议，那就成为拜占庭。一般有两个结果，在异步网络中，一般可以达到三分之一拜占庭容错。而对异步网络，我们也只可以容忍三分之一的错误。希望大家接受这一前提。

接下来是自动构建的方法，即非同步Casper。我们可以容忍拜占庭行为，但这是有前提的。这是我采取的方法：我们谈到传统共识协议，都称之为区块链世界的确定性，就像确定性价值一样。我们要界定预测的安全性，就需要构建一个敌手，可能需要改变节点预测，如果敌人成功，那么就不安全了。而协议的安全性涉及到节点做的不同决定，所以更容易推测。如果两个节点计算的结果是安全的，那其就需要有共同结果。这就是自动构建正确的方法。预测就是赌注，发送者是校验人，不同的验证人有不同权重。我们用的就是这个数据结构。

数据结构就是一个模型，赌注依赖于另一个赌注。含糊不清是两个赌注含糊不清的意思。关于这一个的预测不是最大权重的预测，这里有最新赌注，每个验证人都有权重，所以我们可以知道每个人有更多权重，然后我们就可以进行分析。这就是拜占庭验证人的定义。

我们想建立拜占庭容错，但是我们不能说你不遵守协议就是拜占庭。只能说你的赌注非法或含糊不清失效或无效，那么就能说是拜占庭。

基本上，在异步网络中，不管是什么沟通或价值，预测都不会改变，也就是在异步网络下，预测永远不变，这样就是安全的。所以我们要通过敌对的人来让网络状况发生改变。

我们还要考虑副作用问题，这一点有两种构建理想攻击者的方式，我们只能允许没有受害预测的赌注。而敌手就是阻碍有不同预测的赌注在网络传播。这就是自动构建的特点，因为两个节点不可能就未来达成共识。因为两个模型都处于异步网络中。所以第一个预测一定有可能改变未来。我们可以在任何地方添加赌注，这就是对等性。关于确保安全性的方法：我们有拜占庭容错，安全性，异步性等。通过添加经济安全的机制，用复杂且高性能的机制来实现工作。

作者：Cathy | 来源：Chainb