CN110349025A - 一种基于未花费交易输出的合约资产防遗失方法及装置 - Google Patents

一种基于未花费交易输出的合约资产防遗失方法及装置 Download PDF

Info

Publication number
CN110349025A
CN110349025A CN201910622986.9A CN201910622986A CN110349025A CN 110349025 A CN110349025 A CN 110349025A CN 201910622986 A CN201910622986 A CN 201910622986A CN 110349025 A CN110349025 A CN 110349025A
Authority
CN
China
Prior art keywords
transaction
contract
output
treaty content
contract information
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
CN201910622986.9A
Other languages
English (en)
Other versions
CN110349025B (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.)
Hunan Tianhe Guoyun Technology Co Ltd
Original Assignee
Hunan Tianhe Guoyun Technology Co Ltd
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 Hunan Tianhe Guoyun Technology Co Ltd filed Critical Hunan Tianhe Guoyun Technology Co Ltd
Priority to CN201910622986.9A priority Critical patent/CN110349025B/zh
Publication of CN110349025A publication Critical patent/CN110349025A/zh
Application granted granted Critical
Publication of CN110349025B publication Critical patent/CN110349025B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/60—Protecting data
    • G06F21/64—Protecting data integrity, e.g. using checksums, certificates or signatures
    • 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
    • G06Q20/00—Payment architectures, schemes or protocols
    • G06Q20/04—Payment circuits
    • G06Q20/06—Private payment circuits, e.g. involving electronic currency used among participants of a common payment scheme
    • G06Q20/065—Private payment circuits, e.g. involving electronic currency used among participants of a common payment scheme using e-cash
    • 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
    • G06Q20/00—Payment architectures, schemes or protocols
    • G06Q20/38—Payment protocols; Details thereof
    • G06Q20/382—Payment protocols; Details thereof insuring higher security of transaction
    • G06Q20/3827—Use of message hashing
    • 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
    • G06Q20/00—Payment architectures, schemes or protocols
    • G06Q20/38—Payment protocols; Details thereof
    • G06Q20/382—Payment protocols; Details thereof insuring higher security of transaction
    • G06Q20/3829—Payment protocols; Details thereof insuring higher security of transaction involving key management
    • 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

