Tangle 初始状态
与区块链技术不同,IOTA 并不是一条有着时间序列概念,每个区块前后相连的链,链中的每个块包含一些交易。在 IOTA 中,每笔交易都可以其他交易连接(所谓连接,就是验证其他交易),并且可并行发生。下面的内容将就如何在 IOTA 中加入交易,验证交易及其共识机制展开。


上图是 tangle 的一个案例,下面内容都会围绕该图展开。绿色交易代表已经被网络以高确定性(high certainty)地确认,蓝色交易是部分确认,也就是确定性较低。灰色(以及下面的黄色)方框表示还没有任何人验证过的 tip (tip 有尖端,尾部的意思,比如手指尖就可以用这个词,这里的 tip 表示 tangle 中最新的尚无人验证的交易)。红色交易,表示有冲突,或无效交易。
在上图中,交易 α 并非一笔普通交易。它引用了交易 h 和 l,由于交易 h 已经被交易 l 引用了, α 会选择一个 tip(l) 和 一个显然不是 tip 的交易(h)。这么做目前似乎并没有问题,网络也允许这样的行为。

加入一笔交易

为了向 tangle 中加入一笔新的交易,用户必须从 tangle 中随机挑选出两个 tip(tip 就是尚未确认的交易),并对两个 tip 进行验证。所谓验证,意味着用户需要检查 tip 的签名,即所谓的 PoW,并确保所选的 tip 与之前的任何交易(无论是直接相关还是间接相关)都没有冲突。如果所选的 tip 是合法的,用户就对其进行引用,也就是加入新的交易。

如果交易既没有被所选的 tip 直接引用,也没有被间接引用,那么对于当前的验证过程来说,这些交易就是不相关的交易。对于不相关交易,会由其他人或是之后的交易来进行验证,并将它们加入到 tangle 中。

另一笔交易

与此同时(其实不必同时,早一点晚一点都无所谓),另一个用户可能正在一个不同的位置加入新的交易。它选择了 tip z 和 y。如此一来,它就在更大的范围上验证了已经验证过的同样交易,即 a 到 k,m 到 n,加上额外的一些没有在交易 1 验证路径上的交易(l, o, r, t, v, y 和 z)。

新的 Tangle 状态

交易 1 和 2 的验证路径有重合之处,我们可以看到有一些交易仅被确认一次,有些交易被确认两次。被当前所有 tip 验证和确认的交易就被认为是完全确认。因此,交易 n 进入 tangle 更深一层,现在变成了绿色。从现在开始,随后所有连接到 1 与/或 2 或者它的孩子,将会保持再验证和再确认的交易状态。

我们已经学到了什么?

没有人需要看到和验证所有的交易。每个用户仅需要选择和验证两笔交易及其父交易。如此一来,他们仅验证了 tangle 的一部分而已。当其他用户选择并验证不同的 tip 和路径,完整 tangle 的协同验证就出现了。

在某个时间点以后,一旦一笔交易在 tangle 中进入足够深的位置,无论从最新的 tip 中的任意一个,无论从直接或是间接路径上它都存在。这样的交易就被认为是完全确认,并且会被每一个新的交易再验证,再确认。我们可以认为它被所有用户(和机器)确认,并且确定性很高。

为了对确认进行检查,接收者只需要检查交易是否被已有的所有 tip 直接或间接引用(或者通过一个确定比率,如果确定性更低的话,比如 80%,也可以接受)。这时候就不需要再验证或是其他类似操作了。注意:可能会有上千个 tip。与其检查每个 tip 的父节点,更可能的是选择一个随机样本,并做一个统计评估。

注意交易 n 还没有被确认,因为现在我们的 tip 比较少。下面会展示更多 tip 的场景。

确认级别

我加入了一些新的 tip 对上例进行了扩展。对于每个新的 tip,它的验证路径都被高亮了。通过颜色,你可以清楚地看到哪些交易被多少 tip 所验证,及其验证等级。

一个商家可能会根据自身情况设定个性化的确认/确定等级。如果交易速度比交易价值更重要(比如微支付或零价值支付),又或者发送方是一个朋友,一个人可能会以 75% 的确认等级接受交易。在 75% 的确定等级(3/4 tip)下,交易 l, o, 和 t 可能也会被确认。

传播延迟

理论上,由于更慢的 PoW 或者传播延迟,可能在稍后出现一笔慢速交易 5。鉴于我们已经知道了交易 5,交易 n 就不会再被所有的 tip 完全确认。但是,他们的确认确定性(confirmation certainty)仍然很高,有 4/5 tip 确认(实际上会有上千而不是 5 个 tip)。记住,所有一切都是为了一个高概率的确定性 -- 就像在区块链里面,区块的每次确认就是增加了确定性的概率。

