CN113472870A - 基于有向无环图的支持合约的分布式账本共识方法与系统 - Google Patents

基于有向无环图的支持合约的分布式账本共识方法与系统 Download PDF

Info

Publication number
CN113472870A
CN113472870A CN202110709125.1A CN202110709125A CN113472870A CN 113472870 A CN113472870 A CN 113472870A CN 202110709125 A CN202110709125 A CN 202110709125A CN 113472870 A CN113472870 A CN 113472870A
Authority
CN
China
Prior art keywords
vertex
contract
acyclic graph
directed acyclic
vertices
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN202110709125.1A
Other languages
English (en)
Other versions
CN113472870B (zh
Inventor
沈国华
卞书钰
黄志球
杨阳
李井涵
张小玉
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Nanjing University of Aeronautics and Astronautics
Original Assignee
Nanjing University of Aeronautics and Astronautics
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Nanjing University of Aeronautics and Astronautics filed Critical Nanjing University of Aeronautics and Astronautics
Priority to CN202110709125.1A priority Critical patent/CN113472870B/zh
Publication of CN113472870A publication Critical patent/CN113472870A/zh
Application granted granted Critical
Publication of CN113472870B publication Critical patent/CN113472870B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L67/00—Network arrangements or protocols for supporting network services or applications
    • H04L67/01—Protocols
    • H04L67/10—Protocols in which an application is distributed across nodes in the network
    • H04L67/1095—Replication or mirroring of data, e.g. scheduling or transport for data synchronisation between network nodes
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes
    • G06Q40/04—Trading; Exchange, e.g. stocks, commodities, derivatives or currency exchange
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
    • H04L9/3236—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using cryptographic hash functions
    • H04L9/3239—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using cryptographic hash functions involving non-keyed hash functions, e.g. modification detection codes [MDCs], MD5, SHA or RIPEMD
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/50—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols using hash chains, e.g. blockchains or hash trees

Landscapes

  • Engineering & Computer Science (AREA)
  • Business, Economics & Management (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Signal Processing (AREA)
  • Computer Security & Cryptography (AREA)
  • Accounting & Taxation (AREA)
  • Finance (AREA)
  • Economics (AREA)
  • Development Economics (AREA)
  • Marketing (AREA)
  • Strategic Management (AREA)
  • Technology Law (AREA)
  • Physics & Mathematics (AREA)
  • General Business, Economics & Management (AREA)
  • General Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

本发明公开了一种基于有向无环图的支持合约的分布式账本共识方法与系统，属于区块链技术领域。本发明设计了基于有向无环图的去中心化分布式账本数据结构，通过引入强连接、弱连接关系实现有向无环图内的局部全序关系，从而支持智能合约；并通过具备权值更新的顶点添加方法，为并发添加顶点提供可验证的规则；此外，还设计了分叉剪枝方法，利用权值对顶点进行可信或不可信标记，并删除不可信顶点及相关边，解决了现实中分布式账本存在的网络延迟、黑客攻击等问题。与现有技术相比，本发明结合了有向无环图的高并发优势和区块链的全序关系优势，在支持智能合约的基础上，提高了去中心化分布式账本的并发性能，使其应用领域更为开阔。

Description

基于有向无环图的支持合约的分布式账本共识方法与系统
技术领域
本发明公开了一种基于有向无环图的支持合约的分布式账本共识方法与系统，属于区块链技术领域。
背景技术
分布式账本是一种在网络节点之间共享、复制和同步的数据库。按网络节点的结构划分，可分为中心化的结构和非中心化的结构两种。中心化的结构意味着这些网络节点中存在一个核心节点，管理着其他节点，或者在数据库的运作过程中扮演重要角色，一旦该核心节点失效，一个或多个数据库操作便无法进行。去中心化的结构意味着这些网络节点地位平等，不存在一个核心节点，即在一定数量的节点失效时，数据库仍能正常运作。比特币、以太坊和超级账本等区块链平台所使用的基于区块链的数据库就属于去中心化分布式账本。
智能合约是一种旨在以信息化方式传播、验证或执行合约的计算机协议。智能合约允许在没有第三方的情况下进行可信交易，这些交易可追踪且不可逆转，天然地适合与区块链等去中心化分布式账本技术结合，从而开发出去中心化的、基于智能合约的应用程序，实现自动化可信交易等功能。超级账本、以太坊和一些基于以太坊的区块链平台，都是支持智能合约的去中心化分布式账本平台。
目前，不少去中心化的分布式账本采用的是“区块链”数据结构。区块链由一个个“区块”按时间顺序连接而成，形成链表。区块包含了区块头和区块体，区块头中记录着前一个区块的哈希值、当前区块的哈希值，另外还有时间戳和交易数量等元信息。区块体中记录着交易的详细内容，如交易发起方、收款方、金额和时间戳等。一个区块体可以包含一笔或若干笔交易。根据区块链平台的不同，区块链的具体实现有所区别。
但是，去中心化分布式账本的性能问题一直是研究的热点。以以太坊为例，它的吞吐量大约为每秒15笔交易，交易确认延迟大约为10分钟。在实际应用中，这种交易处理能力是远远不足的。为了提高性能，现有一些方法放弃使用基于链表结构的区块链，转而使用基于非链表结构的分布式账本技术，如采用有向无环图。对于有向无环图来说，如果认为图中的每个顶点是一笔交易，新的交易以某种方式连接到现有的图上，由于有向无环图天然地只具备偏序关系，而不具备全序关系，在提高了交易的并发能力从而提高吞吐量的同时，严格的交易顺序变得难以确定。智能合约由于涉及数据状态的有序修改，与分布式账本的结合必然要求分布式账本具备全序关系。如何使得有向无环图具备全序关系从而支持智能合约的同时，分布式账本的性能优良，就变得十分重要。
发明内容
发明目的：针对现有技术的不足，本发明的目的在于提供一种基于有向无环图的支持合约的分布式账本共识方法与系统，在支持智能合约的基础上，提高去中心化分布式账本的并发性能，使得去中心化分布式账本的应用领域更为开阔。
技术方案：为实现上述发明目的，本发明采用如下技术方案：
一种基于有向无环图的支持合约的分布式账本共识方法，所述分布式账本的创世顶点不连接有向无环图的任意顶点，第二个添加到有向无环图的顶点必须连接创世顶点；从第三个添加到有向无环图的顶点开始，顶点类型包括合约定义顶点和合约交易顶点，网络节点在定义一个新的智能合约时，或者根据现有的智能合约及其状态发起一笔新的交易时，向有向无环图中添加顶点，并将账本同步到网络中的其他网络节点，具体顶点添加的步骤包括：
为即将添加到有向无环图中的新顶点赋权值，所述权值为正整数；
预选择零个或一个可被强连接的顶点，预选择一个或多个可被弱连接的顶点，然后将新顶点强连接到预选择的可被强连接的顶点上，并弱连接到所有预选择的可被弱连接的顶点上；所述强连接满足新顶点与预选择的顶点含有相同的合约编号，所述弱连接满足新顶点与预选择的顶点含有不同的合约编号；
对有向无环图中顶点的权值进行更新。
作为优选，顶点选择策略是：如果新顶点的类型是合约定义顶点，则不选择可被强连接的顶点，且预选择至少两个可被弱连接的顶点；如果新顶点类型是合约交易顶点，则预选择一个可被强连接的顶点，预选择至少一个可被弱连接的顶点。
作为优选，预选择可被强连接的顶点时，选择有向无环图中所有可被强连接的顶点集合中最新的一个顶点。
作为优选，根据如下方法预选择可被弱连接的顶点：
首先根据新顶点的合约编号和交易编号代入生成伪随机数的函数中，获取多个输出值；
然后选取前k个输出值，每个输出值均在由有向无环图中已存在的合约编号构成的集合里；其中k为配置的最大弱连接数；
再从选取的输出值中，选择一个以该输出值为合约编号的顶点，且该顶点是在所有以该输出值为合约编号的顶点中最新添加到有向无环图的，至多选择k个顶点作为预选择可被弱连接的顶点。
作为优选，所述创世顶点的合约编号、交易编号与权值均为0。
作为优选，根据如下方法更新有向无环图中顶点的权值：
新顶点所属的强连接链包含的除该新顶点以外的每个顶点的权值w修改为
Figure BDA0003132581250000031
其中，w′为更新后的权值，th为配置的顶点可信阈值；
新顶点所属的弱连接链包含的除该新顶点以外的每个顶点的权值w修改为
Figure BDA0003132581250000032
其中，
Figure BDA0003132581250000033
表示自然数；新顶点所属的弱连接链指被所述新顶点弱连接的顶点所属的强连接链的中所有顶点的集合。
作为优选，为避免由于网络延迟、黑客攻击导致网络节点并不能总是将一个合约交易顶点与最新的与其合约编号相同的顶点强连接，网络节点在添加顶点后，还根据如下方法对有向无环图进行分叉剪枝：
在新顶点添加完毕后，扫描该顶点所属的强连接链与弱连接链，将链上所有权值小于等于可信阈值的、且未标记为“可信的”顶点，标记为“可信的”；其中顶点v所属的弱连接链指被顶点v弱连接的顶点所属的强连接链的中所有顶点的集合；
然后在被新标记为“可信的”顶点所强连接的先序顶点，如果被其他顶点强连接，则将其他这些顶点标记为“不可信的”；
再将强连接被标记为“不可信的”顶点的顶点标记为“不可信的”，直至不再有顶点强连接被标记为“不可信的”顶点；
最后删除所有被标记为“不可信的”顶点，及有关的边。
基于相同的发明构思，本发明提供的一种基于有向无环图的支持合约的分布式账本共识系统，所述分布式账本的创世顶点不连接有向无环图的任意顶点，第二个添加到有向无环图的顶点必须连接创世顶点；从第三个添加到有向无环图的顶点开始，顶点类型包括合约定义顶点和合约交易顶点；所述系统包括多个网络节点，所述网络节点设有顶点添加模块，用于在定义一个新的智能合约时，或者根据现有的智能合约及其状态发起一笔新的交易时，向有向无环图中添加顶点；所述顶点添加模块包括：
新顶点赋权值单元，用于为即将添加到有向无环图中的新顶点赋权值，所述权值为正整数；
现有节点连接单元，用于预选择零个或一个可被强连接的顶点，预选择一个或多个可被弱连接的顶点，然后将新顶点强连接到预选择的可被强连接的顶点上，并弱连接到所有预选择的可被弱连接的顶点上；所述强连接满足新顶点与预选择的顶点含有相同的合约编号，所述弱连接满足新顶点与预选择的顶点含有不同的合约编号；
权重更新单元，用于对有向无环图中顶点的权值进行更新；
以及同步单元，用于将账本同步到网络中的其他网络节点。
进一步地，所述网络节点还设有分叉剪枝模块，用于对有向无环图进行分叉剪枝；包括：
可信顶点标记单元，用于在新顶点添加完毕后，扫描该顶点所属的强连接链与弱连接链，将链上所有权值小于等于可信阈值的、且未标记为“可信的”顶点，标记为“可信的”；其中顶点v所属的弱连接链指被顶点v弱连接的顶点所属的强连接链的中所有顶点的集合；
直接不可信顶点标记单元，用于在被新标记为“可信的”顶点所强连接的先序顶点，如果被其他顶点强连接，则将其他这些顶点标记为“不可信的”；
间接不可信顶点标记单元，用于将强连接被标记为“不可信的”顶点的顶点标记为“不可信的”，直至不再有顶点强连接被标记为“不可信的”顶点；
以及剪枝单元，用于删除所有被标记为“不可信的”顶点，及有关的边。
基于相同的发明构思，本发明提供的一种计算机系统，包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序，所述计算机程序被加载至处理器时实现所述的基于有向无环图的支持合约的分布式账本共识方法。
有益效果：本发明通过在有向无环图中引入“合约编号”和“强连接”等概念，并添加一些约束条件，形成一种新型基于有向无环图的分布式账本数据结构，使得在具有相同合约编号的顶点之间具备了全序关系，从而实现了基于有向无环图的分布式账本对智能合约的支持。此外，本发明提供的顶点添加算法和分叉剪枝算法解决了因网络延迟、恶意攻击等原因导致的异常现象，为分布式账本的安全性和可靠性提供了保证。
附图说明
图1为本发明实施例的共识流程图。
图2为本发明实施例中基于有向无环图的分布式账本数据结构示意图。
具体实施方式
下面结合附图和具体实施例对本发明做进一步说明。
本发明设计了基于有向无环图的去中心化分布式账本数据结构，通过引入强连接、弱连接等关系实现有向无环图内的局部全序关系，从而支持智能合约。具体而言，该基于有向无环图的分布式账本数据结构，包括如下内容：
(1)创世顶点不连接有向无环图的任意顶点；
(2)第二个添加到有向无环图的顶点必须连接创世顶点；
(3)从第三个添加到有向无环图的顶点开始，顶点必须至少连接两个有向无环图中已有的顶点；
(4)从第三个添加到有向无环图的顶点开始，顶点类型可选以下两种类型其一：合约定义顶点、合约交易顶点；
(5)第二个添加到有向无环图的顶点类型必须为合约定义顶点；
(6)每个顶点含两个编号，一个是合约编号，一个是交易编号，且每个交易编号均不相同；
(7)当添加到有向无环图的顶点的类型为“合约定义顶点”时，顶点的合约编号不得与有向无环图中任意其他顶点的合约编号相同；
(8)当添加到有向无环图的顶点的类型为“合约交易顶点”时，顶点的合约编号必须属于在有向无环图中所有顶点的合约编号构成的集合；
(9)当添加到有向无环图的顶点的类型为“合约交易顶点”时，顶点必须强连接有向无环图中的一个顶点，并弱连接有向无环图中至少一个顶点。
其中，“创世顶点”的含义是，第一个添加到有向无环图的顶点。
其中，“顶点A连接顶点B”的含义是在有向无环图中添加一条由顶点A指向顶点B的有向边，然后对顶点B包含的业务数据执行哈希计算，将计算后的结果保存到顶点A中。
其中，“顶点A强连接顶点B”的含义是顶点A连接顶点B，且满足顶点A与顶点B含相同的合约编号。
其中，“顶点A弱连接顶点B”的含义是顶点A连接顶点B，且满足顶点A与顶点B含不同的合约编号。
基于上述分布式账本数据结构，本发明实施例提供的还提供分布式账本的共识方法如图1所示，主要包括顶点添加和分叉剪枝两个部分。其中，顶点添加和分叉剪枝是由网络节点基于所述数据结构执行的。
由于每个顶点的交易编号在有向无环图中是唯一的，因此下文以“顶点X”作为“交易编号为X的顶点”的简要表述。
基于有向无环图的去中心化分布式账本数据结构示意图如图2所示。去中心化分布式账本是由若干参与该账本的网络节点(以下简称“网络节点”)所同步的。任意网络节点在向账本中添加新顶点(即定义新合约，或根据合约发起交易)时，必须在其本地执行本发明提供的共识方法，然后将账本同步到其他网络节点。该账本的起始是创世顶点(即顶点0)，该顶点由创建者网络节点创建并同步到其他网络节点。创建者网络节点可以在创世顶点中可以定义该账本的参数以初始化整个账本，如新增顶点的初始权值2init，顶点可信的阈值th，用于选择待弱连接的顶点的合约编号的随机函数Ran(ScNo,VNo,Nonce)和最大弱连接数k等。为了与后继的合约定义顶点与合约交易顶点作区分，创世顶点的合约编号、交易编号与权值均为0。图2展示了一个新增顶点的初始权值2init为32，顶点可信的阈值th为2，最大弱连接数k为3的账本。
账本的第一个智能合约由某个网络节点在账本的第二个顶点(顶点1)中定义，且该顶点必须弱连接创世顶点。从第三个顶点起，顶点类型可以是：合约定义顶点，网络节点在定义一个新的智能合约时添加；合约交易顶点，网络节点根据现有的智能合约及其状态发起一笔新的交易，以改变对应智能合约状态时添加。为了区别不同的智能合约，以合约编号指代不同的智能合约，因此要求合约定义顶点的合约编号必须互不相同。为了确保某笔交易是建立在一个现有的智能合约基础上，该合约交易顶点的合约编号必须与该合约定义顶点的合约编号一致。图2中展示了一个由19个顶点(其中2个被删除)构成的账本。
类似于区块链，每个顶点都必须被若干后继顶点的直接或间接的连接(证明)才可以被认为该顶点所代表的合约定义或者合约交易是可信的。在添加新的合约定义顶点和合约交易顶点时，网络节点都可以证明与自己无关的(合约编号不同的)顶点所代表的合约定义或合约交易是正确的，即通过计算被证明的顶点的哈希值，并将该值添加到新顶点中，从而将新顶点与该被证明的顶点弱连接。在添加合约交易顶点时，网络节点可以且必须证明与自己有关的(合并编号相同的)智能合约的定义(合约定义顶点)与先序状态(先序合约交易顶点)是正确的，即通过计算与新顶点同合约编号的最新现有顶点的哈希值，并将该值添加到新顶点中，从而将新顶点与该现有顶点强连接。图2展示了一个含5个智能合约、13个合约交易(其中2个合约交易顶点被删除)的账本。
为了规范在账本中添加顶点的方法，从而使网络节点在同步新顶点时，新顶点具备可验证性，本发明实施例提供的基于有向无环图的支持合约的分布式账本共识方法中，顶点添加步骤，包括：
(1)为新顶点赋权值：网络节点在有向无环图中添加新顶点时，为该新顶点赋一个固定的权值，除对创世顶点的权值赋为0以外，其余顶点的权值均为正整数；
(2)连接现有顶点：网络节点根据顶点选择策略预选择零个或一个可被强连接的顶点，预选择一个或多个可被弱连接的顶点，然后将新顶点强连接到预选择的可被强连接的顶点上，并弱连接到所有预选泽的可被弱连接的顶点上；
(3)权值更新：网络节点根据权值更新算法修改有向无环图中所有顶点的权值。
根据步骤(1)，为新顶点赋的权值是一个固定值。图2显示最新的顶点3具有权值32，表明对于图2展示的账本，网络节点必须向新顶点赋权值32。
步骤(2)中，顶点选择策略是：如果新顶点的类型是合约定义顶点，则不选择可被强连接的顶点，且预选择至少两个可被弱连接的顶点；如果新顶点类型是合约交易顶点，则预选择一个可被强连接的顶点，预选择至少一个可被弱连接的顶点。
预选择可被强连接的顶点时，选择有向无环图中所有可被强连接的顶点集合中最新的一个顶点。
预选择可被弱连接的顶点包含如下步骤：
(a)为创世顶点添加一个函数Ran(ScNo,VNo,Nonce)，如果创世顶点中已存在一个函数，则跳过该步骤；
其中，Ran(ScNo,VNo,Nonce)是一个以ScNo、VNo和Nonce为自变量生成伪随机数的函数，其值域为
Figure BDA0003132581250000081
其中，ScNo为合约编号，VNo为交易编号，Nonce为一个自然数，SCMAX为该有向无环图所允许的最大合约编号值。
(b)将新顶点的ScNo值和VNo值代入步骤(1)函数，令Nonce分别为1,2,3,……,n，从函数获取输出值a1,a2,a3,…,an；
(c)选取前k个步骤(b)中输出值，其中，每个输出值均在由有向无环图中已存在的合约编号构成的集合里；
(d)对每个由步骤(d)选取的输出值，选择一个以该输出值为合约编号的顶点，且该顶点是在所有以该输出值为合约编号的顶点中最新添加到有向无环图的，至多选择k个顶点作为预选择可被弱连接的顶点。
根据步骤(2)，除第二个顶点(顶点1)以外的合约定义顶点必须弱连接至少两个顶点，合约交易顶点必须强连接一个顶点并弱连接至少一个顶点。图2显示合约定义顶点12弱连接了顶点10、顶点5和顶点0；合约交易顶点70强连接了顶点12并弱连接了顶点15。
步骤(3)的权值更新算法，即：
(a)为新顶点赋权值2init；
(b)新顶点所属的强连接链包含的除该新顶点以外的每个顶点的权值w修改为
Figure BDA0003132581250000091
其中，th为一个正整数；
(c)新顶点所属的弱连接链包含的除该新顶点以外的每个顶点的权值w修改为
Figure BDA0003132581250000092
其中，th为一个正整数。
其中，“顶点vn所属的强连接链”的含义是由以下步骤产生的集合S：
(a)将顶点vn添加到集合S中；
(b)如果存在顶点vn-1，顶点vn强连接了顶点vn-1，则将顶点vn-1添加到集合S中，然后令n自减1；
(c)重复步骤(b)，直至不存在一个顶点被集合S中的任何元素强连接。
其中，“顶点v所属的弱连接链”的含义是由以下步骤产生的集合W：
(a)如果顶点v弱连接了顶点v1，v2，v3，…，vn，则将顶点v，v1，v2，v3，…，vn各自所属的强连接链中的所有元素添加到集合W中。
对于图2展示的账本(2init＝32，th＝2，k＝3)，若某个网络节点试图将一个新顶点3(合约编号为3)添加到其中，首先需要为顶点3设置权值32，然后将其强连接到顶点77。根据步骤(2)中顶点选择策略中的弱连接顶点的预选择方法，再选择1至3个顶点进行弱连接。该网络节点选择了顶点25和顶点98这两个顶点，将顶点3与它们进行弱连接。连接完成后，网络节点还需对所有涉及到的顶点进行权值更新：对于顶点3所属的强连接链中的顶点77、74、84、70、12，权值从32、16、8、4、2更新为16、8、4、2、2，对于顶点3所属的弱连接链中的顶点25、44、8、31、10、1、98，权值从35、19、11、7、2、2、32更新为36、20、12、0、2、2、33。
对于顶点70、12、10、1，由于权值均为2，已经小于等于阈值th，因此在权值更新过程它们的权值保持不变；而对于顶点31，权值w＝7，且
Figure BDA0003132581250000093
Figure BDA0003132581250000094
(w+1)＝2m，因而更新后的权值为0，同样小于等于阈值th。对于一个顶点，随着被直接、间接强连接的次数增多，类似于区块链，其可信程度越来越高，其权值最终会在有限次数内稳定在阈值或阈值以下；一个顶点被直接、间接弱连接的次数增多，同样可以表明其可信程度越来越高，其权值同样会在有限次数内稳定在阈值或阈值以下。因此，可以认为权值一旦小于等于阈值，该顶点就具备了相当高的可信程度，使其能被大多网络节点所共同认可(即共识)，从而为分叉剪枝算法提供铺垫。
由于现实中存在的网络延迟、黑客攻击等原因，网络节点并不能总是将一个合约交易顶点与最新的与其合约编号相同的顶点强连接。举例来说，如图2，如果网络节点间的延迟为1秒，在1秒内有两个不同的网络节点向各自的本地账本各添加了顶点31和顶点15(合约编号均为1)。从整个分布式账本网络的全局来看，这两个顶点的添加时间总是有先有后的，但对于这两个网络节点来说，由于两个顶点添加间隔时间太短，在向各自的本地账本添加顶点时，合约编号为1的最新顶点都是10，从而造成了对规则“一个合约交易顶点必须强连接最新的与其合约编号相同的顶点”的破坏。如何取舍顶点31和顶点15是分叉剪枝算法所要做的。
本发明实施例提供的基于有向无环图的支持合约的分布式账本共识方法中，分叉剪枝步骤包括：
(1)标记可信顶点：在新顶点添加完毕后，扫描该顶点所属的强连接链与弱连接链，将其中所有权值小于等于th的、且未标记为“可信的”顶点，标记为“可信的”；
(2)标记直接不可信顶点：在步骤(1)中被新标记为“可信的”顶点所强连接的先序顶点，如果被其他顶点强连接，则将其他这些顶点标记为“不可信的”；
(3)标记间接不可信顶点：将强连接被标记为“不可信的”顶点的顶点标记为“不可信的”，直至不再有顶点强连接被标记为“不可信的”顶点；
(4)分叉剪枝：删除所有被标记为“不可信的”顶点，及有关的边。
其中，“分叉”的含义是，由于网络延迟、恶意攻击等现实原因，一个或多个类型为“合约交易顶点”的新顶点未强连接到最新的可被强连接的顶点，导致多个顶点强连接到同一个顶点的现象。
其中，“剪枝”的含义是，将部分顶点和与这些顶点有关的边删除，使得含相同合约编号的顶点依次连接构成一条链。
如图2所示，在顶点3添加之前，顶点10被顶点31和顶点15强连接，产生了分叉，相关的顶点25、44、8、31、16、15的权值分别为35、19、11、7、32、16。顶点3添加完毕后，权值更新为36、20、12、0、32、16。由于顶点31相对于顶点15“率先”进入可信区间(即权值小于等于阈值)，因而顶点31被认为比顶点15更可信。根据分叉剪枝算法，将顶点31及其后继顶点暂时保留，网络节点需要将顶点15及其后继顶点16作为不可信顶点从账本中删除，从而实现分叉剪枝。
基于相同的发明构思，本发明实施例公开的一种基于有向无环图的支持合约的分布式账本共识系统，系统中包括多个网络节点，所述网络节点设有顶点添加模块，用于在定义一个新的智能合约时，或者根据现有的智能合约及其状态发起一笔新的交易时，向有向无环图中添加顶点；所述顶点添加模块包括：
新顶点赋权值单元，用于为即将添加到有向无环图中的新顶点赋权值，所述权值为正整数；现有节点连接单元，用于根据顶点选择策略预选择零个或一个可被强连接的顶点，预选择一个或多个可被弱连接的顶点，然后将新顶点强连接到预选择的可被强连接的顶点上，并弱连接到所有预选择的可被弱连接的顶点上；所述强连接满足新顶点与预选择的顶点含有相同的合约编号，所述弱连接满足新顶点与预选择的顶点含有不同的合约编号；权重更新单元，用于对有向无环图中顶点的权值进行更新；以及同步单元，用于将账本同步到网络中的其他网络节点。
网络节点还设有分叉剪枝模块，用于对有向无环图进行分叉剪枝；包括：可信顶点标记单元，用于在新顶点添加完毕后，扫描该顶点所属的强连接链与弱连接链，将链上所有权值小于等于可信阈值的、且未标记为“可信的”顶点，标记为“可信的”；直接不可信顶点标记单元，用于在被新标记为“可信的”顶点所强连接的先序顶点，如果被其他顶点强连接，则将其他这些顶点标记为“不可信的”；间接不可信顶点标记单元，用于将强连接被标记为“不可信的”顶点的顶点标记为“不可信的”，直至不再有顶点强连接被标记为“不可信的”顶点；以及剪枝单元，用于删除所有被标记为“不可信的”顶点，及有关的边。
基于相同的发明构思，本发明实施例公开的一种计算机系统，包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序，该计算机程序被加载至处理器时实现所述的基于有向无环图的支持合约的分布式账本共识方法。

Claims (10)

1.一种基于有向无环图的支持合约的分布式账本共识方法，其特征在于，所述分布式账本的创世顶点不连接有向无环图的任意顶点，第二个添加到有向无环图的顶点必须连接创世顶点；从第三个添加到有向无环图的顶点开始，顶点类型包括合约定义顶点和合约交易顶点，网络节点在定义一个新的智能合约时，或者根据现有的智能合约及其状态发起一笔新的交易时，向有向无环图中添加顶点，并将账本同步到网络中的其他网络节点，具体顶点添加的步骤包括：
为即将添加到有向无环图中的新顶点赋权值，所述权值为正整数；
预选择零个或一个可被强连接的顶点，预选择一个或多个可被弱连接的顶点，然后将新顶点强连接到预选择的可被强连接的顶点上，并弱连接到所有预选择的可被弱连接的顶点上；所述强连接满足新顶点与预选择的顶点含有相同的合约编号，所述弱连接满足新顶点与预选择的顶点含有不同的合约编号；
对有向无环图中顶点的权值进行更新。
2.根据权利要求1所述的基于有向无环图的支持合约的分布式账本共识方法，其特征在于，顶点选择策略是：如果新顶点的类型是合约定义顶点，则不选择可被强连接的顶点，且预选择至少两个可被弱连接的顶点；如果新顶点类型是合约交易顶点，则预选择一个可被强连接的顶点，预选择至少一个可被弱连接的顶点。
3.根据权利要求1所述的基于有向无环图的支持合约的分布式账本共识方法，其特征在于，预选择可被强连接的顶点时，选择有向无环图中所有可被强连接的顶点集合中最新的一个顶点。
4.根据权利要求1所述的基于有向无环图的支持合约的分布式账本共识方法，其特征在于，根据如下方法预选择可被弱连接的顶点：
首先根据新顶点的合约编号和交易编号代入生成伪随机数的函数中，获取多个输出值；
然后选取前k个输出值，每个输出值均在由有向无环图中已存在的合约编号构成的集合里；其中k为配置的最大弱连接数；
再从选取的输出值中，选择一个以该输出值为合约编号的顶点，且该顶点是在所有以该输出值为合约编号的顶点中最新添加到有向无环图的，至多选择k个顶点作为预选择可被弱连接的顶点。
5.根据权利要求1所述的基于有向无环图的支持合约的分布式账本共识方法，其特征在于，所述创世顶点的合约编号、交易编号与权值均为0。
6.根据权利要求1所述的基于有向无环图的支持合约的分布式账本共识方法，其特征在于，根据如下方法更新有向无环图中顶点的权值：
新顶点所属的强连接链包含的除该新顶点以外的每个顶点的权值w修改为
Figure FDA0003132581240000021
其中，w′为更新后的权值，th为配置的顶点可信阈值；
新顶点所属的弱连接链包含的除该新顶点以外的每个顶点的权值w修改为
Figure FDA0003132581240000022
其中，
Figure FDA0003132581240000023
表示自然数；新顶点所属的弱连接链指被所述新顶点弱连接的顶点所属的强连接链的中所有顶点的集合。
7.根据权利要求1所述的基于有向无环图的支持合约的分布式账本共识方法，其特征在于，为避免由于网络延迟、黑客攻击导致网络节点并不能总是将一个合约交易顶点与最新的与其合约编号相同的顶点强连接，网络节点在添加顶点后，还根据如下方法对有向无环图进行分叉剪枝：
在新顶点添加完毕后，扫描该顶点所属的强连接链与弱连接链，将链上所有权值小于等于可信阈值的、且未标记为“可信的”顶点，标记为“可信的”；其中顶点v所属的弱连接链指被顶点v弱连接的顶点所属的强连接链的中所有顶点的集合；
然后在被新标记为“可信的”顶点所强连接的先序顶点，如果被其他顶点强连接，则将其他这些顶点标记为“不可信的”；
再将强连接被标记为“不可信的”顶点的顶点标记为“不可信的”，直至不再有顶点强连接被标记为“不可信的”顶点；
最后删除所有被标记为“不可信的”顶点，及有关的边。
8.一种基于有向无环图的支持合约的分布式账本共识系统，其特征在于，所述分布式账本的创世顶点不连接有向无环图的任意顶点，第二个添加到有向无环图的顶点必须连接创世顶点；从第三个添加到有向无环图的顶点开始，顶点类型包括合约定义顶点和合约交易顶点；所述系统包括多个网络节点，所述网络节点设有顶点添加模块，用于在定义一个新的智能合约时，或者根据现有的智能合约及其状态发起一笔新的交易时，向有向无环图中添加顶点；所述顶点添加模块包括：
新顶点赋权值单元，用于为即将添加到有向无环图中的新顶点赋权值，所述权值为正整数；
现有节点连接单元，用于预选择零个或一个可被强连接的顶点，预选择一个或多个可被弱连接的顶点，然后将新顶点强连接到预选择的可被强连接的顶点上，并弱连接到所有预选择的可被弱连接的顶点上；所述强连接满足新顶点与预选择的顶点含有相同的合约编号，所述弱连接满足新顶点与预选择的顶点含有不同的合约编号；
权重更新单元，用于对有向无环图中顶点的权值进行更新；
以及同步单元，用于将账本同步到网络中的其他网络节点。
9.根据权利要求8所述的一种基于有向无环图的支持合约的分布式账本共识系统，其特征在于，所述网络节点还设有分叉剪枝模块，用于对有向无环图进行分叉剪枝；包括：
可信顶点标记单元，用于在新顶点添加完毕后，扫描该顶点所属的强连接链与弱连接链，将链上所有权值小于等于可信阈值的、且未标记为“可信的”顶点，标记为“可信的”；其中顶点v所属的弱连接链指被顶点v弱连接的顶点所属的强连接链的中所有顶点的集合；
直接不可信顶点标记单元，用于在被新标记为“可信的”顶点所强连接的先序顶点，如果被其他顶点强连接，则将其他这些顶点标记为“不可信的”；
间接不可信顶点标记单元，用于将强连接被标记为“不可信的”顶点的顶点标记为“不可信的”，直至不再有顶点强连接被标记为“不可信的”顶点；
以及剪枝单元，用于删除所有被标记为“不可信的”顶点，及有关的边。
10.一种计算机系统，其特征在于，包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序，所述计算机程序被加载至处理器时实现根据权利要求1-7任一项所述的基于有向无环图的支持合约的分布式账本共识方法。
CN202110709125.1A 2021-06-25 2021-06-25 基于有向无环图的支持合约的分布式账本共识方法与系统 Active CN113472870B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202110709125.1A CN113472870B (zh) 2021-06-25 2021-06-25 基于有向无环图的支持合约的分布式账本共识方法与系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202110709125.1A CN113472870B (zh) 2021-06-25 2021-06-25 基于有向无环图的支持合约的分布式账本共识方法与系统

Publications (2)

Publication Number Publication Date
CN113472870A true CN113472870A (zh) 2021-10-01
CN113472870B CN113472870B (zh) 2022-04-19

Family

ID=77872879

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202110709125.1A Active CN113472870B (zh) 2021-06-25 2021-06-25 基于有向无环图的支持合约的分布式账本共识方法与系统

Country Status (1)

Country Link
CN (1) CN113472870B (zh)

Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20110307507A1 (en) * 2010-06-10 2011-12-15 Microsoft Corporation Identifying entries and exits of strongly connected components
CN109377232A (zh) * 2018-12-20 2019-02-22 众安信息技术服务有限公司 基于dag的区块链的交易定序方法及设备
CN109697606A (zh) * 2018-09-30 2019-04-30 贝克链区块链技术有限公司 基于创新性的信誉证明共识协议的分布式网络及生态系统
CN109859044A (zh) * 2019-01-15 2019-06-07 中山大学 一种区块链构造方法
WO2020065242A1 (en) * 2018-09-27 2020-04-02 C S Solutions Technology Limited Method and system for transaction processing in decentralized network by network nodes in collaborative decision-making
US20200143372A1 (en) * 2018-11-02 2020-05-07 Vite Labs Limited Methods for decentralized digital asset transfer and smart contract state transition
CN111899019A (zh) * 2020-07-28 2020-11-06 朱玮 一种黑名单多方交叉验证和共享的方法及系统
CN112395511A (zh) * 2020-11-04 2021-02-23 北京大学 一种基于移动应用内消息传播路径的谣言检测与存证系统

Patent Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20110307507A1 (en) * 2010-06-10 2011-12-15 Microsoft Corporation Identifying entries and exits of strongly connected components
WO2020065242A1 (en) * 2018-09-27 2020-04-02 C S Solutions Technology Limited Method and system for transaction processing in decentralized network by network nodes in collaborative decision-making
CN109697606A (zh) * 2018-09-30 2019-04-30 贝克链区块链技术有限公司 基于创新性的信誉证明共识协议的分布式网络及生态系统
US20200143372A1 (en) * 2018-11-02 2020-05-07 Vite Labs Limited Methods for decentralized digital asset transfer and smart contract state transition
CN109377232A (zh) * 2018-12-20 2019-02-22 众安信息技术服务有限公司 基于dag的区块链的交易定序方法及设备
CN109859044A (zh) * 2019-01-15 2019-06-07 中山大学 一种区块链构造方法
CN111899019A (zh) * 2020-07-28 2020-11-06 朱玮 一种黑名单多方交叉验证和共享的方法及系统
CN112395511A (zh) * 2020-11-04 2021-02-23 北京大学 一种基于移动应用内消息传播路径的谣言检测与存证系统

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
LILI XIN; BO ZHANG: "《Application of Blockchain News Production Based on Digital Encryption Technology》", 《2020 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND APPLICATION (ICCEA)》 *
高政风: "《基于DAG的分布式账本共识机制研究》", 《软件学报》 *

Also Published As

Publication number Publication date
CN113472870B (zh) 2022-04-19

Similar Documents

Publication Publication Date Title
CN110602148B (zh) 一种区块的状态树的生成和链上数据验证的方法及装置
CN110163600B (zh) 区块链系统及应用其的方法
CN109472572B (zh) 基于区块链主链加并行多子链的合约系统
CN111061769B (zh) 一种区块链系统的共识方法及相关设备
Wüst et al. Ace: Asynchronous and concurrent execution of complex smart contracts
CN109410043B (zh) 一种基于分层树状结构的区块链信息高效存储方法及装置
CN108985934B (zh) 区块链修改方法和装置
CN109547211B (zh) 应用数字签名技术的分级并发拜占庭共识方法及系统
CN110362633B (zh) 区块数据存储方法、装置、计算机设备及存储介质
CN109948003B (zh) 一种同构双模主副链的区块链系统及其区块生产方法
CN109033475A (zh) 一种文件存储方法、装置、设备及存储介质
Hong et al. Scaling blockchain via layered sharding
CN110837505A (zh) 状态数据存储方法、状态数据同步方法、设备和存储介质
CN110599166A (zh) 一种区块链内获取交易依赖关系的方法及装置
WO2021190179A1 (zh) 一种同步处理方法和相关装置
CN112348518B (zh) 一种区块链交易证明的方法及装置
CN115314391B (zh) 一种区块链网络拓扑动态建立和数据传输优化方法
CN113821478A (zh) 一种基于区块链的大文件存储方法及系统
CN110766410B (zh) 基于默克尔树的可信跨链事件构造与验证方法和设备
CN112258189A (zh) 基于区块链的签约管理方法及装置和电子设备
CN112235429A (zh) 一种中心记账式去中心化分布式数据处理方法及系统
CN113472870B (zh) 基于有向无环图的支持合约的分布式账本共识方法与系统
CN114612115A (zh) 基于区块链的工业产品溯源信息存储方法、溯源方法及装置
EP4009579A2 (en) Ledger verifiable-pruning system
CN110689435B (zh) 基于区块链的数据处理方法及数据处理系统

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant