Gasper
-
技术 | 形式化验证Gasper共识机制的终局性（finalization）
Gasper 是一个由信标链协议（即将到来的以太坊 2.0 网络的底层协议）实现的抽象的权益证明协议层。Gasper 的关键部分就是一套终局性机制（finality mechanism），用于保证交易的持存性（durability）和系统的不间断运作不会被攻击破坏。 我们很高兴宣布，Runtime Verification 和以太坊基金会长久合作中的另一大里…
-
洒脱喜一周评 | 6年磨剑，以太坊PoS魔法的前世今生
写在前面： 在未来的几个月内，除了比特币产量减半这一确定性事件，还有一件事，也将成为区块链行业人士的关注焦点，这便是以太坊PoS链的上线。对于Vitalik Buterin而言，以太坊从PoW转向PoS的理由有很多，例如避免51%攻击、节能、提高可扩展性等，而这一计划从以太坊诞生之初便已存在，6年间其经历了数个版本的改进，并在近期迎来了最新的版本—— Gas…