请注意,本例中的交易 5 的状态并非从 “确认” 转变为 “未确认”。它仅是从改变了数学上精确的确定性比率(比如,如果一共有 100 个 tip,从 100% 到 99%)。一旦一些随后的交易引用了交易 1 和 5,交易 n 就会被所有的 tip 再次完全确认。这样小的确认等级变化将不太可能会发生,更进一步的交易会进入 tangle。

请注意,100% 的确认/确定等级无论如何都很难达到,因为总会出现一些无正面贡献的 tip(比如,引用一些无用的交易,或是根本不遵守协议)。

双花

想象这样一种情况,一个用户在 tangle 的两个不同的地方加入了两笔冲突的交易(w 和 y)。对于随后的用户,在他们的验证路径上可能只有这些冲突交易里面的其中一笔(取决于他们的 tip 选择,和一些可能的传播时延)。比如,加入了交易 1 和 2 的用户就不会看到冲突,并会确认他们所选的 tip。因此,双花就得到了第一次确认。但是,迟早必然会发生的是,这两笔冲突的交易会出现在一笔交易的验证路径上。比如,交易 5 就会看到冲突,继而不会确认选出的 tip。相反,为了确保它自身会是一笔有效的交易,它会重新选择 tip 直到找到不冲突的交易。

依赖于 tip 的选择和 tangle 的推进,在冲突变得逐渐清晰之前,可能会有更多的用户在 w 或 y 后面附加交易。取决于用户在哪里附加最多新的交易,w 或者 y 都会在某个点确认,但是其他会被丢弃。被丢弃交易(因为它们看不到即将到来的冲突)后面的所有交易也会被丢弃。但是,这些交易并不会丢失,而是可能被任何人(但最可能是交易接收方)接受,并为了新的确认机会再次附加到 tangle。这时,PoW 就需要重新来过,但是并不需要从发送方发送新的签名了。

解决双花

上面已经说到,一个用户尝试将交易 5 与 tip 1 和 2 相连。由于冲突,它重新进行选择 tip,并且决定连接到 tip 1 和 4。另一个用户(也可能是同一个)选择 tip 2 和 3 连接到交易 7。虽然出现了多个分支,但是由于 w 和 y的双花,只有一个能够存活。基于 tip 的随机选择(和交易的累积权重),这两个分支的其中一个会接收更多的的子交易(独立的,权重)直到 tangle 进入一个状态,在这个状态里就不可能再合法地附加任一片段。在上面的示例中,用户可能继续与交易 5,6 和 8 相连,但是不会连接到交易 7。因此,交易 y,2,3 和 7 将永远也不会成为一个完全确认的状态。

正如上面所说的,交易 y,2,3 和 7 可能被再次加入 tangle 。只要他们(仍然)是有效的,就会新的机会被确认。交易 2,3 和 7 可能然后被确认,但是交易 y 仍然无效。

离线 Tangle

tangle 能够让用户在离线的情况下,仍然能够继续构建交易,比如在公司内部的局域网,或者在断电的情况下与邻居继续交互。如此,依照协议规定创建交易,并相互连接。

在上面的案例中,交易 1 和 2 是首先离线的一批。它们与在线 tangle(online tangle) 最后已知的 tip 相连。随后的交易与往常一样不断地附加到后面。一旦有向主 tangle(main tangle) 的提交(commit),离线的子 tangle 就会通过创建交易 8 得到最终确定,它会将离线 tangle 与当前在线 tangle 的 tip 进行合并。随后,交易 8 变为一个合法的 tip,并且可供后面的在线交易进行选择和验证。在线连接到交易 8 的下一个用户,将会在他们的验证路径上包含所有的离线交易。

请注意,正如上文,只有当离线交易跟其他交易一样,被加入到主 tangle 中,离线交易才会被完全确认。如果离线分支中的任何交易与主 tangle 冲突,交易 1 到 8 就不会被确认。再一次的,它可能会花费随后几个交易的时间,直至冲突对于主 tangle 的所有(或者大部分) tip 都可见(也就是上面所说的 “双花”)。

本文对应的英文原文地址为:https://github.com/noneymous/iota-consensus-presentation