Landscapes

  • Business, Economics & Management (AREA)
  • Engineering & Computer Science (AREA)
  • Accounting & Taxation (AREA)
  • Theoretical Computer Science (AREA)
  • Finance (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Security & Cryptography (AREA)
  • Strategic Management (AREA)
  • General Business, Economics & Management (AREA)
  • Health & Medical Sciences (AREA)
  • Bioethics (AREA)
  • General Health & Medical Sciences (AREA)
  • Computer Hardware Design (AREA)
  • Software Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Development Economics (AREA)
  • Economics (AREA)
  • Marketing (AREA)
  • Technology Law (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

本发明实施例提供了基于未花费交易输出的合约资产防遗失方法及装置，所述方法包括：根据合约生成与所述合约对应的交易的合约交易输出；从所述合约的合约内容中抽取合约内容关键字；根据所述合约内容关键字及由所述交易的发起方确认的协议同步字生成合约信息，并基于所述合约信息生成所述交易的合约信息交易输出；按照交易模板，根据所述合约交易输出和所述合约信息交易输出，生成所述交易。通过本发明实施例，能有效地防止合约资产因为合约内容未妥善保存而导致的遗失问题。

Description

一种基于未花费交易输出的合约资产防遗失方法及装置
技术领域
本发明属于区块链技术领域，具体是涉及到一种基于未花费交易输出的合约资产防遗失方法、装置、终端设备及计算机可读介质。
背景技术
在比特币现有交易标准中，只有支付到脚本哈希(Pay-to-Script-Hash，P2SH)类型的交易可以用来承载合约，在该种合约交易中将合约内容作为赎回脚本。因此合约交易对应的脚本如下：1、锁定脚本，格式<OP_HASH160><合约内容哈希><OP_EQUAL>，其中合约内容哈希是对合约内容进行HASH160运算得到的20字节脚本；2、解锁脚本，格式<签名><合约内容>。如果提取合约资产必须提供与合约内容哈希对应的合约内容，但合约内容比较复杂，合约内容并不出现在锁定脚本中，且如果单纯使用数据记录输出无法完全承载合约内容。所以合约资产接收人很容易遗失合约内容，从而无法组建正确的解锁脚本，进而导致合约资产的遗失。
发明内容
有鉴于此，本发明实施例提供一种基于未花费交易输出的合约资产防遗失方法、装置、终端设备及计算机可读介质，能够有效地防止合约资产因为合约内容未妥善保存而导致的遗失问题。
本发明实施例的第一方面提供了一种基于未花费交易输出的合约资产防遗失方法，包括：
根据合约生成与所述合约对应的交易的合约交易输出；所述合约交易输出的锁定脚本为支付到脚本哈希P2SH类型的锁定脚本，所述合约交易输出的锁定脚本的赎回脚本为所述合约的合约内容，所述合约交易输出的交易金额为所述合约的合约金额；
从所述合约的合约内容中抽取合约内容关键字；所述合约内容关键字包括所述合约的合约资产的接收人地址；
根据所述合约内容关键字及由所述交易的发起方确认的协议同步字生成合约信息，并基于所述合约信息生成所述交易的合约信息交易输出；所述合约信息交易输出的锁定脚本为所述合约信息，所述合约信息交易输出的交易金额为0；
按照交易模板，根据所述合约交易输出和所述合约信息交易输出，生成所述交易；所述交易模板包括交易输出队列，所述交易输出队列包括所述合约交易输出和所述合约信息交易输出。
本发明实施例的第二方面提供了一种基于未花费交易输出的合约资产防遗失装置，包括：
第一生成模块，用于根据合约生成与所述合约对应的交易的合约交易输出；所述合约交易输出的锁定脚本为P2SH类型的锁定脚本，所述合约交易输出的锁定脚本的赎回脚本为所述合约的合约内容，所述合约交易输出的交易金额为所述合约的合约金额；
抽取模块，用于从所述合约的合约内容中抽取合约内容关键字；所述合约内容关键字包括所述合约的合约资产的接收人地址；
第二生成模块，用于根据所述合约内容关键字及由所述交易的发起方确认的协议同步字生成合约信息，并基于所述合约信息生成所述交易的合约信息交易输出；所述合约信息交易输出的锁定脚本为所述合约信息，所述合约信息交易输出的交易金额为0；
第三生成模块，用于按照交易模板，根据所述合约交易输出和所述合约信息交易输出，生成所述交易；所述交易模板包括交易输出队列，所述交易输出队列包括所述合约交易输出和所述合约信息交易输出。
本发明实施例的第三方面提供了一种终端设备，包括存储器、处理器以及存储在所述存储器中并可在所述处理器上运行的计算机程序，所述处理器执行所述计算机程序时实现上述基于未花费交易输出的合约资产防遗失方法的步骤。
本发明实施例的第六方面提供了一种计算机可读介质，所述计算机可读介质存储有计算机程序，所述计算机程序被处理执行时实现上述基于未花费交易输出的合约资产防遗失方法的步骤。
本发明实施例提供的基于未花费交易输出的合约资产防遗失方法中，可通过将交易中的合约交易输出的锁定脚本设置为P2SH类型的锁定脚本，且合约交易输出的锁定脚本的赎回脚本为所述合约的合约内容，并可将协议同步字和包含合约资产的接收人地址的合约内容关键字导入到交易中的合约信息交易输出中的合约信息中，从而可有效的保存与合约内容相关的信息，交易格式也符合比特币交易标准，能无障碍通过比特币网络，并被包含至区块数据当中，且能有效地防止合约资产因为合约内容未妥善保存而导致的遗失问题。
附图说明
为了更清楚地说明本发明实施例中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动性的前提下，还可以根据这些附图获得其他的附图。
图1是本发明实施例提供的一种基于UTXO的合约资产防遗失方法的流程图；
图2是现有技术中交易的结构示意图；
图3是本发明实施例提供的基于UTXO的合约资产防遗失方法中的交易的结构示意图；
图4是本发明实施例提供的基于UTXO的合约资产防遗失方法中找回合约资产的流程示意图；
图5是本发明实施例提供的一种基于UTXO的合约资产防遗失装置的结构框图；
图6是图5中的抽取模块的细化结构示意图；
图7是本发明实施例提供的另一种基于UTXO的合约资产防遗失装置的结构示意图；
图8是本发明实施例提供的终端设备的示意图。
具体实施方式
以下描述中，为了说明而不是为了限定，提出了诸如特定系统结构、技术之类的具体细节，以便透彻理解本发明实施例。然而，本领域的技术人员应当清楚，在没有这些具体细节的其它实施例中也可以实现本发明。在其它情况中，省略对众所周知的系统、装置、电路以及方法的详细说明，以免不必要的细节妨碍本发明的描述。
为了增进对本发明的了解，首先对本发明相关的现有技术进行介绍：
请参阅图2，图2为现有技术中的交易的结构示意图。交易拥有唯一的交易标识。交易标识是交易序列化后进行对应的哈希运算的结果。交易的数据包括：一组交易输入(TxIn)、一组交易输出(TxOut)、交易其他内容(交易数据格式版本、交易输入数量、交易输出数量、交易锁定期限)。其中交易输出被称为未花费的交易输出(Unspent TransactionOutput，UTXO)，是UTXO模型的基础，交易输出可以作为下个交易的输入。交易输入队列包含交易输入1、交易输入2、。。。、交易输入N，每个交易输入中，包括三部分内容：对前一交易输出(previous transaction out)的引用、解锁脚本(Script signature)、交易输入其它内容(解锁脚本长度、sequence参数)。其中对前一交易输出的引用包括交易哈希(即前一交易输出所在交易的交易标识)、索引(index，前一交易输出在所在交易的交易输出中的位置顺序，第一笔交易输出的索引为0，第二笔交易输出的索引为1，以此类推)两个字段。而交易输出队列包括交易输出1、交易输出2、。。。、交易输出N，每个交易输出中，包括三个字段：交易金额(value)、锁定脚本长度、锁定脚本(Script pubkey)。解锁脚本是一个满足被锁定脚本在一个输出上设定的花费条件的脚本，同时它将允许输出被消费。锁定脚本是一个放在一个输出值上的“障碍”，同时它明确了今后花费这笔输出的条件。比特币脚本系统通过执行一个用类Forth脚本语言编写的脚本验证比特币交易。当一笔比特币交易被验证时，每一个交易输入中的解锁脚本被与其对应的锁定脚本(前一交易输出的锁定脚本)一起执行，结果为真，表示满足使用条件。
此外，比特币的五种交易标准为：1、支付到公钥哈希，P2PKH(Pay-to-Public-Key-Hash)；2、支付到公钥，P2PK(Pay-to-Public-Key)；3、多重签名，MS(Multiple Signatures，限15个密钥)；4、支付到脚本哈希，P2SH(Pay-to-Script-Hash)；5、数据记录输出，RETURN。P2SH(Pay-to-Script-Hash支付到脚本哈希)是一种比特币的区块链社区主要支持的交易标准。P2SH交易中，锁定脚本由赎回脚本经过哈希运算后的20字节的散列值组成，具体结构如下：1、锁定脚本，格式<OP_HASH160><赎回脚本哈希><OP_EQUAL>；2、解锁脚本，格式<签名><赎回脚本>。对P2SH交易验证时，将<签名><赎回脚本><OP_HASH160><赎回脚本哈希><OP_EQUAL>输入比特币脚本系统，如果为真，则交易成立。也就是说当一笔交易试图支付P2SH类型的UTXO时，解锁脚本中必须包含与赎回脚本哈希相匹配的赎回脚本。此外，数据记录输出是标准交易输出，但对应RETURN脚本的最大大小(以字节为单位)默认为83字节，允许最多80个字节的RETURN数据加上一个字节的RETURN操作码和两个字节的PUSHDATA操作码。
为了说明本发明所述的技术方案，下面通过具体实施例来进行说明。
请参阅图1，图1是本发明实施例提供的一种基于UTXO的合约资产防遗失方法。如图1所示，本实施例的基于UTXO的合约资产防遗失方法包括以下步骤：
S101：根据合约生成与所述合约对应的交易的合约交易输出。
在本发明实施例中，可根据合约生成与所述合约对应的交易的合约交易输出。具体地，所述合约交易输出的锁定脚本为P2SH类型的锁定脚本，所述合约交易输出的锁定脚本的赎回脚本为所述合约的合约内容，所述合约交易输出的交易金额为所述合约的合约金额。
S102：从所述合约的合约内容中抽取合约内容关键字。
在本发明实施例中，可解析所述合约的合约内容，抽取所述合约内容中的操作符、固定格式参数和非固定格式参数，并将所述非固定格式参数作为合约内容关键字，所述合约内容关键字可包括所述合约的合约资产的接收人地址及其它易遗失信息。进一步地，关于合约内容关键字的抽取流程，除了上述方法外，交易发起人还可以自行确定协议同步字并制定合约内容关键字抽取流程、合约格式，但合约内容关键字应覆盖合约资产接收人地址及其它易遗失信息。此外，在获取合约内容关键字后，还可获取合约格式和由交易发起人选取并确认的协议同步字，并公开所述协议同步字、合约内容关键字和合约格式，以及所述协议同步字、合约内容关键字分别与合约格式的对应关系，即一种协议同步字对应一种合约格式，而合约内容关键字与合约格式中相应的位置对应。其中，用合约内容关键字的物理含义(例如，数据长度、锁定时间等)替换原本的合约内容，得到的框架就是合约格式。
S103：根据所述合约内容关键字及由所述交易的发起方确认的协议同步字生成合约信息，并基于所述合约信息生成所述交易的合约信息交易输出。
在本发明实施例中，可根据所述合约内容关键字、由所述交易的发起方确认的协议同步字，以及所述合约中的数据长度和操作符等生成合约信息，并基于所述合约信息生成所述交易的合约信息交易输出。所述合约信息交易输出的锁定脚本为所述合约信息，所述合约信息交易输出的交易金额为0。进一步地，为了方便对协议同步字、合约内容关键字抽取以及合约格式进行更详细的地理解，下面以时间锁合约为例进行描述，时间锁合约实例全文为：042f38af5bb17576a91487db1deb7905f774064aa51d78a3068a39e4765488ac。表1为时间锁合约各字段含义。
表1
可将合约内容分为各类操作符、固定格式参数(数据长度)和非固定格式参数(锁定时间、合约资产接收人地址)。因此，交易发起人可以提取合约内容关键字2f38af5b、87db1deb7905f774064aa51d78a3068a39e47654。交易发起人可以确定合约格式为:<数据长度><锁定时间><OP_CHECKLOCKTIMEVERIFY><OP_DROP><OP_DUP><OP_HASH160><数据长度><合约资产接收人地址><OP_EQUALVERIFY><OP_CHECKSIG>。交易发起人可以选取协议同步字为09010001，并进行公开。按照本发明实施例提供的上述方法，交易发起人可以生成合约信息全文如下：6a1c090100012f38af5b87db1deb7905f774064aa51d78a3068a3068a39e47654。合约信息全文各字段含义如表2所示。
表2
S104：按照交易模板，根据所述合约交易输出和所述合约信息交易输出，生成所述交易。
在本发明实施例中，可按照预先在S101之前生成的交易模板，将所述合约交易输出和所述合约信息交易输出填充到所述交易模板中，并补充所述交易模板中的其它内容(例如，选取合适的交易输入，并生成对应的找零交易输出，将选取的交易输入和生成的找零交易输出补充到所述交易模板中)，签名生成所述交易。这里的选取合适的交易输入的方法、生成对应的找零输出的方法和签名方法为普通交易所采用的方法，不做特殊限定。所述交易模板可包括需要填充相关信息的交易输出队列等几个部分，所述交易输出队列可包括所述合约交易输出和所述合约信息交易输出，即所述合约交易输出和所述合约信息交易输出可填充到所述交易模板的交易输出队列这一部分中。进一步地，关于需要补充其它相关信息的所述交易模板的各个部分的详细结构，请参看图3。在图3中，本发明实施例公开的交易模板(及对应的交易)不对交易数据格式版本、交易输入数量、交易输入队列、交易输出数量、交易锁定期限这几个部分进行特殊的约定，且不对合约交易输出的锁定脚本长度进行特殊的约定，可按如图2所示的普通交易构造方法进行构造。根据本发明实施例提供的合约资产防遗失方法，图3中的合约交易输出中的交易金额为合约金额，锁定脚本为P2SH类型的锁定脚本，且锁定脚本的赎回脚本为合约内容。合约信息交易输出中的交易金额为零，锁定脚本为合约信息。合约信息交易输出中的合约信息格式可描述如下：<OP_RETURN><数据长度><协议同步字><合约内容关键字>。其中：OP_RETURN，为数据输出操作符(或称为操作符)；数据长度，为协议同步字与合约内容关键字的总长度；协议同步字，为区分其他协议与本发明实施例提供的合约资产防遗失方法对应的协议的字符串，可由交易发起人确定；合约内容关键字，合约内容中合约资产接收人地址等关键非格式信息；合约内容关键字选择方式由交易发起人制定，与协议同步字对应，并充分的公开，即合约资产接收人可以从公开途径直接获取对应的选择方式。此外，在本发明的另一个实施例中，合约信息中的合约内容关键字中还可以填充所述合约的整个合约内容。
在图1提供的基于UTXO的合约资产防遗失方法中，可通过将交易中的合约交易输出的锁定脚本设置为P2SH类型的锁定脚本，且合约交易输出的锁定脚本的赎回脚本为所述合约的合约内容，并可将协议同步字和包含合约资产的接收人地址的合约内容关键字导入到交易中的合约信息交易输出中的合约信息中，从而可有效的保存与合约内容相关的信息，交易格式也符合比特币交易标准，能无障碍通过比特币网络，并被包含至区块数据当中，且能有效地防止合约资产因为合约内容未妥善保存而导致的遗失问题。
请参阅图4，图4是本发明实施例提供的基于UTXO的合约资产防遗失方法中找回合约资产的流程示意图。该流程对应极限情况下(即资产接收人只知道自己的资产接收地址)的合约资产找回。如图4所示，本实施例的基于UTXO的合约资产防遗失方法中找回合约资产的流程包括以下步骤：
S401：查找符合所述交易的交易特征的所有交易。
在本发明实施例中，所述交易为图1中所生成的交易。在生成所述交易之后，当需要找回合约资产时，可先查找符合所述交易的交易特征的所有交易。所述交易的交易特征为：所述交易的第一笔交易输出的锁定脚本是P2SH的脚本类型，所述交易的第二笔交易输出的锁定脚本为以数据输出操作符OP_RETURN开始的锁定脚本，且所述交易的第二笔交易输出的交易金额为0。需要指出的是，数据输出操作符OP_RETURN可满足现有的比特币网络中的交易标准。若开发出其它的交易标准，所述交易的第二笔交易输出的锁定脚本还可以是以其它的数据输出操作符开始的锁定脚本，但需要保证该数据输出操作符与S103中生成的合约信息中的数据输出操作符一致。
S402：对所述所有交易的第二笔交易输出中的锁定脚本按照合约信息格式进行解析，得到所述所有交易的合约信息。
在本发明实施例中，可对所述所有交易的第二笔交易输出中的锁定脚本按照合约信息格式进行解析，得到所述所有交易的合约信息。所述合约信息包括协议同步字和合约内容关键字等信息。
S403：从所述所有交易中筛选出同时符合第一条件和第二条件的交易。
在本发明实施例中，符合第一条件的交易的合约信息的数据长度等于协议同步字与合约内容关键字的总长度，符合第二条件的交易的合约信息中的合约内容关键字中存在资产接收人地址，即从所述所有交易中筛选出的交易的合约信息的数据长度等于协议同步字与合约内容关键字的总长度，且从所述所有交易中筛选出的交易的合约信息的合约内容关键字中存在资产接收人地址。
S404：根据所述同时符合第一条件和第二条件的交易的合约信息中的协议同步字获取合约格式，并按照所述合约格式，使用所述同时符合第一条件和第二条件的交易的合约信息中的合约内容关键字重新组建所述同时符合第一条件和第二条件的交易的合约内容。
在本发明实施例中，可根据所述同时符合第一条件和第二条件的交易的合约信息中的协议同步字获取合约格式(在交易的生成过程中，就公开了协议同步字与合约格式的对应关系，详情可参见关于S102的相关介绍)，使用所述同时符合第一条件和第二条件的交易的合约信息中的合约内容关键字，按照所述合约格式，重新组建与所述同时符合第一条件和第二条件的交易对应的合约内容。
S405：对重新组建的所述合约内容进行HASH160运算，并判断运算后的结果是否与重新组建的所述合约内容对应的交易的合约交易输出中的锁定脚本中的合约内容哈希一致。
在本发明实施例中，可对重新组建的与所述同时符合第一条件和第二条件的交易对应的合约内容进行HASH160运算，并将运算后的结果与重新组建的所述合约内容对应的交易的合约交易输出中的锁定脚本中的合约内容哈希对比，若一致，则本流程转至S406。
S406：将经过HASH160运算后与重新组建的所述合约内容对应的交易合约交易输出中的锁定脚本中的合约内容哈希一致的合约内容及对应的交易提供给找回人，供所述找回人判断，以找回合约资产。
在图4提供的找回合约资产的方法流程中，可通过查找符合本发明实施例生成的交易的交易特征的所有交易，从中筛选出符合相关条件的目标交易，并将目标交易及其合约内容提供给找回人，供所述找回人判断，从而可有效的找回遗失的合约内容，使合约资产接收人找回合约资产。
请参阅图5，图5是本发明实施例提供的一种基于UTXO的合约资产防遗失装置的结构框图。如图5所示，本实施例的基于UTXO的合约资产防遗失装置50包括第一生成模块501、抽取模块502、第二生成模块503和第三生成模块504。第一生成模块501、抽取模块502、第二生成模块503和第三生成模块504分别用于执行图1中的S101、S102、S103和S104中的具体方法，详情可参见图1的相关介绍，在此仅作简单描述：
第一生成模块501，用于根据合约生成与所述合约对应的交易的合约交易输出；所述合约交易输出的锁定脚本为P2SH类型的锁定脚本，所述合约交易输出的锁定脚本的赎回脚本为所述合约的合约内容，所述合约交易输出的交易金额为所述合约的合约金额。
抽取模块502，用于从所述合约的合约内容中抽取合约内容关键字；所述合约内容关键字包括所述合约的合约资产的接收人地址。
第二生成模块503，用于根据所述合约内容关键字及由所述交易的发起方确认的协议同步字生成合约信息，并基于所述合约信息生成所述交易的合约信息交易输出；所述合约信息交易输出的锁定脚本为所述合约信息，所述合约信息交易输出的交易金额为0。
第三生成模块504，用于按照交易模板，根据所述合约交易输出和所述合约信息交易输出，生成所述交易；所述交易模板包括交易输出队列，所述交易输出队列包括所述合约交易输出和所述合约信息交易输出。
进一步地，可参见图6，抽取模块502可具体包括解析单元5021和选择单元5022：
解析单元5021，用于解析所述合约的合约内容，抽取所述合约内容中的操作符、固定格式参数和非固定格式参数。
选择单元5022，用于将所述非固定格式参数作为合约内容关键字。
图5提供的基于UTXO的合约资产防遗失装置，可通过将交易中的合约交易输出的锁定脚本设置为P2SH类型的锁定脚本，且合约交易输出的锁定脚本的赎回脚本为所述合约的合约内容，并可将协议同步字和包含合约资产的接收人地址的合约内容关键字导入到交易中的合约信息交易输出中的合约信息中，从而可有效的保存与合约内容相关的信息，交易格式也符合比特币交易标准，能无障碍通过比特币网络，并被包含至区块数据当中，且能有效地防止合约资产因为合约内容未妥善保存而导致的遗失问题。
请参阅图7，图7是本发明实施例提供的另一种基于UTXO的合约资产防遗失装置的结构框图。如图7所示，本实施例的基于UTXO的合约资产防遗失装置70是在图5提供的基于UTXO的合约资产防遗失装置50的基础上经过优化得来的。合约资产防遗失装置70除了包括第一生成模块501、抽取模块502、第二生成模块503和第三生成模块504之外，还进一步包括查找模块701、获取模块702、筛选模块703、组建模块704、判断模块705和找回模块706，查找模块701、获取模块702、筛选模块703、组建模块704、判断模块705和找回模块706分别用于执行图4中的S401、S402、S403、S404、S405和S406中的具体方法，详情可参见图4的相关介绍，在此仅作简单描述：
查找模块701，用于在所述第三生成模块504根据所述合约交易输出和所述合约信息交易输出，生成所述交易之后，查找符合所述交易的交易特征的所有交易；所述交易的交易特征为：所述交易的第一笔交易输出的锁定脚本是P2SH的脚本类型，所述交易的第二笔交易输出的锁定脚本为以数据输出操作符OP_RETURN开始的锁定脚本，且所述交易的第二笔交易输出的交易金额为0。
获取模块702，用于对所述所有交易的第二笔交易输出中的锁定脚本按照合约信息格式进行解析，得到所述所有交易的合约信息。
筛选模块703，用于从所述所有交易中筛选出同时符合第一条件和第二条件的交易；符合第一条件的交易的合约信息的数据长度等于协议同步字与合约内容关键字的总长度，符合第二条件的交易的合约信息中的合约内容关键字中存在资产接收人地址。
组建模块704，用于根据所述同时符合第一条件和第二条件的交易的合约信息中的协议同步字获取合约格式，并按照所述合约格式，使用所述同时符合第一条件和第二条件的交易的合约信息中的合约内容关键字重新组建所述同时符合第一条件和第二条件的交易的合约内容。
判断模块705，用于对重新组建的所述合约内容进行HASH160运算，并判断运算后的结果是否与重新组建的所述合约内容对应的交易的合约交易输出中的锁定脚本中的合约内容哈希一致。
找回模块706，用于在所述判断模块705判断出运算后的结果与重新组建的所述合约内容对应的交易的合约交易输出中的锁定脚本中的合约内容哈希一致时，将经过HASH160运算后与重新组建的所述合约内容对应的交易合约交易输出中的锁定脚本中的合约内容哈希一致的合约内容及对应的交易提供给找回人，供所述找回人判断，以找回合约资产。
图7提供的基于UTXO的合约资产防遗失装置，可通过查找符合本发明实施例生成的交易的交易特征的所有交易，从中筛选出符合相关条件的目标交易，并将目标交易及其合约内容提供给找回人，供所述找回人判断，从而可有效的找回遗失的合约内容，使合约资产接收人找回合约资产。
图8是本发明一实施例提供的终端设备的示意图。如图8所示，该实施例的终端设备8包括：处理器80、存储器81以及存储在所述存储器81中并可在所述处理器80上运行的计算机程序82，例如进行基于UTXO的合约资产防遗失的程序。所述处理器80执行所述计算机程序82时实现上述方法实施例中的步骤，例如，图1所示的S101至S104。或者，所述处理器80执行所述计算机程序82时实现上述各装置实施例中各模块/单元的功能，例如图5所示模块501至504的功能。
示例性的，所述计算机程序82可以被分割成一个或多个模块/单元，所述一个或者多个模块/单元被存储在所述存储器81中，并由所述处理器80执行，以完成本发明。所述一个或多个模块/单元可以是能够完成特定功能的一系列计算机程序指令段，该指令段用于描述所述计算机程序82在终端设备8中的执行过程。例如，所述计算机程序82可以被分割成第一生成模块501、抽取模块502、第二生成模块503和第三生成模块504。(虚拟装置中的模块)，各模块具体功能如下：
第一生成模块501，用于根据合约生成与所述合约对应的交易的合约交易输出；所述合约交易输出的锁定脚本为P2SH类型的锁定脚本，所述合约交易输出的锁定脚本的赎回脚本为所述合约的合约内容，所述合约交易输出的交易金额为所述合约的合约金额。
抽取模块502，用于从所述合约的合约内容中抽取合约内容关键字；所述合约内容关键字包括所述合约的合约资产的接收人地址。
第二生成模块503，用于根据所述合约内容关键字及由所述交易的发起方确认的协议同步字生成合约信息，并基于所述合约信息生成所述交易的合约信息交易输出；所述合约信息交易输出的锁定脚本为所述合约信息，所述合约信息交易输出的交易金额为0。
第三生成模块504，用于按照交易模板，根据所述合约交易输出和所述合约信息交易输出，生成所述交易；所述交易模板包括交易输出队列，所述交易输出队列包括所述合约交易输出和所述合约信息交易输出。
所述终端设备8可以是桌上型计算机、笔记本、掌上电脑及云端服务器等计算设备。终端设备8可包括，但不仅限于，处理器80、存储器81。本领域技术人员可以理解，图8仅仅是终端设备8的示例，并不构成对终端设备8的限定，可以包括比图示更多或更少的部件，或者组合某些部件，或者不同的部件，例如所述终端设备还可以包括输入输出设备、网络接入设备、总线等。
所述处理器80可以是中央处理单元(Central Processing Unit，CPU)，还可以是其他通用处理器、数字信号处理器(Digital Signal Processor，DSP)、专用集成电路(Application Specific Integrated Circuit，ASIC)、现成可编程门阵列(Field-Programmable Gate Array，FPGA)或者其他可编程逻辑器件、分立门或者晶体管逻辑器件、分立硬件组件等。通用处理器可以是微处理器或者该处理器也可以是任何常规的处理器等。
所述存储器81可以是终端设备8的内部存储单元，例如终端设备8的硬盘或内存。所述存储器81也可以是终端设备8的外部存储设备，例如所述终端设备8上配备的插接式硬盘，智能存储卡(Smart Media Card,SMC)，安全数字(Secure Digital,SD)卡，闪存卡(Flash Card)等。进一步地，所述存储器81还可以既包括终端设备8的内部存储单元也包括外部存储设备。所述存储器81用于存储所述计算机程序以及终端设备8所需的其他程序和数据。所述存储器81还可以用于暂时地存储已经输出或者将要输出的数据。
所属领域的技术人员可以清楚地了解到，为了描述的方便和简洁，仅以上述各功能单元、模块的划分进行举例说明，实际应用中，可以根据需要而将上述功能分配由不同的功能单元、模块完成，即将所述装置的内部结构划分成不同的功能单元或模块，以完成以上描述的全部或者部分功能。实施例中的各功能单元、模块可以集成在一个处理单元中，也可以是各个单元单独物理存在，也可以两个或两个以上单元集成在一个单元中，上述集成的单元既可以采用硬件的形式实现，也可以采用软件功能单元的形式实现。另外，各功能单元、模块的具体名称也只是为了便于相互区分，并不用于限制本申请的保护范围。上述系统中单元、模块的具体工作过程，可以参考前述方法实施例中的对应过程，在此不再赘述。
在上述实施例中，对各个实施例的描述都各有侧重，某个实施例中没有详述或记载的部分，可以参见其它实施例的相关描述。
本领域普通技术人员可以意识到，结合本文中所公开的实施例描述的各示例的单元及算法步骤，能够以电子硬件、或者计算机软件和电子硬件的结合来实现。这些功能究竟以硬件还是软件方式来执行，取决于技术方案的特定应用和设计约束条件。专业技术人员可以对每个特定的应用来使用不同方法来实现所描述的功能，但是这种实现不应认为超出本发明的范围。
在本发明所提供的实施例中，应该理解到，所揭露的装置/终端设备和方法，可以通过其它的方式实现。例如，以上所描述的装置/终端设备实施例仅仅是示意性的，例如，所述模块或单元的划分，仅仅为一种逻辑功能划分，实际实现时可以有另外的划分方式，例如多个单元或组件可以结合或者可以集成到另一个系统，或一些特征可以忽略，或不执行。另一点，所显示或讨论的相互之间的耦合或直接耦合或通讯连接可以是通过一些接口，装置或单元的间接耦合或通讯连接，可以是电性，机械或其它的形式。
所述作为分离部件说明的单元可以是或者也可以不是物理上分开的，作为单元显示的部件可以是或者也可以不是物理单元，即可以位于一个地方，或者也可以分布到多个网络单元上。可以根据实际的需要选择其中的部分或者全部单元来实现本实施例方案的目的。
另外，在本发明各个实施例中的各功能单元可以集成在一个处理单元中，也可以是各个单元单独物理存在，也可以两个或两个以上单元集成在一个单元中。上述集成的单元既可以采用硬件的形式实现，也可以采用软件功能单元的形式实现。
所述集成的模块/单元如果以软件功能单元的形式实现并作为独立的产品销售或使用时，可以存储在一个计算机可读取存储介质中。基于这样的理解，本发明实现上述实施例方法中的全部或部分流程，也可以通过计算机程序来指令相关的硬件来完成，所述的计算机程序可存储于一计算机可读存储介质中，该计算机程序在被处理器执行时，可实现上述各个方法实施例的步骤。其中，所述计算机程序包括计算机程序代码，所述计算机程序代码可以为源代码形式、对象代码形式、可执行文件或某些中间形式等。所述计算机可读介质可以包括：能够携带所述计算机程序代码的任何实体或装置、记录介质、U盘、移动硬盘、磁碟、光盘、计算机存储器、只读存储器(ROM，Read-Only Memory)、随机存取存储器(RAM，Random Access Memory)、电载波信号、电信信号以及软件分发介质等。需要说明的是，所述计算机可读介质包含的内容可以根据司法管辖区内立法和专利实践的要求进行适当的增减，例如在某些司法管辖区，根据立法和专利实践，计算机可读介质不包括电载波信号和电信信号。
以上所述实施例仅用以说明本发明的技术方案，而非对其限制；尽管参照前述实施例对本发明进行了详细的说明，本领域的普通技术人员应当理解：其依然可以对前述各实施例所记载的技术方案进行修改，或者对其中部分技术特征进行等同替换；而这些修改或者替换，并不使相应技术方案的本质脱离本发明各实施例技术方案的精神和范围，均应包含在本发明的保护范围之内。

Claims (10)

1.一种基于未花费交易输出的合约资产防遗失方法，其特征在于，包括：
根据合约生成与所述合约对应的交易的合约交易输出；所述合约交易输出的锁定脚本为支付到脚本哈希P2SH类型的锁定脚本，所述合约交易输出的锁定脚本的赎回脚本为所述合约的合约内容，所述合约交易输出的交易金额为所述合约的合约金额；
从所述合约的合约内容中抽取合约内容关键字；所述合约内容关键字包括所述合约的合约资产的接收人地址；
根据所述合约内容关键字及由所述交易的发起方确认的协议同步字生成合约信息，并基于所述合约信息生成所述交易的合约信息交易输出；所述合约信息交易输出的锁定脚本为所述合约信息，所述合约信息交易输出的交易金额为0；
按照交易模板，根据所述合约交易输出和所述合约信息交易输出，生成所述交易；所述交易模板包括交易输出队列，所述交易输出队列包括所述合约交易输出和所述合约信息交易输出。
2.根据权利要求1所述的基于未花费交易输出的合约资产防遗失方法，其特征在于，所述根据合约生成与所述合约对应的交易的合约交易输出之前，还包括：
生成交易模板。
3.根据权利要求1所述的基于未花费交易输出的合约资产防遗失方法，其特征在于，所述从所述合约的合约内容中抽取合约内容关键字，包括：
解析所述合约的合约内容，抽取所述合约内容中的操作符、固定格式参数和非固定格式参数；
将所述非固定格式参数作为合约内容关键字。
4.根据权利要求1所述的基于未花费交易输出的合约资产防遗失方法，其特征在于，所述按照交易模板，根据所述合约交易输出和所述合约信息交易输出和所述交易的模板，生成所述交易，包括：
选取所述交易的输入，并生成与所述交易对应的找零输出；
按照所述交易模板，根据所述合约交易输出、所述合约信息交易输出、所述交易的输入和所述找零输出，签名生成所述交易；其中，所述合约交易输出、所述合约信息交易输出和所述找零输出形成所述交易中的交易输出队。
5.根据权利要求1～4中任一项所述的基于未花费交易输出的合约资产防遗失方法，其特征在于，所述根据所述合约交易输出和所述合约信息交易输出，生成所述交易之后，还包括：
查找符合所述交易的交易特征的所有交易；所述交易的交易特征为：所述交易的第一笔交易输出的锁定脚本是P2SH的脚本类型，所述交易的第二笔交易输出的锁定脚本为以数据输出操作符OP_RETURN开始的锁定脚本，且所述交易的第二笔交易输出的交易金额为0；
对所述所有交易的第二笔交易输出中的锁定脚本按照合约信息格式进行解析，得到所述所有交易的合约信息；
从所述所有交易中筛选出同时符合第一条件和第二条件的交易；符合第一条件的交易的合约信息的数据长度等于协议同步字与合约内容关键字的总长度，符合第二条件的交易的合约信息中的合约内容关键字中存在资产接收人地址；
根据所述同时符合第一条件和第二条件的交易的合约信息中的协议同步字获取合约格式，并按照所述合约格式，使用所述同时符合第一条件和第二条件的交易的合约信息中的合约内容关键字重新组建所述同时符合第一条件和第二条件的交易的合约内容；
对重新组建的所述合约内容进行HASH160运算，并判断运算后的结果是否与重新组建的所述合约内容对应的交易的合约交易输出中的锁定脚本中的合约内容哈希一致；
若一致，则将经过HASH160运算后与重新组建的所述合约内容对应的交易合约交易输出中的锁定脚本中的合约内容哈希一致的合约内容及对应的交易提供给找回人，供所述找回人判断，以找回合约资产。
6.一种基于未花费交易输出的合约资产防遗失装置，其特征在于，包括：
第一生成模块，用于根据合约生成与所述合约对应的交易的合约交易输出；所述合约交易输出的锁定脚本为P2SH类型的锁定脚本，所述合约交易输出的锁定脚本的赎回脚本为所述合约的合约内容，所述合约交易输出的交易金额为所述合约的合约金额；
抽取模块，用于从所述合约的合约内容中抽取合约内容关键字；所述合约内容关键字包括所述合约的合约资产的接收人地址；
第二生成模块，用于根据所述合约内容关键字及由所述交易的发起方确认的协议同步字生成合约信息，并基于所述合约信息生成所述交易的合约信息交易输出；所述合约信息交易输出的锁定脚本为所述合约信息，所述合约信息交易输出的交易金额为0；
第三生成模块，用于按照交易模板，根据所述合约交易输出和所述合约信息交易输出，生成所述交易；所述交易模板包括交易输出队列，所述交易输出队列包括所述合约交易输出和所述合约信息交易输出。
7.根据权利要求6所述的基于未花费交易输出的合约资产防遗失装置，其特征在于，所述抽取模块包括:
解析单元，用于解析所述合约的合约内容，抽取所述合约内容中的操作符、固定格式参数和非固定格式参数；
选择单元，用于将所述非固定格式参数作为合约内容关键字。
8.根据权利要求6或7所述的基于未花费交易输出的合约资产防遗失装置，其特征在于，还包括：
查找模块，用于在所述第三生成模块根据所述合约交易输出和所述合约信息交易输出，生成所述交易之后，查找符合所述交易的交易特征的所有交易；所述交易的交易特征为：所述交易的第一笔交易输出的锁定脚本是P2SH的脚本类型，所述交易的第二笔交易输出的锁定脚本为以数据输出操作符OP_RETURN开始的锁定脚本，且所述交易的第二笔交易输出的交易金额为0；
获取模块，用于对所述所有交易的第二笔交易输出中的锁定脚本按照合约信息格式进行解析，得到所述所有交易的合约信息；
筛选模块，用于从所述所有交易中筛选出同时符合第一条件和第二条件的交易；符合第一条件的交易的合约信息的数据长度等于协议同步字与合约内容关键字的总长度，符合第二条件的交易的合约信息中的合约内容关键字中存在资产接收人地址；
组建模块，用于根据所述同时符合第一条件和第二条件的交易的合约信息中的协议同步字获取合约格式，并按照所述合约格式，使用所述同时符合第一条件和第二条件的交易的合约信息中的合约内容关键字重新组建所述同时符合第一条件和第二条件的交易的合约内容；
判断模块，用于对重新组建的所述合约内容进行HASH160运算，并判断运算后的结果是否与重新组建的所述合约内容对应的交易的合约交易输出中的锁定脚本中的合约内容哈希一致；
找回模块，用于在所述判断模块判断出运算后的结果与重新组建的所述合约内容对应的交易的合约交易输出中的锁定脚本中的合约内容哈希一致时，将经过HASH160运算后与重新组建的所述合约内容对应的交易合约交易输出中的锁定脚本中的合约内容哈希一致的合约内容及对应的交易提供给找回人，供所述找回人判断，以找回合约资产。
9.一种终端设备，包括存储器、处理器以及存储在所述存储器中并可在所述处理器上运行的计算机程序，其特征在于，所述处理器执行所述计算机程序时实现如权利要求1-5中任一项所述方法的步骤。
10.一种计算机可读介质，所述计算机可读介质存储有计算机程序，其特征在于，所述计算机程序被处理执行时实现如权利要求1-5中任一项所述方法的步骤。
CN201910622986.9A 2019-07-11 2019-07-11 一种基于未花费交易输出的合约资产防遗失方法及装置 Active CN110349025B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910622986.9A CN110349025B (zh) 2019-07-11 2019-07-11 一种基于未花费交易输出的合约资产防遗失方法及装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910622986.9A CN110349025B (zh) 2019-07-11 2019-07-11 一种基于未花费交易输出的合约资产防遗失方法及装置

Publications (2)

Publication Number Publication Date
CN110349025A true CN110349025A (zh) 2019-10-18
CN110349025B CN110349025B (zh) 2023-03-28

Family

ID=68175831

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910622986.9A Active CN110349025B (zh) 2019-07-11 2019-07-11 一种基于未花费交易输出的合约资产防遗失方法及装置

Country Status (1)

Country Link
CN (1) CN110349025B (zh)

Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5307263A (en) * 1992-11-17 1994-04-26 Raya Systems, Inc. Modular microprocessor-based health monitoring system
KR101862861B1 (ko) * 2017-01-11 2018-07-04 주식회사 코인플러그 Utxo 기반 프로토콜을 사용하여 페이먼트 게이트웨이 서비스를 제공하는 방법 및 이를 이용한 서버
CN109034801A (zh) * 2018-07-31 2018-12-18 杭州复杂美科技有限公司 一种隐私交易方法及系统、设备和可存储介质
CN109064334A (zh) * 2018-08-27 2018-12-21 深圳前海益链网络科技有限公司 一种智能合约记账方法、计算机装置及可读存储介质
CN109347868A (zh) * 2018-11-27 2019-02-15 咪咕文化科技有限公司 一种信息验证方法、装置及存储介质
CN109388957A (zh) * 2018-09-26 2019-02-26 腾讯科技（深圳）有限公司 基于区块链的信息移转方法、装置、介质及电子设备
CN109493057A (zh) * 2018-12-10 2019-03-19 联动优势科技有限公司 一种基于utxo模型的交易方法及装置
CN109863719A (zh) * 2016-10-25 2019-06-07 区块链控股有限公司 用于在区块链上指导与匿名持有代币相关联的交易的方法和系统

Patent Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5307263A (en) * 1992-11-17 1994-04-26 Raya Systems, Inc. Modular microprocessor-based health monitoring system
CN109863719A (zh) * 2016-10-25 2019-06-07 区块链控股有限公司 用于在区块链上指导与匿名持有代币相关联的交易的方法和系统
KR101862861B1 (ko) * 2017-01-11 2018-07-04 주식회사 코인플러그 Utxo 기반 프로토콜을 사용하여 페이먼트 게이트웨이 서비스를 제공하는 방법 및 이를 이용한 서버
CN109034801A (zh) * 2018-07-31 2018-12-18 杭州复杂美科技有限公司 一种隐私交易方法及系统、设备和可存储介质
CN109064334A (zh) * 2018-08-27 2018-12-21 深圳前海益链网络科技有限公司 一种智能合约记账方法、计算机装置及可读存储介质
CN109388957A (zh) * 2018-09-26 2019-02-26 腾讯科技（深圳）有限公司 基于区块链的信息移转方法、装置、介质及电子设备
CN109347868A (zh) * 2018-11-27 2019-02-15 咪咕文化科技有限公司 一种信息验证方法、装置及存储介质
CN109493057A (zh) * 2018-12-10 2019-03-19 联动优势科技有限公司 一种基于utxo模型的交易方法及装置

Also Published As

Publication number Publication date
CN110349025B (zh) 2023-03-28

Similar Documents

Publication Publication Date Title
CN107329888B (zh) 智能合约操作码覆盖率计算方法和系统
US11900363B2 (en) Computer-implemented system and method for determining the state of a machine executable contract implemented using a blockchain
CN109150833A (zh) 一种基于模型检测的安全协议形式化验证方法
Duo et al. Formal analysis of smart contract based on colored petri nets
Demir et al. Security smells in smart contracts
CN106062751A (zh) 对与数据类型有关的数据剖析操作的管理
Dragomir et al. Model checking kernel P systems
CN110287002A (zh) 一种以太坊虚拟机缺陷检测方法及系统
Beutner et al. AutoHyper: Explicit-state model checking for HyperLTL
CN108334346A (zh) 一种业务控制流程的开发方法及装置
CN108334347A (zh) 一种业务控制流程的定制方法及装置
CN109711801A (zh) 一种网银对账方法及装置
Sanchez et al. Bigraphical modelling of architectural patterns
CN110209744A (zh) 基于联盟链的关系型数据库及其操作方法和装置
CN116702157B (zh) 一种基于神经网络的智能合约漏洞检测方法
Huang et al. Improved bounded model checking for a fair branching-time temporal epistemic logic
Ji et al. Ponzi scheme detection based on control flow graph feature extraction
CN115687599B (zh) 业务数据处理方法、装置、电子设备及存储介质
CN101771675B (zh) 一种对数据包进行特征匹配的方法及装置
CN110349025A (zh) 一种基于未花费交易输出的合约资产防遗失方法及装置
CN110471918A (zh) 一种关系型数据库同步到区块链的方法及装置
CN109408035A (zh) 一种业务系统的流程配置方法、存储介质和服务器
CN113485942B (zh) 一种基于独立模块的自动化测试方法及装置
Chen et al. Blockchain and trustworthy systems
Gervais et al. Synthesizing B specifications from EB 3 attribute definitions

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