交易所

技术 | 形式化验证Gasper共识机制的终局性(finalization)

Gasper 是一个由信标链协议(即将到来的以太坊 2.0 网络的底层协议)实现的抽象的权益证明协议层。Gasper 的关键部分就是一套终局性机制(finality mechanism),用于保证交易的持存性(durability)和系统的不间断运作不会被攻击破坏。
我们很高兴宣布,Runtime Verification 和以太坊基金会长久合作中的另一大里程碑圆满成功:我们开发了一套形式框架来模拟和验证信标链协议,并成功形式化地证明了 Gasper 终局性的正确性(correctness);并[……]

更多…

区块链

以太坊 2.0 信标链如何进行状态转换?

信标链由区块和不断递进的状态组成;区块被产出、签名、传遍网络,然后用于更新状态。下图展示了主要的相互关系:

– 实线表示聚合关系,虚线表示依赖关系。即发出箭头的部分是 聚合/依赖 于箭头所指向的内容的 –
此图基于以太坊 2.0 详述的 0.10.1 版所绘。与刚发布的 0.11.0 版本相比,上图描述的内容在计算 Domain 的部分有些微区别,但整体关系与前一版本一致。
创建一个新的区块
创建区块,要从当前的区块链顶部开始。
如果当前存在一条短的分叉链(例如,某个时隙因为其中的区块传播速度[……]

更多…

币爱快讯

NEAR Protocol 参考客户端已实现无偏见、不可预测随机信标

币爱消息,NEAR Protocol 参考客户端已实现无偏见、不可预测的随机信标。NEAR Protocol 表示,NEAR Protocol 发布的首个版本将使用更简单的随机信标非现参考客户端版本,在该简单随机信标中,随机值只是当前区块生产者的随机信标的先前输出,然后通过可验证随机函数输出的值,与以太坊 2.0 在 VDFs 信标可用之前所使用的随机信标非常相似,也和 Elrond 的随机信标机制相同。NEAR Protoocl 同时表示,一旦发布无偏见、不可预测随机信标,所有 NEAR 平台[……]

更多…

区块链

科普 | Eth2 信标链:你首先该知道的事(上)

作者: ethos.dev
翻译: 阿剑
来源:以太坊爱好者

还记得自己第一次对区块链世界发出 “原来如此” 感叹时候的喜悦吗?
想不想对信标链(Beacon Chain)也有这么透彻的理解?
信标链是整个 Eth2 系统的核心;但关于信标链的内容,大多都仅仅是在搬弄技术词汇,很琐碎,也不够深刻。
在这里,我们会提供对信标链诸要素和机制的透彻解读。我们也会提供例子,恰如其分地点出关键细节,使你能事半功倍。
我们假定,你已经拥有对以太坊区块链或者比特币区块链的坚实理解,也熟悉权益证明(Proo[……]

更多…

比特币

以太坊2.0:信标链验证者的旅程

前言:以太坊phase 0的核心是信标链,它负责协调以太坊网络。作为验证者,Ta是如何参与ETH2.0网络的?本文从验证者的视角非常简洁地阐述了验证者的参与过程,很适合想成为ETH2.0网络验证者的读者阅读。本文作者是Alex T,由“蓝狐笔记”的“SIEN”翻译。
本文试图用简单的语言来解释信标链的工作方式。在ETH2.0中,信标链是整个网络的骨干,以非常复杂的方式协调所有一切,因此,下面的阐述有意地进行了大量的简化。为了简单起见,我将主要考虑网络和验证者正常工作的情况,并忽视大多数毫无疑问会[……]

更多…