Part 4: Approvers, balances, and double-spends

到目前为止,我们介绍了什么是dags、 random walks以及各种tip 选择算法等。从本文开始,我们将谈论更多与资金相关的概念,并深入了解 transaction A 认证(approves) transaction B 意味着什么。

正如在part1 中所提到的,每一笔交易将包含类似“Alice 给予 bob 10 IOTAs” 这样的内容;而认证任务(approver’s job)则是第一时间去确定Alice 拥有10 IOTAs。

这时,你可能会产生怀疑:IOTAs 的源头在哪?答案很简单,它来源于tangle 在创建第一个 创世交易时,除此之外,IOTAs将不再被创建,换言之,在创世交易创建成功后,IOTAs 的总量已经被确定。从创世交易开始,IOTAs将按项目原始投资者投入的比例转移到各自的账户中。毕竟,初始的交易网络也是因为他们 将一些IOTAs卖给被人而组成的。

我们在次回到 Alice和Bob这个简单的例子。图1-1 代表着一笔简单的交易。为了方便起见,用例中还写明Alice和Bob’s 在交易发生前后各自的余额。在交易发生前Alice的余额为10,Bob的余额为0,交易成功后,Alice的余额为,Bob的余额为10。

图1-1

我们举另外一个例子。Charlie 想向Alice发起一笔 交易,因此,他需要运行tip 选择算法 并认证 Alice是拥有10个IOTAs。当然,如果Charlie认证了Alice 拥有一笔 坏账(bad transaction),那么Charlie 所发起的交易将永远不会被认证。

为了百分百确认Alice的交易是正确的,Charlie 必须从 genesis 交易开始,列举所有直接 或 间接认证Alice 交易的全部交易。我们假设列举的交易集合可能如下:
1.Genesis creates 15i
2.Genesis gives Bob 2i
3.Genesis gives Alice 8i
4.Genesis gives Charlie 5i
5.Charlie gives Donna 3i
6.Bob gives Alice 2i

根据上述列举的交易列表集合,Alice拥有10i,Bob拥有0i,Charlie拥有 2i。并且在Alice和Charlie 在发生交易前后,他俩的余额都必须大于或等于0,否则,系统会认为Charlie 认证了一笔 坏账 或自身的交易行为导致的坏账,不管何种,Charlie所发起的交易一样会被视为无效交易。

图1-2的所展示的是超额扣减的例子

图1-2

在图1-2的例子中,Alice 支付 Bob 100i ,而Alice只有10i,而一个未来的选择并交易认证了该笔交易,但发现改交易存在余额为负数的情况,因此被视为无效交易。

我们在来讨论另外一种认证两比交易的情况:

图1-3

在图1-3的例子中,交易【Bob gives Alic 1i】直接认证了两笔交易【Alice gives Bob 10i】 和【Alice gives Bob 5i】 ,而Alice 的余额是足以支付这两笔交易,并且交易【Bob gives Alic 1i】在余额变更前后都没有出现负数,因此,认证通过。

我们最后在举一个图1-4例子,该例子中,交易【Bob gives Alice 1i】认证了两笔一样的支付,但余额在变更前后都出现负数,这破坏了IOTA的协议,因此【Bob gives Alice 1i】被认为是无效交易,并且该交易也不会被任何别的交易认证。

图1-4

图1-4 的情况我们称之为双花,因为Alice在同一笔支付上 花费了两次,对于IOTA 网络来说,它收到了两笔同样的交易。这里需要注意的是,在交易【Bob gives Alice 1i】没有认证这两笔相同的交易前,Alice并没有破坏IOTA的协议,因为就单独的一笔交易而言,她的余额是是足以支付的。而导致双重支付的原因有多种,并不一定是她故意为之。但不管样,她确实创建了这两条会扰乱IOTA网络的分支。因此,我们需要思考一个问题:因该选择哪个分支交易进行认证?

具体的解决办法是我们part3 中所学的加权步行法。核心的做法是,其中一个分支的权重大于另外一个分支,这样一来,权重较轻的分支就会被抛弃。这样一来,我们必须考虑到,即使一笔交易被认证了,也不能对它立刻做出确认,因为被认证交易所在的分支有可能会被抛弃。那么,一笔交易什么时候才会被确认呢?在下一章节中,我们在深入学习confirmation confidence,当confirmation confidence的值足够大时,一笔交易就会被确认。

到这里,本文完毕。

推荐阅读更多精彩内容

  • 在part4,我们提到了“双花”问题,作为系列文章的最后一章,本文会分析Tangle是如何具体解决该问题,又是如何...
    萝卜头4lbt阅读 368评论 0 0
  • 无网问题描述及安全性分析 SmartMesh重庆智能雷电部 1.背景知识:链接支付 链接支付基于hash时间锁(H...
    rectinajh阅读 341评论 0 1
  • 你伫立在群山之巅 遥望万物众生 你蓄意窥探游弋在山峦脚下的死海 却从嘶哑的喉咙里 发出微弱的叹息 你多想纵身一跃 ...
    笙筱呦阅读 147评论 2 5