ASP:金色观察｜为Casper FFG延长验证epoch区间

以太坊明年就要完成难度炸弹了，这意味着会彻底实施权益证明，不过目前在共识算法细节上仍然在进行讨论研究。

在11月19日，Vitalik在研究者论坛里提到了一个建议，是关于Casper?FFG的，其主要内容我们节选如下：

在CasperFFG保证安全性和活性不变的情况下，允许增加连续epoch之间验证区间来适应延迟。例如，如果epoch100、101未能证明是正确的，则链可以尝试证明epoch102、104、108的合理性，增加了验证区间，这样两个连续尝试的epoch仍然可以成功验证，以便在多个epoch延迟的情况下也可以为我们提供最终结果。

金色晨讯 | 10月24日隔夜重要动态一览:21:00-7:00关键词：美联储、韩国、CME、俄罗斯、灰度

1. 美联储就降低境外转帐信息收集门槛征求公众意见，涉及加密货币；

2. 韩国金融服务委员会称其对朝鲜黑客窃取加密货币不负责;

3. CME已成为第二大比特币期货市场；

4. 俄罗斯央行行长：数字卢布必须确保隐私而非匿名性；

5. 灰度管理的加密资产规模在1天内增长了3亿美元；

6. MineSpot声称正在开设俄罗斯最大的加密货币矿场；

7. 证券日报社副总编辑：区块链代表着新未来和新财富；

8. 外媒：FBI曾调查Ripple 2017年被勒索事件。[2020/10/24]

这个调整是需要对Casper?FFG的共识算法中的验证部分进行修改的。目前还未见讨论成果。为了弄明白为什么提及这个部分的设计，我们尝试用下文理解Vitalik这次的建议。

金色相对论 | 陈军：无币区块链可以赋能实体经济 银行间结算尤为明显:本期金色相对论中，对无币区块链是否能赋能实体经济，杭州量子大学区块链研究院联合执行院长陈军表示，无币区块链是可以赋能实体经济的，但是目前的效果还不是很明显。替代银行间清算系统的联盟链可能是降低交易成本、提升效率最突出的应用了，特别是国际结算，国内最大的基于区块链技术的银行间结算网络已经基本建成，很快会覆盖到整个金融系统，这个效果会体现在跨行转账的实时性、不受时间限制、不受额度限制、手续费更低等方面。

再就是私有链的典型代表，存证服务，即所谓的存在证明，电子合同签订的同时被区块链系统收集记录，同时引入公证处、司法鉴定中心进行联合监管记账，这就构成了电子公正的有效性，这种服务在存证时可以收很低的费用。[2018/9/29]

CasperFFG和CasperFFGCBC是以太坊对权益证明的共识算法研究的两个思路，其对拜占庭容错等算法进行了修订和再研，因此是核心算法问题，应该说这是以太坊最明确的未来以及最核心的技术讨论，其主要的思路是在解决共识算法中的确认问题。

金色财经独家分析 苹果、Google、同花顺等传统互联网巨头相继增加数字货币行情:近日，苹果自带股票软件已添加加密货币，BTC、ETH、BCH、XRP、EOS等货币均已可以添加，可以查看实时与开/收盘价，市值等基本信息，下滑可看到主流外媒发布的最新业内信息。此前，Google、同花顺、百度、搜狗等传统互联网巨头相继增加数字货币行情。此番苹果自带App股市增加同样的功能，说明加密货币作为一种新型的资产，已经逐渐被主流社会认可，并且也已经被苹果所认可。此次苹果自带App股市增加同样的功能，说明加密货币作为一种新型的资产，已经逐渐被主流社会认可，越来愈多的传统机构就加入到数字货币的阵营中来。[2018/5/25]

Vlad最早开始设计机制时，特别是希望Casper可以更强健地抵制寡头形成，并且抛弃掉一些其他算法的问题，比如传统拜占庭容错理论，在彻底改造BFT理论后，则出现了CorrectbyConstruction的方法，即CBC。

而因为CBC对于算法中的验证的设定更复杂，在CBC里定义了一系列规则来确定什么时候区块会敲定确认，并证实关键的“安全性”和“合理活性。

不过以太坊最终把罚没条件从4条简化为2条，就得到了CasperFFG，它被设计为可以覆盖在任何PoW或PoS或其它类型的区块上，用于增加确定性保证。

2017年12月31日CasperFFG在以太坊的Python测试网上测试，不过后来进展缓慢。

2018年6月，以太坊做了一个决定：彻底放弃“用合约实现混合CasperFFG”，追求完全Casper独立链，改变这个设计让整合分片变得更加容易，也就是会直接在2.0上应用。

不过CasperFFG都要求，在每一个“轮次epoch”有完整的验证者集来投票敲定区块，意味着每秒钟都会有数以千计的签名要通过网络发送。即使有BLS签名聚合方案，在几秒内完成“100个确认”安全性也是很难的。

其需要拥有一个强大的链上随机数源来公正地选出提议者，不过链上随机性也是难以实现的，所以最终使用了可验证延迟函数进行了验证计算，消除了提前操纵的可能。

此时，Vitalik还将CasperFFG的实现确定性的时间从2.5个轮次减少到理论上最优的2个轮次。

尽管有可验证延迟函数的进展，但网络延迟的假设还是必要的，这是有效发现攻击的需求，也就因此会出现延长epoch验证区间的思路。

期待在权益证明正式上线时的CasperFFG和CBC。

标签：ASPCasperCASSPEASPO币casper币最新消息Roxe Cashsperax币怎么提现

Pol币热门资讯