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

Unknown view 35 2016-9-20 01:09
share to
Scan QR code with WeChat

DEVCON2:Vlad Zamfir 一个建构正确的非同步Casper条款 (1)

记者:Cathy

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

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

DEVCON2:Vlad Zamfir 一个建构正确的非同步Casper条款 (2)

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

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

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

DEVCON2:Vlad Zamfir 一个建构正确的非同步Casper条款 (3)

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

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

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

DEVCON2:Vlad Zamfir 一个建构正确的非同步Casper条款 (4)

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

作者:Cathy | 来源:Chainb

btcfans公众号

Scan QR code with WeChat

From the Internet
Disclaimer:

Previous: DEVCON2: Lucius Greg Meredith论智能合约的行为类型 Next: Zcash创立者Zooko Wilcox Zcash与以太坊结合的神奇效果

Related