【翻译】以太坊:一款安全的、去中心化的、概括性的交易账本(二)

2.区块链范式 总体来说,以太坊可被视作是一套基于交易的state机制:我们从初始state开始递增地执行交易,来将之转变成某些最终的state。这个最终的state是我们接受的以太坊世界的规范“版本”...

2.区块链范式

总体来说,以太坊可被视作是一套基于交易的state机制:我们从初始state开始递增地执行交易,来将之转变成某些最终的state。这个最终的state是我们接受的以太坊世界的规范“版本”。这一state能够包含诸如账户余额、声誉、征信配置、结合现实世界信息有关的数据等;一句话,只要能被计算机表达的都能被允许。因此交易代表了两个state之间的一个合法的桥梁;“合法”的部分是重要的——因为相对于合法的state改变还存在有更多非法的state改变。非法的state改变可能是,举例来说,减少账户余额同时并没有在其他地方有一笔相等和相反的金额增加。合法的state改变是通过交易产生的。用公式表示是:

attachments-2017-08-FJAl9WIA598bd3e49574f.PNG

这里γ是以太坊state变化函数。在以太坊中,γσ相对于任何存在的系统来说都更强大;γ允许各组成部分执行任意的计算,而σ允许各组成部分在交易间存储任意的state。

交易被整理成为区块;各个区块又使用哈希加密作为参考被连成链。区块功能作为账本,将一系列交易记录在一块,,既有前面的区块又有对最终state的识别(尽管并没有存储最终state本身——它可能会很庞大)。它们也通过激励来强调从节点到我的交易序列。这项激励机制发生在state改变函数当中,将一个价值加到被定义的账户之中。

挖矿是一个这样的过程,奉献自己的努力(工作)来支撑一系列交易(一个区块)胜过其他潜在的竞争区块。这得感谢加密安全验证。该设计便是工作量证明,将在11.5中详细讨论。

正式地,我们希望:

attachments-2017-08-88DcihwV598bd43ec364d.PNG

这里的Ω表示区块-定型state变化函数(这个函数是对被提名团体进行奖励);B表示一个区块,它包含一系列交易在其他构成元素之中;然后是区块等级state变化函数。

这是基本的区块链范式,这个模型塑造了网络的骨干,不仅是在以太坊,一切去中心的以共识为基础的交易系统都遵循。

    

2.1 价值.

为了在网络上对计算过程进行激励,需要价值转移的方案被认可。针对这一问题,以太坊有一个内部通货,以太币,也即ETH,有时候指的是旧的英文D。以太币的最小票面价值即所有整数值都可以以这个为

attachments-2017-08-oCZ9Qa9N598bd48e47810.PNG


就目前的工作来看,在以太币的情形中,自始至终任何形式的价值,例现金、账、或支付都必须用Wei这个单位来衡量。

 

2.2 哪段历史?

由于系统是去中心的,每个参与者都有机会创建一个新的区块在旧的已经存在的所有区块上,结果必然是形成一个区块树形结构。为了形成一个这样的共识,即从根(创始区块)到叶(含有最多最近交易的区块)建立这个树结构的路径,即常说的区块链,必须建立在经商定的设计上。假如在节点之间,曾有一个关于在区块树上从根到叶的路径的分歧,那么分叉就产生了。

这意味着在及时越过给定的点(区块),系统的多重节点必须同时满足:一些节点相信某个区块包含了权威交易,另一些节点相信其他区块是权威的,潜在暗含彻底不同的或者互相矛盾的交易。因为此不确定性极有可能导致整个系统的信任机制被摧毁,因此这是无论如何要避免的。

我们用以产生共识的设计表是SompolinskyZohar2013)提到的GHOST协议的简化版本。

  • 发表于 2017-08-10 11:20
  • 阅读 ( 685 )

你可能感兴趣的文章

相关问题

0 条评论

请先 登录 后评论
不写代码的码农
涂晶

75 篇文章

作家榜 »

  1. 社区运营-小以 558 文章
  2. 社区运营-小链 244 文章
  3. 于中阳Mercina-zy 79 文章
  4. 涂晶 75 文章
  5. 李晓琼 44 文章
  6. 兄弟连区块链培训 42 文章
  7. 吴寿鹤 36 文章
  8. John-smith 25 文章