到目前为止，我们介绍了什么是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的值足够大时，一笔交易就会被确认。

到这里，本文完毕。