区块链:IOTA 交易,确认和共识 (DAG)相关推荐

  1. 深度解读物联网区块链“IOTA”:不仅解决IoT痛点,还解决区块链痛点

    就在最近,物联网与区块链接壤的"领地"发生了一件大事. 还记得我之前提到的2017年初,博世.思科.纽约银行梅隆.富士康.金雅拓和3家区块链创业公司联合成立的区块链物联网共同体吗? ...

  2. 【区块链】【IOT】深度解读物联网区块链“IOTA”:不仅解决IoT痛点,还解决区块链痛点

    作者:物女王(彭昭) 物联网智库 原创 转载请注明来源和出处 ------   [导读]   ------ IOTA基金会与微软.富士通.思科.三星以及另外20多家公司合作,为物联网推出了首个可公开访 ...

  3. 云小课 | 区块链关键技术之一:共识算法

    阅识风云是华为云信息大咖,擅长将复杂信息多元化呈现,其出品的一张图(云图说).深入浅出的博文(云小课)或短视频(云视厅)总有一款能让您快速上手华为云.更多精彩内容请单击此处. 摘要:区块链是一种去中心 ...

  4. 广州欧米区块链科技×浙江墨客奇迹区块链科技丨达成战略合作共识

    近日,深圳欧米布洛格科技有限责任公司(下称欧米科技)与浙江墨客奇迹区块链科技有限公司达成合作共识,赋予欧米科技黑猫3D全身款IP图片使用权,并完成战略合作协议的签订. 在广告媒介和网络出版等方面,双方 ...

  5. 解密区块链最强心脏 迅雷链共识算法详解

    11月10日在广州贝塔咖啡举办的迅雷链技术沙龙上,迅雷链底层工程师张骁就迅雷链共识算法的内在细节,向到场的开发者和区块链爱好者做了详细解读.DPoA+PBFT的算法保证了分布式系统中的强一致性和高效率 ...

  6. 【转】突破区块链不可能三角:异步共识组 [Monoxide]

    我们实现了"异步共识组"模型,可以将一个现有的单链共识算法,横向扩展1000倍以上.这样的扩展将使得吞吐量(TPS)提升1000倍以上,同时也将全网计算能力(CPU)提升2000倍 ...

  7. 什么是区块链――区块链的分布式数据库、共识机制

    从狭义上来说,区块链就是一种分布式的数据库,数据结构上就是按时间顺序将数据区块相连的一条链表,链上的每个节点就是一个区块,区块一般通过二叉树(如Merkle Tree)将每笔交易数据打包在一起,形成一 ...

  8. 新加坡电力公司推出区块链市场交易可再生能源

    点击上方 "蓝色字" 可关注我们! 暴走时评: 新加坡电力集团是新加坡的能源公用事业提供商,最近已经推出了一个基于区块链的可再生能源证书市场(RECs).这一区块链平台是公司内部设 ...

  9. 区块链百科合集之共识机制

    原文发布时间 2021-01-06 原"能链科技"现已更名"零数科技" 科技的发展总是超乎人们想象 区块链技术不仅已成为时代浪潮里的坚实着陆地 更是未来可以承载 ...

最新文章

  1. python基础教程第二版答案-《Python基础教程》(第2版修订版)中要注意的地方...
  2. C++ Primer 5th笔记(chap 13 拷贝控制)析构函数
  3. Vijos 1165-火烧赤壁
  4. oracle代码实例,oracle存储过程代码实例
  5. 依赖注入[5]: 创建一个简易版的DI框架[下篇]
  6. jaxl php,php往mysql写数据,中文乱码有关问题
  7. 开发环境配置--Ubuntu+Qt4+OpenCV(二)
  8. 看不到日志_迷之 crontab 异常:不运行、不报错、无日志?
  9. oracle into关键字,oracle - INTO保留关键字不能用作标识符 - 堆栈内存溢出
  10. Java程序员的第一个Python小程序:京东畅销书榜爬虫
  11. OpenG入门之配置lib文件+include文件
  12. java字母大小写转换
  13. ET框架学习——消息系统之四
  14. 移动端rem字体大小适配
  15. ArcMap批量等分割线流程
  16. 自定义字体文件解析成人眼可识别文字
  17. Final Cut Pro如何安装自定义lut?final cut pro的lut安装在哪个文件夹?
  18. BUUCTF——MISC
  19. miui7+android系统版本,用户升级完MIUI 7之后发现居然是Android 4.4,然后就疯了
  20. 我的Linux(ubuntu)自学笔记分享

热门文章

  1. 免费DEM中分辨率最高的ALOS 12.5米 DEM获取方式
  2. 陷波滤波器,matlab代码
  3. 学习计算机网络的教学,BL(混合学习)在计算机网络技术教学中的应用
  4. Cc-Pay多商户收款系统
  5. 【狂神说笔记——Java基础03-方法】
  6. 吉大珠海学院计算机系,杨永健-吉林大学计算机科学与技术学院
  7. 自用机顶盒烽火HG680-KB-KA刷当贝桌面
  8. 将matlab的矩阵输出为txt格式
  9. 价格不断飙升的 GPU,居然「出生」这么晚!一文带你了解 GPU 的前生今世
  10. 开口式电流互感器该怎么选型?