CAS:以太坊的权益证明机制:下一个实验

我希望你深刻地意识到,区块链技术的发展受到这些安全模型的意涵的驱动。正如控制者团队的NickTomaino写的那样,“加密经济学是这整场运动的基本催化剂”。

要评估设计协议的缓解这些安全模型中现存的和理论上的缺陷的能力,开发者们使用这两个概念:

第一个,加密经济学安全边际,衡量那些违反一个协议保证所带来的结果。理论上来说,因为攻击者可以0成本发动P+epsilon攻击,只要他/她有那个预算,比特币的工作量证明系统可以说只有0的加密经济学安全边际!

动态 | 以太坊2.0工作进展:Least Authority将对第0阶段全面审核,Eth2 v0.10.0版本计划于1月发布:12月19日,以太坊官方博客更新ETH 2.0工作进展。博客内容显示,以太坊已授权计算机科学技术公司Least Authority进行ETH 2.0第0阶段全面审核,重点针对关键项目,例如拒绝服务(DoS)攻击,可能导致意外分支、对抗链资源滥用攻击,与网络相关、资金相关的任何攻击等。此外,ETH 2.0工作进展还包括:

1. 以太坊开发团队Sigma Prime正式发布第一个具有主网配置的Eth2公共测试网Lighthouse(此前12月11日已报道);2. 以太坊客户端Nimbus集成本机nim-libp2p,将于下周在测试网中启动。

3. Bitfly开源eth2区块浏览器beaconcha.in增加对Lighthouse的支持;

4. Eth2规范版本v0.9.3已发布,该版本进行了测试修复和网络更新。

同时,v0.10.0版本计划于1月发布,将致力于将新的BLS标准集成到核心Eth2规范中。[2019/12/20]

加密经济学证明在某种程度上也是相似的;这是一份来自网络中某参与者的保证或者信息,断言某物为真。若在某个事件中证明它并不为真,该参与者就将失去一定数量的金钱。

声音 | ETH 2.0协调人员:以太坊开发人员将分片从1024个减少到64个:ETH 2.0协调人员Danny Ryan表示,以太坊开发人员似乎在最后一刻对ETH 2.0做了一些更改,将分片从1024个减少到64个,同时为“phase 0”配备了“干净状态(clean slate),并在其上设计了“phase 1”。Ryan 最近“根据围绕替代的phase 1提案的讨论”对代码进行了一些更改,以便从“phase 0完全删除Shard和Crosslink的概念”。他指的是以太坊的联合创始人V神的提议。据此前报道,V神在推特转发其关于Eth2分片链简化的提案,提议减少分片数量,以加速分片项目落地。(trustnodes)[2019/10/23]

让我们来检验一下今时今日区块链技术领域最具雄心的项目——即将到来的以太坊Casper更新,它尝试通过将平台从工作量证明调整为权益证明来直捣黄龙。一场关于Casper的权益证明机制的复杂之处的讨论将超出这篇文章的范围,但简而言之,权益证明尝试提供一个非常巨大的加密经济学安全边际,通过强制要求大笔的以太坊安全保证金,代替计算机算力,以实现验证者的功能。这一安全保证金,或说加密经济学证明,成了一个强有力的威慑。其含义是一目了然的——制造麻烦,你就将失去一切!

动态 | 和众筹合约依然是以太坊吸金大户,某合约流入的ETH超过10000枚 ?:据第三方大数据机构RatingToken监测数据显示,过去7日新创建的合约中,排名前三的合约流入ETH都超过了5000枚。排名第一的合约(0x5654c8a885)共有12251枚ETH流入,从反编译的代码发现该合约是一个类Fomo合约,主要交易发生在24小时之内。排名第二的合约(LTOTokenSale)共有7981个ETH流入,是LTO Network区块链项目的众筹合约。[2019/1/17]

Casper强制参与者加入一个谢林币游戏。参与者们被强制要求将他们的安全保证金押在多数人将下注的事情上。使用同样的递归逻辑,多数参与者将准确地投票给有效的交易,因为每个参与者都预期其他人得出同样的结论。情形就是如此,权益证明可以抵抗P+epsilon攻击,因为在他们最终将投票给少数方的情形中,攻击者将不得不可信地展示巨额的预算以补贴参与者的安全保证金。

在这些安全模型的环境下,我们可以看出Casper的弹性集中在不协调选择模型中,且源自贿赂攻击者。Casper在理论上同样对起源于合作攻击者模型的51%攻击敏感。但是,就像比特币,以太坊将做出如此攻击的成本提高到如此高昂的地步,以至于几乎完全地遏制了它。在Casper的环境下,失去所有相关权益的威胁是一个更强有力的震慑。要获取更多关于Casper进展的信息,请经常查看VladZamfir的文章。

虽然Casper的许多元素是高度理论化的,权益证明协议自身也激起了关于公平份额的辩论,但有证据表明:这一转变几乎完全在加密经济学的意料之中,也意味着解决了工作量证明系统的许多不足。缓慢但坚定地,区块链空间里的思考者们在我们对去中心化数字经济中最优协议设计的认识上进一步覆地翻天。

一些针对整个区块链技术的批评者们对这样一种理念感到很不自在:今天,太多攻击途径仅在理论上是可行的。我认为这样一种想法没什么意思:只要有足够的金钱和时间,一个攻击者将总是能够破坏任何系统。在最坏的情况下,加密经济学也如坚实壁垒般伫立,努力让这些攻击变得尽可能昂贵、困难而且不可取。

因为我们将走向一个图灵完备的智能合约时代,这一领域必将变得更加复杂而激动人心。

原文来自:https://medium.com/@kaistinchcombe/ten-years-in-nobody-has-come-up-with-a-use-case-for-blockchain-ee98c180100

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金星链

[0:31ms0-1:63ms