CN110692071A - 基于脚本的区块链交互 - Google Patents
基于脚本的区块链交互 Download PDFInfo
- Publication number
- CN110692071A CN110692071A CN201880034577.0A CN201880034577A CN110692071A CN 110692071 A CN110692071 A CN 110692071A CN 201880034577 A CN201880034577 A CN 201880034577A CN 110692071 A CN110692071 A CN 110692071A
- Authority
- CN
- China
- Prior art keywords
- transaction
- script
- block
- blockchain
- constraints
- 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.)
- Pending
Links
- 238000013515 script Methods 0.000 title claims abstract description 515
- 230000003993 interaction Effects 0.000 title description 70
- 238000000034 method Methods 0.000 claims abstract description 282
- 238000012546 transfer Methods 0.000 claims abstract description 19
- 230000008569 process Effects 0.000 description 186
- 238000010586 diagram Methods 0.000 description 37
- 238000012795 verification Methods 0.000 description 20
- 238000004590 computer program Methods 0.000 description 16
- 238000002347 injection Methods 0.000 description 16
- 239000007924 injection Substances 0.000 description 16
- 230000009977 dual effect Effects 0.000 description 11
- 230000003287 optical effect Effects 0.000 description 8
- 238000004891 communication Methods 0.000 description 5
- 230000006870 function Effects 0.000 description 5
- 238000002955 isolation Methods 0.000 description 5
- 238000004422 calculation algorithm Methods 0.000 description 4
- 239000000284 extract Substances 0.000 description 4
- 238000012986 modification Methods 0.000 description 4
- 230000004048 modification Effects 0.000 description 4
- 230000036961 partial effect Effects 0.000 description 4
- 230000008901 benefit Effects 0.000 description 3
- 230000001010 compromised effect Effects 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 3
- 230000009471 action Effects 0.000 description 2
- 230000006399 behavior Effects 0.000 description 2
- 230000005540 biological transmission Effects 0.000 description 2
- 238000012790 confirmation Methods 0.000 description 2
- 238000005192 partition Methods 0.000 description 2
- 230000008447 perception Effects 0.000 description 2
- 238000013175 transesophageal echocardiography Methods 0.000 description 2
- 238000010200 validation analysis Methods 0.000 description 2
- 230000004075 alteration Effects 0.000 description 1
- 238000013459 approach Methods 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 238000012512 characterization method Methods 0.000 description 1
- 239000003795 chemical substances by application Substances 0.000 description 1
- 230000000295 complement effect Effects 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 230000008878 coupling Effects 0.000 description 1
- 238000010168 coupling process Methods 0.000 description 1
- 238000005859 coupling reaction Methods 0.000 description 1
- 230000001934 delay Effects 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 230000014509 gene expression Effects 0.000 description 1
- 230000002427 irreversible effect Effects 0.000 description 1
- 230000000670 limiting effect Effects 0.000 description 1
- 238000012423 maintenance Methods 0.000 description 1
- 230000007257 malfunction Effects 0.000 description 1
- 230000007246 mechanism Effects 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 230000000717 retained effect Effects 0.000 description 1
- 239000007787 solid Substances 0.000 description 1
Images
Classifications
-
- 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/389—Keeping log of transactions for guaranteeing non-repudiation of a transaction
-
- 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/02—Payment architectures, schemes or protocols involving a neutral party, e.g. certification authority, notary or trusted third party [TTP]
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/23—Updating
- G06F16/2379—Updates performed during online database operations; commit processing
-
- 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
-
- 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
-
- 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/06—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols the encryption apparatus using shift registers or memories for block-wise or stream coding, e.g. DES systems or RC4; Hash functions; Pseudorandom sequence generators
- H04L9/0618—Block ciphers, i.e. encrypting groups of characters of a plain text message using fixed encryption transformation
- H04L9/0637—Modes of operation, e.g. cipher block chaining [CBC], electronic codebook [ECB] or Galois/counter mode [GCM]
-
- 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
-
- 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
-
- 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
- G06Q2220/00—Business processing using cryptography
Landscapes
- Engineering & Computer Science (AREA)
- Business, Economics & Management (AREA)
- Accounting & Taxation (AREA)
- Computer Security & Cryptography (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Strategic Management (AREA)
- General Business, Economics & Management (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Finance (AREA)
- Databases & Information Systems (AREA)
- Data Mining & Analysis (AREA)
- General Engineering & Computer Science (AREA)
- Financial Or Insurance-Related Operations Such As Payment And Settlement (AREA)
- Power Engineering (AREA)
- Eye Examination Apparatus (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
可提供一种计算机实现的方法,该方法可使用区块链网络例如比特币网络来实现。该计算机实现的方法包括:i)在区块链网络中的节点处接收与数字资产相关的第一交易,所述第一交易包括第一脚本,所述第一脚本指定了针对第二交易的约束集合,所述第二交易用来转移对所述数字资产的控制,所述约束集合包括这样的约束:所述节点获得的数据集合包括从与所述区块链网络相关联的区块链获得的信息;ii)获得所述第二交易,所述第二交易包括第二脚本,由于执行所述第二脚本而使得所述节点获得所述数据集合;iii)通过执行所述第一脚本和所述第二脚本来验证所述第二交易。
Description
技术领域
本发明主要涉及分布式账本技术,包括区块链交易,特别涉及使得将来自区块链、区块头、区块和区块链交易的字段注入至交易脚本中。本发明特别适合但不限于在基于区块链状态的交易中使用。
背景技术
在本文中,我们使用“区块链”一词来涵盖所有形式的基于计算机的电子分布式账本,包括基于共识的区块链和交易链技术、允许和不允许的账本、共享账本及其变体。区块链技术最广为人知的应用是比特币账本,虽然已经提出并开发了区块链的其他应用。尽管术语“比特币”可以被称为本发明中描述的技术的有用应用,但是为了方便说明,比特币仅仅是本发明中描述的技术可以应用的许多应用之一。然而,应注意的是,本发明不限于与比特币区块链一起使用,包括非商业应用在内的其它区块链应用和协议也落入本发明的范围内。例如,本发明中描述的技术在以下方面具有优势:本发明中描述的技术将为使用区块链应用和具有类似于比特币的限制的其他加密货币提供优势,这些限制是关于加密货币交易中可以编码哪些约束的,而不论是否发生加密货币的交换。
如本文所使用的,“数字资产”是由区块链管理的资源的单位。数字资产是由区块链管理的资源的单位。尽管在一些实施例中,数字资产可以用作加密货币,但是可以考虑到,在实施例中,数字资产可以在其他情况下附加地或替代地使用。注意,本发明虽然适用于数字资产的控制,但是本质上是技术性的,并且可以在其他利用区块链数据结构的情况下使用,而不必涉及数字资产的转移。本发明中使用的“数字资产”可以指一种或多种数字资产。例如,一个交易可能有多个输入,并且这些输入中的每一个都可以代表不同的数字资产。在该示例中,控制权被转移的数字资产可以是多个数字资产的集合,该集合本身是数字资产。类似地,交易可以细分和/或组合那些多个输入以产生一个或多个输出,使得例如输入的数量和输出的数量不同。在一个实施例中,加密货币是基于代币的加密货币,其中每个代币代表资产的份额(例如,公司的份额),并且单个交易涉及多种类型的代币(例如,涉及一个或多个不同公司的份额)。
发明内容
本发明描述了一个或多个基于区块链的计算机程序的技术方面。基于区块链的计算机程序是记录在区块链交易中的机器可读和可执行程序。基于区块链的计算机程序可以包括可以处理输入以产生结果的规则,然后可以根据这些结果来执行动作。如果锁定脚本可以访问解锁和先前的交易,则可以利用区块链来启用高度灵活和复杂的基于区块链的计算机程序。当前研究的一个领域是使用基于区块链的计算机程序来实现“智能合约”。与以自然语言编写的传统合同不同,智能合约是旨在自动执行机器可读合约或协议条款的计算机程序。
在实施例中,尽管可以在智能合约中的特定步骤编码与特定实体的交互,但是智能合约也可以自动执行和自我执行。在一些示例中,自动执行是指智能合约的执行,该合约成功执行以启用UTXO的传输。注意,在这样的示例中,能够使得UTXO转移的“实体”是指能够创建解锁脚本而无需证明知晓某些秘密的实体。也就是说,可以在不验证数据源(例如,创建解锁交易的实体)有权访问加密秘密(例如,私密非对称密钥,对称密钥等)的情况下,验证解锁交易。同样,在这样的示例中,自我执行是指使区块链网络的验证节点根据约束来执行解锁交易。在一些示例中,从技术意义上使用“解锁”UTXO,是指创建引用该UTXO并作为有效执行的解锁交易。解锁UTXO在本领域中也可以称为花费UTXO。
区块链交易输出包括锁定脚本和有关数字资产(例如比特币)所有权的信息。锁定脚本(也可以称为“负载”)通过指定转移UTXO所需满足的条件来“锁定”数字资产。例如,锁定脚本可能要求在解锁脚本中提供某些数据以解锁关联的数字资产。锁定脚本在比特币中也称为“脚本公钥”(scriptPubKey)。要求锁定方提供数据以解锁数字资产的技术涉及将数据的散列嵌入锁定脚本中。但是,如果在创建锁定脚本时未确定(例如,未知和未固定)数据,则会出现问题。
另外,如果基于区块链本身的各个方面(例如,区块中的其他交易或区块头的内容)预测锁定脚本,则在创建锁定脚本时该数据不存在,并且在区块链中不存在用来查询区块链的状态以获得该数据的操作码。因此,锁定脚本不能要求特定的区块头,不能要求区块链的特定状态,也不能要求交易位于区块链的特定区块内。
因此,期望提供在一个或多个这些方面中改进区块链技术的方法和***。因此,根据本发明,提供了所附权利要求中所限定的方法。
下文更详细地描述了计算机实现的方法和电子设备,用于对解锁脚本中的数据实施约束,以要求解锁脚本包括区块头,区块链或区块头链。通过对解锁脚本中的数据实施此类约束,并在运行时将此类数据注入至解锁脚本中,交易可以基于区块链的各个方面。
因此,根据本发明,可以提供一种所附权利要求书中所限定的计算机实现的方法(和相应的***)。该方法可以描述为区块链数据约束方法。该计算机实现的方法包括:i)在区块链网络中的节点处接收包括第一脚本的第一交易,该第一脚本指定了对第二交易的约束集合,约束集合包括这样的约束:节点获得的数据集合包括从与区块链网络相关联的区块链获得的信息;ii)获得第二交易,所述第二交易包括第二脚本,由于执行该第二脚本而导致节点获得上述数据集合;iii)通过执行第一脚本和第二脚本来验证第二交易。
下文更详细地描述了计算机实现的方法和电子设备,用于对解锁脚本中的数据实施约束,以要求在可以使用解锁脚本来解锁锁定脚本和访问交易的数字资产之前区块链处于特定状态。通过在锁定脚本上实施约束以要求解锁脚本包括区块头、区块链或区块头链,并在运行时将此类数据注入至解锁脚本中,交易可以基于区块链的状态。
约束集合可包括这样的约束:上述数据集合包括区块链的区块的区块头。
通过至少验证区块头具有预定大小,节点可以确定是否满足这样的约束:数据集合包括区块链的区块的区块头。附加地或替代地,节点可以通过至少验证区块头包含大于或等于某难度值的难度值来确定是否满足数据集合包括区块链的区块的区块头的约束。附加地或替代地,节点可以通过至少验证区块头的散列小于或等于在区块头中包含的难度值计算出的目标值来确定这样的约束是否得以满足:数据集合包括区块链的区块的区块头。
约束集合可以包括这样的约束:数据集合包括来自区块链的区块的第三交易。
该数据集合可包括区块链的区块的区块头。附加地或可替代地,约束集合可包括这样的约束:第三交易包括在区块中。附加地或替代地,节点可以至少部分地基于区块链的区块的区块头来确定是否满足所述第三交易包括在区块中的约束。
节点可至少部分地基于由区块头识别的区块中的交易的编码,通过至少计算第三交易的散列值来确定是否满足第三交易包括在区块中的约束。附加地或替代地,节点可以通过至少验证第三交易的散列值等于存储在区块头中的散列值来确定是否满足第三交易包括在区块中的约束。
约束集合可包括这样的约束:数据集合包括区块头链,该区块头链包括区块头的有序集合,区块头的有序集合包括多个区块头,区块头的有序集合指定了与所述多个区块头相关联的顺序。
节点可通过至少部分地基于与多个区块头相关联的顺序至少选择一对区块头来确定这样的约束是否得到满足:第二脚本包括区块头链。该对区块头包括:一对区块头中的第一区块头和一对区块头中的第二区块头。附加地或替代地,节点可以通过至少针对该对区块头来验证该对区块头中的第一区块头的散列是否等于存储在该对区块头中第二区块头中的散列值,来确定第二脚本包括区块头链的约束是否得到满足。
约束集合可包括这样的约束:数据集合从区块链网络的公共区块链获得。
可以在执行第一脚本和第二脚本之前,将区块链网络的一个或多个属性提供给节点。
可以在不验证创建了第二交易的实体有权访问秘密信息的情况下成功地执行验证第二交易。
第一脚本可以是第一交易的锁定脚本,第二脚本是第一脚本的解锁脚本。
该计算机实现的方法可进一步包括:至少部分地基于验证的结果来转移数字资产。因此,根据本发明,可以提供一种在所附权利要求中所定义的计算机实现的方法(和(一个或多个)相应的***)。该方法可以描述为区块链状态确认方法。该计算机实现的方法包括:i)在区块链网络中的节点接收至少指定以下内容的第一交易:a)对第二交易的第一约束集合,该第一约束集合包括一个或多个约束使第二交易包含来自区块链的数据集合;b)对第二交易的第二约束集合,第二约束集合包括与该数据集合中的数据项相关的一个或多个约束;ii)在验证满足了第一约束合和第二约束集合的情况下,将第二交易存储到区块链中。
下文更详细地描述了计算机实现的方法和电子设备,用于对解锁脚本中的数据实施约束,以要求在可以使用解锁脚本来解锁锁定脚本之前区块链处于特定状态,并在这些状态下保持对交易的数字资产的访问。通过对锁定脚本实施约束以要求解锁脚本包括区块头、区块链或区块头链,并通过在运行时将此类数据注入至解锁脚本中,交易结果可以基于区块链的状态。
该数据集合可在第二交易中的节点处接收。
该计算机实现的方法可进一步包括:验证第二交易以作为验证的结果。
可以在不验证创建第二交易的实体有权访问秘密信息的情况下成功地执行验证第二交易。
第一约束集合可包括这样的约束:数据集合包括区块链的区块头。
第一约束集合可包括这样的约束:数据集合包括来自区块链的区块的第三交易。
第一约束集合可包括这样的约束:数据集合包括区块头链,该区块头链包括区块头的有序集合,区块头的有序集合包括多个区块头,区块头的有序集合指定与多个区块头相关联的顺序。
第二约束集合可包括对数据集合的数据项的值的约束。
第二约束集合可包括从与数据集合的数据项相关联的一个或多个值得出的约束。
第一约束集合可包括在第一交易的锁定脚本中。
第二约束集合可包括在第一交易的锁定脚本中。
第一约束集合可包括这样的约束:数据集合从公共区块链接收。
节点可通过至少在第二交易中接收第一区块集合和第二区块集合来确定从公共区块链接收数据集合的约束是否得以满足,所述第一区块集合包括了从区块链网络接收的区块之前的区块,所述第二区块集合包括了从区块链网络接收的区块之后的区块。附加地或可替代地,节点可通过至少验证第一区块集合链接至从区块链网络接收的区块来确定从公共区块链接收数据集合的约束是否得以满足。附加地或可替代地,节点可通过至少验证第二区块集合链接至从区块链网络接收的区块来确定从公共区块链接收数据集合的约束是否得以满足。附加地或替代地,节点可通过至少验证第一区块集合和第二区块集合是否有效来确定从公共区块链接收数据集合的约束是否得以满足。附加地或可替代地,节点可通过至少验证第一区块集合和第二区块集合中的每个区块具有比预定值更大的难度值来确定从公共区块链接收数据集合的约束是否得以满足。
因此,根据本发明,可以提供一种在所附权利要求中所定义的计算机实现的方法(和(一个或多个)相应的***)。该方法可以描述为区块链状态感知方法。该计算机实现的方法包括:i)在区块链网络中的节点处接收至少指定以下内容的第一交易:a)对第二交易的第一约束集合,该第一约束集合包括一个或多个约束使第二交易包含来自区块链网络的数据集合;b)对第二交易的第二约束集合,第二约束集合包括该数据集合包括包括第一交易的区块的约束,所述区块包括在与区块链网络相关联的区块链中;ii)成功验证满足第一约束集合和第二约束集合,使得将第二交易记录到区块链网络中。
该数据集合可以在第二交易中的节点处接收。
第一约束集合可以包括这样的约束:数据集合包括区块链的区块头。
第一约束集合可包括这样的约束:数据集合包括区块链的区块的第三交易。
第一约束集合可包括这样的约束:数据集合包括区块头链,该区块头链包括区块头的有序集合,区块头的有序集合包括多个区块头,区块头的有序集合指定与多个区块头相关联的顺序。
验证满足第一约束集合和第二约束集合,从而可以将区块链网络的一组属性提供给节点。
所述区块链网络的该组属性可包括与区块链网络的区块链的每个区块相关联的对应时间戳。
第一约束集合包括这样的约束:第二交易包括与区块相关的时间戳。附加地或可替代地,对第二交易包括与区块相关的时间戳的约束进行验证可至少部分基于区块链网络的该组属性。
第一约束集合包括这样的约束:数据集合包括区块头。附加地或可替代地,第二约束集合可包括这样的约束:第二交易包括第一交易的标识符。附加地或可替代地,第二约束集合可包括这样的约束:第一交易的标识符与区块头的值相关联。
第一约束集合和第二约束集合可包括在交易的锁定脚本中。
第一交易可以在第二交易上指定第三约束集合,第三约束集合包括对数据集合的数据项的值的约束。
第一交易可以在第二交易上指定第三约束集合,第三约束集合包括从与该数据集合的数据项相关联的一个或多个值得出的约束。
该计算机实现的方法可进一步包括:由于验证了满足第一约束集合和第二约束集合而验证第二交易,因此成功验证了第二交易,而未验证创建了第二交易的实体有权访问秘密信息。因此,根据本发明,可以提供一种在所附权利要求中所定义的计算机实现的方法(和(一个或多个)相应的***)。该方法可以描述为区块链数据约束方法。该计算机实现的方法包括:i)在区块链网络中的节点处接收与数字资产相关联的第一交易,第一交易包括第一脚本,第一脚本对第二交易规定了约束集合,所述第二交易用来转移对数字资产的控制,约束集合包括的约束为节点获取的数据集合包括从与区块链网络相关联的区块链获得的信息;ii)获得第二交易,所述第二交易包括第二脚本,由于执行该第二脚本而使得节点获得数据集合;iii)通过执行第一脚本和第二脚本来验证第二交易。
约束集合可包括这样的约束:数据集合包括区块链的区块的区块头。
通过至少验证区块头具有预定大小,节点可以确定是否满足这样的约束:数据集合包括区块链的区块的区块头。附加地或替代地,节点可以通过至少验证区块头包含大于或等于某难度值的难度值来确定是否满足这样的约束:数据集合包括区块链的区块的区块头。附加地或替代地,节点可以通过至少验证区块头的散列小于或等于从区块头中包含的难度值计算出的目标值来确定是否满足数据集合包括区块链的区块的区块头的约束。
约束集合可以包括这样的约束:数据集合包括来自区块链的区块的第三交易。
该数据集可包括区块链的区块的区块头。附加地或可替代地,约束集合可包括这样的约束:第三交易包括在区块中。附加地或替代地,节点可以至少部分地基于区块链的区块的区块头来确定是否满足第三交易包括在区块中的约束。
节点可至少部分地基于由区块头识别的区块中的交易的编码,通过至少计算第三交易的散列值来确定是否满足第三交易包括在区块中的约束。附加地或替代地,节点可以通过至少验证第三交易的散列值等于存储在区块头中的散列值来确定是否满足第三交易包括在块中的约束。
约束集合可包括这样的约束:数据集合包括区块头链,该区块头链包括区块头的有序集合,区块头的有序集合包括多个区块头,区块头的有序集合指定了与所述多个区块头相关联的顺序。
节点可通过至少部分地基于与多个区块头相关联的顺序至少选择一对区块头来确定第二脚本包括区块头链的约束是否得到满足,即区块头对,该区块头对包括:该区块头对中的第一区块头和该区块头对中的第二区块头。附加地或替代地,节点可以至少通过针对该区块头对来验证该区块头对中的第一区块头的散列是否等于存储在该区块头对中第二区块头中的散列值,来确定第二脚本包括区块头链的约束是否得到满足。
约束集合可包括这样的约束:数据集合从区块链网络的公共区块链获得。
可以在执行第一脚本和第二脚本之前,将区块链网络的一个或多个属性提供给节点。
可以在不验证创建了第二交易的实体有权访问秘密信息的情况下成功地执行验证第二交易。
第一脚本可以是第一交易的锁定脚本,第二脚本是第一脚本的解锁脚本。
该计算机实现的方法可进一步包括:至少部分地基于验证的结果来转移数字资产。
因此,根据本发明,可以提供一种在所附权利要求中所定义的计算机实现的方法(和(一个或多个)相应的***)。该方法可以描述为区块链状态确认方法。该计算机实现的方法包括:i)在区块链网络中的节点处接收与数字资产相关联的第一交易,第一交易至少指定:a)对第二交易的第一约束集合,所述第一约束集合用来转移对数字资产的控制,该第一约束集合包括一个或多个约束使第二交易包含来自区块链的数据集合;b)对第二交易的第二约束集合,第二约束集合包括与该数据集合中的数据项相关的一个或多个约束;ii)验证满足第一约束集合和第二约束集合;iii)至少部分基于验证来重新关联数字资产。
该数据集合可以在第二交易中的节点处接收。
该计算机实现的方法可以进一步包括:验证第二交易以作为验证的结果。
成功地执行验证第二交易而未验证创建第二交易的实体有权访问秘密信息。
第一约束集合可包括这样的约束:数据集合包括区块链的区块头。
第一约束集合可包括这样的约束:数据集合包括来自区块链的区块的第三交易。
第一约束集合可包括这样的约束:数据集合包括区块头链,该区块头链包括区块头的有序集合,区块头的有序集合包括多个区块头,区块头的有序集合指定与多个区块头相关联的顺序。
第二约束集合可包括对数据集合的数据项的值的约束。
第二约束集合可包括从与数据集合的数据项相关联的一个或多个值得出的约束。
第一约束集合可包括在第一交易的锁定脚本中。
第二约束集合可包括在第一交易的锁定脚本中。
第一约束集合可包括这样的约束:数据集合从公共区块链接收。
节点可通过至少在第二交易中接收第一区块集合和第二区块集合来确定从公共区块链接收数据集合的约束是否得以满足,所述第一区块集合包括了从区块链网络接收的区块之前的区块,所述第二区块集合包括了从区块链网络接收的区块之后的区块。附加地或可替代地,节点可通过至少验证第一区块集合链接至从区块链网络接收的区块来确定从公共区块链接收数据集合的约束是否得以满足。附加地或可替代地,节点可通过至少验证第二区块集合链接至从区块链网络接收的区块来确定从公共区块链接收数据集合的约束是否得以满足。附加地或替代地,节点可通过至少验证第一区块集合和第二区块集合是否有效来确定从公共区块链接收数据集合的约束是否得以满足。附加地或可替代地,节点可通过至少验证第一区块集合和第二区块集合中的每个区块具有比预定值更大的难度值来确定从公共区块链接收数据集合的约束是否得以满足。
因此,根据本发明,可以提供一种在所附权利要求中所定义的计算机实现的方法(和(一个或多个)相应的***)。该方法可以描述为区块链状态感知方法。该计算机实现的方法包括:i)在区块链网络中的节点处接收与数字资产相关联的第一交易,所述第一交易至少指定以下内容:a)对用于转移对数字资产的控制的第二交易的第一约束集合,该第一约束集合包括一个或多个约束使第二交易包含来自区块链网络的数据集合;b)对第二交易的第二约束集合,第二约束集合包括该数据集合包括包括第一交易的区块的约束,所述区块包括在与区块链网络相关联的区块链中;ii)验证满足第一约束集合和第二约束集合;以及iii)至少部分基于验证来转移对数字资产的控制。
该数据集合可以在第二交易中的节点处接收。
第一约束集合可以包括这样的约束:数据集合包括区块链的区块头。
第一约束集合可以包括这样的约束:数据集合包括来自区块链的区块的第三交易。
第一约束集合可包括这样的约束:数据集合包括区块头链,该区块头链包括区块头的有序集合,区块头的有序集合包括多个区块头,区块头的有序集合指定与多个区块头相关联的顺序。
验证满足第一约束集合和第二约束集合,从而可以将区块链网络的一组属性提供给节点。
所述区块链网络的该组属性可包括与区块链网络的区块链的每个区块相关联的对应时间戳。
第一约束集合包括这样的约束:第二交易包括与区块相关的时间戳。附加地或可替代地,对第二交易包括与区块相关的时间戳的约束进行验证可至少部分基于区块链网络的一组属性。
第一约束集合包括这样的约束:数据集合包括区块头。附加地或可替代地,第二约束集合可包括这样的约束:第二交易包括第一交易的标识符。附加地或可替代地,第二约束集合可包括这样的约束:第一交易的标识符与区块头的值相关联。
第一约束集合和第二约束集合可包括在交易的锁定脚本中。
第一交易可以在第二交易上指定第三约束集合,第三约束集合包括对数据集合的数据项的值的约束。
第一交易可以在第二交易上指定第三约束集合,第三约束集合包括从与该数据集合的数据项相关联的一个或多个值得出的约束。
该计算机实现的方法可进一步包括:由于验证了满足第一约束集合和第二约束集合而验证第二交易,其中成功验证了第二交易,而未验证创建了第二交易的实体有权访问秘密信息。
还期望提供一种***,包括:处理器;和包含可执行指令的存储器,所述处理器执行所述指令使得所述***执行权利要求的方法中的任意一项。
还期望提供一种存储了可执行指令的非暂时性计算机可读存储介质,计算机***的处理器执行所述可执行指令,使得所述计算机***至少执行权利要求的方法中的任意一项。
还期望提供一种***,包括:处理器;和包含可执行指令的存储器,所述处理器执行所述指令使得所述***执行权利要求的方法中的任意一项。
根据本发明,可提供一种电子设备。该电子设备包括接口设备,耦合到该接口设备的处理器以及耦合到该处理器的存储器。存储器上存储了计算机可执行指令,该计算机可执行指令在被执行时使处理器用于执行本文所述的方法。
根据本发明,可提供一种计算机可读存储介质。该计算机可读存储介质包括计算机可执行指令,该计算机可执行指令在被执行时使处理器用于执行本文所述的方法。
附图说明
参考本文描述的实施例,本发明的这些和其他方面将变得显而易见或得以阐释。现在将仅通过举例的方式并参考附图来描述本发明的实施例。
图1示出了可以实现各种实施例的示例区块链网络的示意图;
图2示出了根据实施例的示例电子设备的示意图,其中所述示例电子设备可以用作区块链网络中的节点;
图3示出了与基于脚本的区块链交互相关联的交易的示例实施例的示意图;
图4示出了由实施例解决的示例问题的示意图,其中所述示例问题与访问与基于脚本的区块链交互相关联的区块链有关;
图5示出了由实施例解决的示例问题的示意图,其中所述示例问题与访问与基于脚本的区块链交互相关联的区块链中的区块有关;
图6示出了根据实施例的示例环境的示意图,其中数据被验证为区块头,所述区块头用于基于脚本的区块链交互;
图7示出了根据实施例的示例过程的流程图,所述示例过程用于验证数据是基于脚本的区块链交互中的区块头;
图8示出了根据实施例的示例环境的示意图,其中数据验证为用于基于脚本的区块链交互的先前区块的区块头;
图9示出了根据实施例的示例过程的流程图,所述示例过程用于验证数据是基于脚本的区块链交互中的先前区块的区块头;
图10示出了根据实施例的示例环境的示意图,其中数据验证为用于基于脚本的区块链交互的区块头链;
图11示出了根据实施例的示例过程的流程图,所述示例过程用于验证数据是基于脚本的区块链交互中的区块头链;
图12示出了根据实施例的示例环境的示意图,该示例环境示出了可在基于脚本的区块链交互中使用的区块头的默克尔(Merkle)树;
图13示出了根据实施例的示例环境的示意图,其中交易验证为包括在用于基于脚本的区块链交互的区块头中;
图14示出了根据实施例的示例过程的流程图,所述示例过程用于验证交易包括在基于脚本的区块链交互的区块头中;
图15示出了根据实施例的示例环境的示意图,该示例环境示出了如何使用本文所述的方法来解决访问与基于脚本的区块链交互相关联的区块链的问题。
图16示出了根据实施例的示例环境的示意图,该示例环境示出了与基于脚本的区块链交互相关联的区块链的状态;
图17示出了根据实施例的示例环境的示意图,在所述环境中,在基于脚本的区块链交互中确认了区块链的状态;
图18示出了根据实施例的示例过程的流程图,所述示例过程用于在基于脚本的区块链交互中确认区块链的状态;
图19示出了由实施例解决的在基于脚本的区块链交互中锁定脚本的示例问题的示意图;
图20示出了根据实施例的在基于脚本的区块链交互中锁定脚本对数据访问的示例的示意图;
图21示出了根据实施例的示例环境的示意图,在所述环境中,在基于脚本的区块链交互中,从串行化交易字段集合中生成签名;
图22示出了根据实施例的示例过程的流程图,所述示例过程用于在基于脚本的区块链交互中引起串行化解锁交易字段集合的注入;
图23示出了由实施例解决的在基于脚本的区块链交互中锁定脚本的示例问题的示意图;
图24示出了根据实施例的示例环境的示意图,在所述环境中,在基于脚本的区块链交互中引起先前的串行化交易的注入;
图25示出了根据实施例的字段集合的示例的示意图,在基于脚本的区块链交互中,所述字段集合基于签名散列类型而可用;
图26示出了根据实施例的在基于脚本的区块链交互中从串行化交易中提取交易标识符的示例的示意图;
图27示出了根据实施例的示例过程的流程图,在基于脚本的区块链交互中,所述示例过程用于引起先前串行化交易的注入;
图28示出了根据实施例的示例环境的示意图,在所述环境中,区块链的状态用于基于脚本的区块链交互;
图29示出了根据实施例的示例过程的流程图,所述示例过程为在基于脚本的区块链交互中使用区块链的状态的示例过程;
图30示出了根据实施例的在基于脚本的区块链交互中使用区块链的状态的示例实施方式的示意图。
具体实施方式
首先参考图1,图1以示意图的形式示出了与区块链相关联的示例区块链网络100,可以实现各种实施例。运行区块链协议(在该协议下可操作区块链网络100)的实例的分布式电子设备可以参与区块链网络100。这样的分布式电子设备可称为节点102。区块链协议可以是例如比特币协议。
运行区块链协议并且形成区块链网络100的节点102的电子设备可以是各种类型,包括例如计算机(如台式计算机、膝上型计算机、平板计算机、服务器)、移动设备(如智能手机)、可穿戴设备(如智能手表),或其他电子设备。
区块链网络100的节点102使用适当的通信技术彼此耦合,所述通信技术可包括有线和无线通信技术。这种通信遵循与区块链相关的协议。例如,在区块链是比特币区块链的情况下,可以使用比特币协议。节点102维护区块链上所有交易的全局账本。因此,全局账本是分布式账本。每个节点102可以存储全局账本的完整副本或部分副本。节点102影响全局账本的交易由其他节点102验证,从而全局账本的有效性得以维护。当区块链是基于工作量证明的区块链时,还可以通过检查与区块一起提交的工作量证明来验证区块。
至少一些节点102用作区块链网络100的矿工104。图1的区块链网络100是工作量证明区块链,其中矿工104执行昂贵的计算以便于在区块链上进行交易。例如,工作量证明区块链可要求矿工解决加密问题。在比特币中,矿工104找到一个随机数,使得具有双SHA256的区块头散列到小于当前定义的难度的值的数字。工作量证明算法所需的散列能力意味着,在交易的顶部已经挖掘一定数量的区块之后,实际上认为该交易是不可逆的。解决加密问题的矿工104为区块链创建一个新区块,并将新区块广播到其他节点102。其他节点102验证矿工104实际上已经解决了加密问题,并因此在接受应将区块添加到区块链之前展现足够的工作量证明。在接受应该将区块添加到区块链之前,其他节点102还验证区块本身是有效的(例如,区块的交易和区块头是有效的)。通过节点102的共识,将区块添加到区块链(即添加到分布式全局帐本)。
矿工104创建的区块包括已经由节点102广播到区块链的交易。例如,该区块可包括从与节点102中的一个相关联的地址到与节点102中的另一个相关联的地址的交易。这样,该区块充当从一个地址到另一个地址的交易记录。要求将交易包含在区块中的一方通过使用与他们的公钥相对应的私钥对请求进行签名,来证明他们被授权而发起转移(例如,在比特币的情况下转移比特币)。如果请求已有效签名,则仅将转移添加到区块中。
就比特币而言,公钥和地址之间存在一一对应的关系。也就是说,每个公钥都与唯一一个地址相关联。因此,本文中对向公钥或自公钥转移数字资产(例如,转移至与公钥相关联的地址)以及向或自与公钥相关联的地址转移数字资产的任何引用均指通用操作。
某些节点102可能不会充当矿工,而可能会充当验证节点。交易的验证可以涉及检查签名或在锁定脚本中指定的其他条件,确认对有效UTXO的引用等。图1的示例包括六个节点102,其中两个作为矿工104参与。实际上,节点102或矿工104的数量可以不同。在许多区块链网络中,节点102和矿工104的数量可以比图1中所示的数量大得多。
图2以示意图的形式示出了示例电子设备200,该电子设备200可用作根据实施例的区块链网络(例如,例如结合图1所示的区块链网络100)中的节点(例如,结合图1示出的节点102中的一个节点)。示例电子设备200可用作节点,例如在例如结合图1示出的区块链网络100中结合图1示出的节点102中的一个节点。在一个实施例中,区块链网络是点对点区块链网络。
电子设备可以为各种形式,包括例如台式计算机、膝上型计算机、平板计算机、服务器、移动设备(如智能手机)、可穿戴设备(如智能手表)或其它形式。
电子设备200包括处理器210、存储器220和接口设备230。这些组件可以直接或间接耦合到彼此,并且可以彼此通信。例如,处理器210、存储器220和接口设备230可以通过总线240彼此通信。存储器220存储计算机软件程序,该计算机软件程序包括机器可读指令和用于执行本文描述的功能的数据。例如,存储器可包括处理器可执行指令,该处理器可执行指令在由处理器210执行时使电子设备执行本文所述的方法。处理器可执行指令可包括在由处理器210执行时使电子设备实现与区块链网络(例如,结合图1描述的区块链网络100)相关联的协议的指令。例如,指令可包括用于实现比特币协议的指令。
存储器220可存储区块链网络(例如,结合图1描述的区块链网络100)的全局账本或其一部分。即,存储器220可存储区块链的所有块或块的一部分,例如最新的块,或一些块中的信息的一部分。
虽然存储器220在图2中以单个框示出,实际上,电子设备200可包括多个存储器组件。所述存储器组件可以为各种类型,包括例如随机存取存储器(RAM)、硬盘驱动器(HDD)、固态驱动器(SSD)、闪存驱动器(Flash Drives)等。不同类型的存储器可适用于不同的目的。此外,尽管将存储器220与处理器210分开示出,但是处理器210可包括嵌入式存储器。
如图2所示,处理器210可包括安全区域,例如可信执行环境(TEE)。TEE 250是隔离的执行环境,其向电子设备200提供附加的安全性,例如隔离的执行,可信应用的完整性和资产机密性。TEE 250提供了执行空间,该执行空间保证了在TEE 250内部加载的计算机指令和数据在机密性和完整性方面得到保护。TEE 250可用于保护重要资源(例如加密密钥)的完整性和机密性。TEE 250至少部分地在硬件级别上实现,从而保护TEE 250内执行的指令和数据免受来自电子设备200的其余部分以及电子设备所有者等外部各方的访问和操纵。TEE 250内的数据和计算受到保护,不***作包括TEE 250的节点(例如,结合图1描述的节点102)的一方访问和操纵。
TEE 250可操作以实例化安全执行环境(在本文中也称为“隔离区(enclave)”),然后一次添加一个存储器的页面,同时累积地散列所添加的存储器的页面。在一个实施例中,在远程机器(例如,开发者机器或另一台机器)上执行存储器页面的散列,使得远程机器确定并存储所期望的散列。因此,隔离区的内容可以由任何远程机器进行验证,以确保隔离区正在运行批准的算法。可以通过比较散列来执行该验证。隔离区完全建成后将被锁定。可以在TEE 250中运行代码并将秘密发送给代码,但是一旦隔离区被锁定,就无法更改代码。最终的散列可以由认证密钥签名,并且可以在数据所有者将任何秘密发送到隔离区之前供数据所有者使用以进行验证。
TEE 250可用于保护存储在TEE 250内的加密密钥的机密性和完整性。例如,TEE250可用于生成和存储私钥份额。TEE 250的目的是确保没有成员能够直接获得TEE 250隔离区内的私钥份额,也不能够从成员间通信或隔离区域间通信中获得有关其他私钥份额的信息。该协议在折中隔离区阈值方面也很强大。此外,TEE 250可使得能够由节点(例如,如结合图1示出的节点102中的一个节点)使用的远程认证向其他节点证明TEE 250是真实的并且正在运行已批准的由区块链网络100实现的协议的计算机可执行指令。远程认证可以由TEE250通过运行特定代码段并发送隔离区内部的由隔离区的内部认证密钥签名的节点的散列来提供。
TEE 250可以配备有安全的随机数发生器,该发生器位于TEE的隔离区内部,可以用来生成私钥、随机质询或其他随机数据。TEE 250还可用于从外部存储器读取数据,并且可用于将数据写入外部存储器。可以使用仅在隔离区内保存的秘密密钥来加密此类数据。
可以使用各种平台来实现TEE 250,例如可信平台模块(TPM)或英特尔软件保护扩展(SGX)。例如,SGX支持远程认证,使隔离区能够从执行特定隔离区的处理器中获取签名语句,该特定隔离区具有被称为引用(quote)的给定成员。第三方认证服务,例如英特尔认证服务(IAS),可以证明这些签名语句源自符合SGX规范的真实CPU。
本发明可提供这样的方法(和相应的***):该方法用于使用在另一交易的解锁脚本中提供的未确定的数据,来修改嵌入在区块链交易(Tx)的锁定脚本中的加密公钥。当与例如使用串行化的交易作为消息的比特币协议(例如OP_CHECKSIG)中的签名检查操作码结合使用时,交易和数据都需要获得公钥所有者的批准或授权。这样可以保护交易和数据免受更改。
本文所述的方法使用一个或多个数字签名方案来验证各种交易。该数字签名方案可以是椭圆曲线数字签名算法(ECDSA)方案。数字签名方案也可以是两方ECDSA方案。数字签名方案也可以是阈值ECDSA方案。该方案可用于构造有效签名,而不必重构私钥并且任何一方都不必向另一方透露其密钥份额。在两方ECDSA方案的示例中有两方,并且双方都需要重建私钥。
该ECDSA方案包括可以由节点例如结合图1描述的节点102使用的各种机制来识别恶意或不合作的一方。例如,可验证的秘密共享(VSS)可用于共享沙米尔的秘密共享(SSS)所需的多项式。SSS是秘密共享的一种形式,其中将秘密分为多个部分,提供给每个参与者,每个参与者获得其自己独有的一部分。这些部分可用于重建秘密。如果向不同的节点提供了不一致的份额,或者如果将份额秘密发送到与广播给所有节点的盲份额不同的节点,则节点可以使用VSS来识别恶意节点或成员。任一节点可以识别出不一致的份额。可以通过包括辅助信息来使秘密的共享可验证,该辅助信息允许节点将其份额验证为一致。
可以通过份额的预期接收者节点来识别向单个节点发送不正确的份额(即,与广播的盲份额不同的份额)。可以使用可公开验证的秘密共享(PVSS)技术公开验证对秘密发送到节点的不正确份额的识别。这样的技术可以避免在不使用PVSS,并且不正确的份额的接收者离线,或在发送不正确的份额时接收者从网络的大部分断开时,对欺骗发送者进行识别中可能发生的延迟。
不当行为,例如向不同节点提供不一致的份额,可以由网络解决,以阻止恶意行为。例如,当一个节点被其他节点标识为恶意方时,许多节点可以合作以惩罚该恶意方。例如,节点可以对涉及由恶意方存放到区块链网络的数字资产(例如数字货币、代币或其他股份或价值)采取行动。例如,区块链网络可以通过将数字货币、代币、股份或价值转移到不可赎回的地址来毁掉数字货币、代币、股份或价值,或者区块链网络可以通过与其他拒绝节点达成共识以没收这种数字资产。不是异常行为节点的节点还可通过协作排除异常行为节点来阻止异常行为(例如,通过有效地使密钥份额无效;例如,通过将节点排除在参与大会协议之外,或者通过重新共享私钥,而不为行为异常的节点分配份额)。
可以通过使用TEE来增强上述ECDSA技术。例如,基于Ibrahim等人的阈值ECDSA签名技术构想了一种强大的对手形式,在此称为拜占庭式对手。这种类型的对手可能会表现随意,例如,他们不仅拒绝参与签名过程或中途停止聚会,而且还可能假装诚实参与并发送不正确的信息。但是,通过使用TEE,并在存储密钥份额的TEE的隔离区内生成用于签名的数据,可以提供额外的安全性,因为隔离区极不可能被大量破坏。例如,如果为每个TEE分配的密钥份额不超过一个,假设n足够大,则可以合理预期可能受损的TEE的数量不会接近针对拜占庭式对手的强大阈值。如果相对于密钥份额总数而言,它只容忍一小部分恶意对手,则可以使该协议安全。
例如,如果所有节点都具有TEE,则只有在不损害TEE的制造商的情况下,只有通过对节点的物理访问,并且只有付出很大的努力和费用,才能达到对存储在隔离区域中的秘密的获取。这种制造商级别的损害预计是可控的。例如,如果制造商错误地声称许多公钥对应于真正的TEE,则他们可以获得直接访问私钥份额的权利并可能发动攻击。但是,这样的攻击将需要足够数量的密钥份额,以使得制造商能够在没有其他节点帮助的情况下产生有效的签名。这将意味着累积总股份的很大一部分,这将是非常昂贵的。而且,通过进行攻击,很大一部分所持股份的价值将被破坏。
使用TEE时,考虑协议对“损坏的节点”的强大性很有用。损坏的节点是这样的节点,即TEE外部的硬件已损坏,但TEE的完整性没有受到损害。损坏的节点可以控制了隔离区接收和不接收的信息。特别是,损坏的节点可以暂停,即避免参与协议。如果提供给协议的信息要求由秘密存放在隔离区(在认证过程中对相应的公钥进行了证实)中的私钥签署,则私钥与隔离区本身一样值得信赖。因此,损坏的节点无法向协议发送任意(证实的)信息,只能通过中止或尝试使隔离区误动作(例如通过向其提供过时的信息)来尝试进行干扰。因此,对于损坏的节点,成功的攻击将需要收集足够数量的部分签名以产生完整的签名。
在一些实施例中,可以使用其他阈值方案,包括非ECDSA签名方案。
图3以示意图形式示出了与基于脚本的区块链交互相关联的交易的示例实施例300。图3所示的示例实施例300描述了:对区块链的第一状态306进行编码的先前区块链交易302和对区块链的第二状态308进行编码的解锁区块链交易304。在示例实施例300中,处于第一时间的当前状态306表示为嵌入在先前交易302中的参数。在一个实施例中,解锁交易304包括表示下一状态308的参数。
在示例实施例300中,交易302和304是字段值集合,其包含一个或多个输入和一个或多个输出。在一些实施例中,输入和输出反映了将数字资产的控制从至少一个实体转移到至少另一实体的意图。在示例实施例300中,先前交易302是包括在区块链中的最新的,确认过的交易。在示例实施例300中,解锁交易304是近期将要发生的交易,其尚未被确认并且尚未被包括在区块链中。解锁交易304的每个输入接收先前交易302的输出。
一些区块链技术,例如比特币,使用椭圆曲线数字签名算法(ECDSA)作为数字签名的数学方案。在实施例中,ECDSA是用于确保UTXO仅被转移给其合法所有者的加密数字签名。比特币中的椭圆曲线数字签名(ECDS)通常会在其末尾附加签名散列标记(SIGHASH类型)。然而,可以想到,本发明的技术可与不实现SIGHASH类型的区块链技术一起使用。在这样的区块链技术中,ECDS被构想为符合特定区块链技术的签名生成原理。
在实施例中,SIGHASH类型是指在被串行化(例如规范化)和散列化之前从交易中提取的字段集合。例如,SIGHASH类型可以影响交易的哪些字段包含在签名中。在某些示例中,SIGHASH类型可以是SIGHASH_ALL,SIGHASH_NONE,SIGHASH_SINGLE或SIGHASH_ANYONECANPAY中的一种或多种。在一个实施例中,类型SIGHASH_ALL表征除了输入脚本之外,交易中的所有字段都将被散列和签名。在一个实施例中,类型SIGHASH_NONE表征不需要对输出进行签名,这可以允许其他人更新交易。在一个实施例中,类型SIGHASH_SINGLE表征输入被签名但是序列号被空白,因此其他人可以创建交易的新版本,但是唯一被签名的输出是与输入在相同位置的输出。在一个实施例中,类型SIGHASH_ANYONECANPAY与其他类型组合,并表征包括SIGHASH_ANYONECANPAY的输入是已经签名的,而其他输入则不需要签署。SIGHASH类型可以由表征SIGHASH类型的值表示。例如,在一些实施中,SIGHASH_ALL由值为1的字节表示,SIGHASH_NONE由值为2的字节表示(例如,“00000010”),SIGHASH_SINGLE由值为3的字节表示(例如,“00000011”),SIGHASH_ANYONECANPAY由值为80的字节表示(例如“01010000”)。在一些实施中,通过将字节值相加在一起来组合SIGHASH类型。
在一些示例中,由SIGHASH类型确定的交易字段集合指的是由SIGHASH类型确定的以字节编码的相应交易的子集。例如,在SIGHASH类型为SIGHASH_ANYONECANPAY的情况下,签名中仅包含一个交易输入。
在实施例中,ECDS由以区别编码规则(DER)格式编码的一对256位数字(r,s)表示。然而,请注意,本发明的技术可与其他编码格式一起使用,例如基本编码规则(BER)或规范编码规则(CER)。ECDSA中使用的参数包括K(坐标为(x,y)的椭圆曲线点),k(256位数字;通常是随机的以保护私钥),G(顺序为n的椭圆曲线上的基点:n×G=0,其中0表示同一性椭圆曲线点),n是用作椭圆曲线有限域中的参数的大质数,r(ECDS中的256位的数字之一),s(签名中的256位数字中的另一个,k-1(k的模乘逆数,即k-1k≡1mod n),m(正在签名的消息/数据;在实施例中,其由散列函数调整为256位),a(私钥;例如256位的数字)。在该实施例中,以如下方式生成ECDS:
首先,通过将k与生成器K=k×G相乘来确定椭圆曲线点K。然后,根据K确定点x,然后根据公式r=x mod n确定ECDS中的256位的数字中的第一个:r。然后,根据公式s=k-1(m+r×a)mod n确定ECDS中256位的数字中的第二个:s。最后,(r,s)以DER格式编码。在给定签名(r,s),消息/数据m和对应于私钥a的公钥A的情况下,该签名是可验证的。为了验证签名,计算v=s-1×(m×G+r×y)。如果v=r,则签名有效。
比特币使用称为“脚本(Script)”的脚本***。在本发明中,引用了各种脚本操作码和关键字来执行各种操作。然而,可以想到,其他区块链技术可以实现不同的指令集,因此,本发明中描述的操作码被认为是由操作码而非脚本中的特定操作码执行的操作的说明。在一些实施例中,脚本***是图灵不完整指令集(例如,不支持循环、递归、“goto”语句等)。在其他实施例中,脚本***是图灵完整指令集。
本发明的某些实施例在以下假设下操作:用于实现所描述的指令集的脚本***或其他***在单个脚本中允许超过200条指令(例如,操作码),而这个限制在比特币的某些实施中是被禁止的。同样,本发明的某些实施例还假定由本发明所引用的操作码提供的功能在执行操作码脚本/指令集的***中存在并启用。在比特币的某些实施中,默认情况下可以禁用或限制这些操作码中的一个或多个。
本发明中引用的操作码的示例包括:
·OP_ECPX:返回椭圆曲线点的x坐标
·OP_ADD:将堆栈中的前两个项目相加
·OP_BIGMOD:将堆栈中的前两个项目相除后返回余数
·OP_BIGMODADD:对堆栈的前两项进行模数相加之后再将模数相加的结果对第三项取模
·OP_BIGMODINVERSE:执行模数负指数运算
·OP_BIGMODMUL:对堆栈的前两项进行模数相乘之后再将模数相乘的结果对第三项取模
·OP_CAT:将堆栈中的前两个项目连接在一起
·OP_CHECKSIG:根据SIGHASH类型,从堆栈中弹出公钥和签名,并对交易字段的签名进行验证。如果签名有效,则返回1,否则返回0。
·OP_CHECKSIGVERIFY:其功能与OP_CHECKSIG相同,但之后执行OP_VERIFY·OP_DERENCODE:以DER格式编码堆栈中的前两个项目
·OP_DUP:复制最上面的堆栈项
·OP_ECPMULT:对堆栈上的前两个项目执行椭圆曲线相乘
·OP_ELSE:如果未执行前面的OP_IF或OP_NOTIF或OP_ELSE,则将执行这些语句;否则,如果执行了前面的OP_IF或OP_NOTIF或OP_ELSE,则不执行这些语句
·OP_ENDIF:结束if/else块
·OP_EQUAL:如果输入完全相等,则返回1,否则返回0
·OP_EQUALVERIFY:与OP_EQUAL相同,但之后运行OP_VERIFY
·OP_FROMALTSTACK:将输入放置在主堆栈的顶部,并将其从备用堆栈中删除
·OP_HASH256:输入被散列两次:首先使用SHA-256,然后使用RIPEMD-160
·OP_IF:如果顶层堆栈的值不为False,则执行该语句并删除顶层堆栈的值
·OP_NOTIF:如果最高堆栈值为错误(False),则执行该语句并删除最高堆栈值
·OP_ROLL:将堆栈中n个项目深的项目移至顶部
·OP_SUBSTR:返回字符串的一部分
·OP_SWAP:交换堆栈中的前两个项目
·OP_TOALTSTACK:将输入放置在备用堆栈的顶部,并将其从主堆栈中删除
·OP_VERIFY:如果顶部堆栈值不为真,则将交易标记为无效
在实施例中,可以使用操作码来创建ECDS生成脚本,该操作码可以通过将SIGHASH字节附加到末尾来扩展以创建签名生成脚本OP_GENSIG。
表1
在表1所示的上述脚本中,<SIGHASH Byte>,消息<m>,私钥<a>和数字<k>依次(例如,在***所述四项之后,数字<k>在堆栈的顶部,然后是私钥<a>,然后是消息<m>,最后是<SIGHASH Byte>)输入到主(例如,后进先出)堆栈中。
脚本操作“OP_DUP OP_TOALTSTACK<PubK G>OP_ECPMULT”的执行会使得将数字<k>复制到备用堆栈,其中<k>与椭圆曲线生成器<PubK G>相乘,以在主堆栈的顶部生成椭圆曲线点K。
脚本操作“OP_ECPX<N>OP_BIGMOD OP_DUP OP_TOALTSTACK”的执行使r根据K modn的x坐标进行计算。r的副本压入备用堆栈。
脚本操作“<N>OP_BIGMODMUL<N>OP_BIGMODADD”,“OP_FROMALTSTACK OP_SWAP OP_FROMALTSTACK<N>”和“OP_BIGMODINVERSE<N>OP_BIGMODMUL”的执行通过k-1(m+r×a)mod n计算出s。最后,脚本操作“OP_DERENCODE OP_SWAP OP_CAT”的执行使得r和s以DER格式编码,并与<SIGHASH Byte>连接。
在本发明中,该脚本称为OP_GENSIG。因此,在本发明的实施例中对OP_GENSIG的引用应视为上述脚本中执行的操作的简写。
图4以示意图形式示出了由实施例解决的示例问题400,其中所述示例问题400与访问与基于脚本的区块链交互相关联的区块链有关。在图4中所示的示例问题400中,即交易402中的锁定脚本406(例如,结合图3描述的先前交易(例如先前交易302)或解锁交易304)不能访问区块链404。
如所指出的,在一些实施例中,交易402是包括在区块链中的最新的,确认的交易。类似地,在一些实施例中,交易402是未来交易,其尚未被确认并且尚未包括在区块链中,并且表示对转移由先前交易控制的数字资产的至少一部分的控制的尝试。
在一些实施例中,锁定脚本406是这样的脚本:通过指定为了传输输出而需要满足的条件来阻碍交易。更具体地,执行锁定脚本406用于:作为由区块链***的验证节点执行的结果,从执行的解锁脚本接受数据,并基于该数据执行某些操作,并返回结果,该结果表征解锁脚本的执行是否成功“解锁”(即,满足其中设置的条件集合)锁定脚本。在一些实施例中,锁定脚本406定义了一个或多个数据约束,所述约束必须被满足(例如,通过经由解锁脚本提供的数据),以便成功进行交易的验证。例如,锁定脚本406可要求在解锁脚本中提供某些数据以解锁交易402的关联数字资产。
如示例问题400中所示,交易402的锁定脚本406无法查询区块链404以例如确定块的数量。交易402的锁定脚本406也无法查询包括区块链404的第一区块408(也称为“初始区块”)的区块链404的区块、区块链404的内部区块(例如,区块410)中的任意一个、或区块链404的最新区块412。本文描述的方法使交易402的锁定脚本406能够查询包括第一区块408的区块链404的区块,任何内部区块(例如,区块410)、或区块链404的最新区块412。
图5以示意图形式示出了由实施例解决的示例问题500,其中所述示例问题500与访问与基于脚本的区块链交互相关联的区块链中的区块有关。在图5中所示的示例性问题500中,即交易502(例如,先前的交易,例如结合图3描述的先前交易302;或解锁交易,例如结合图3描述的解锁交易304)中的锁定脚本506不能访问区块链中的区块,例如区块504(即,第一块、内部块、或最新块)。
如所指出的,在一些实施例中,交易502是包括在区块链中的最新的、确认的交易。类似地,在一些实施例中,交易502是未来交易,其尚未被确认并且尚未被包括在区块链中,并且表示对转移对由先前交易控制的数字资产的至少一部分的控制的尝试。
在一些实施例中,锁定脚本506是这样的脚本:通过指定如本文所述为了传输输出而需要满足的条件来阻碍交易。如示例问题500中所示,交易502的锁定脚本506无法查询区块链的区块504,从而例如确定交易的数量或访问特定交易。如示例问题500中所示,交易502的锁定脚本506无法查询区块链的区块504,无法查询区块504的区块头508,并且无法查询区块504的交易510。在区块504包括交易502(表示为区块504的交易510中的交易Txi512)的实施例中,交易502的锁定脚本506也不能查询交易Txi 512(例如,无法查询包含锁定脚本506的交易)。本文所述的方法使交易502的锁定脚本506能够查询区块链的区块504,查询区块504的区块头508,查询区块504的交易510,以及查询区块504的交易510中的交易Txi 512(例如,使锁定脚本能够查询包含锁定脚本506的交易)。
图6以示意图形式示出了根据实施例的示例环境600,其中数据被验证为区块头,所述区块头用于基于脚本的区块链交互。区块头是区块链的区块的一部分,所述区块链包含有关区块的数据。例如,区块头602是80字节的数据,前4个字节存储区块链实施的版本(“nVersion”),接下来的32个字节(或256位)存储区块链先前区块的散列(“HashPrevBlock”),接下来的32个字节存储该区块的交易的默克尔(Merkle)树的散列(“HashMerkleRoot”,本文对此进行了详细说明),接下来的4个字节存储该区块的创建时间(“nTime”),接下来的4个字节存储该区块的32位难度值(“nBits”),最后4个字节存储该区块的随机种子(“nNonce”)。
可以观察到,如果区块头602是用作锁定脚本的输入的数据(例如,作为解锁脚本而提供),则通过将区块头602上的约束编码为锁定脚本,解锁脚本数据必须包含有效的区块头,否则其将不是有效的解锁脚本。对区块头例如区块头602的三个约束是:i)80字节长;ii)区块头的nBits字段必须大于或等于某个难度值;iii)区块头的双SHA256必须小于或等于难度值。这些约束中的每一个在本文中被示为单独的脚本,为了便于图示,省略了链接脚本的细节(例如,分支约束和维护堆栈)。
当这三个脚本与省略的链接脚本详细信息结合在一起时,会形成一个单独的脚本,这是一个OP_CHECKBLOCKVERIFY脚本的示例,用于验证解锁脚本中的<Data>是有效的区块头。在所示的示例中,三个脚本返回真(true)或假(false),但是作为单个脚本链接在一起以生成OP_CHECKBLOCKVERIFY脚本时,通常会将OP_VERIFY添加到每个脚本的末尾。可以想到,OP_CHECKBLOCKVERIFY脚本的其他实施可以实现,并且可以视为在本发明的范围内。
在步骤604中,提供所谓的区块头作为解锁脚本,表示为<Data>。
在步骤606,执行第一脚本,该脚本验证<Data>的大小是80字节(例如,第一约束)。表2示出了验证<Data>的大小为80字节的第一个脚本。
表2
在步骤608中,执行第二脚本,其验证区块头的“nBits”字段大于或等于区块链难度值。表3示出了验证区块头的“nBits”字段大于或等于区块链难度值的第二个脚本。应注意,表3中所示脚本的难度值“<0x1D00FFFF>”是基于比特币规范的最低难度。在实施例中,难度值用作解锁脚本的数据项。在实施例中,较高的难度值(例如,大于0x1D00FFF的值)被用作目标难度。在实施例中,较低的难度值(例如,小于0x1D00FFF的值)被用作目标难度。
表3
在步骤610中,执行第三脚本,该脚本验证区块头的双SHA256(如上所述,由操作码OP_HASH256实现)小于或等于表征的难度值。表4示出了第三个脚本,该脚本验证了区块头的双SHA256小于或等于表征的难度值。表4中示出的第三个脚本引入了两个附加操作码:
·OP_LBYTESHIFT:对任意大小的数据执行左字节移位
·OP_BIGLESSTHANOREQUAL:将任意大小的数据解释为数字,并比较两个数字以确定第一个数字是否小于或等于第二个数字
表4
图7以流程图形式示出了根据实施例的示例过程700,所述示例过程用于验证数据是基于脚本的区块链交互中的区块头。过程700中的部分或全部可以在配置有可执行指令和/或其他数据的一个或多个计算机***的控制下执行,并且可以实现为在一个或多个处理器上共同执行的可执行指令。可执行指令和/或其他数据可以存储在非暂时性计算机可读存储介质上(例如,计算机程序永久存储在磁、光、或闪存介质上)。示例过程700可以由区块链网络的结合图1描述的节点102之一之类的节点执行,区块链网络例如结合图1描述的区块链网络100。也就是说,节点如结合图1所描述的节点102之一可执行示例过程700,用于验证数据是结合图7描述的基于脚本的区块链交互中的区块头。这样的节点可以由任何合适的计算设备组成(例如,由数据中心中的服务器组成,由客户端计算设备组成,由计算资源服务提供商的分布式***中的多个计算设备组成,或由任何合适的电子客户端设备例如结合图2描述的计算设备200组成)。
在示例过程700的步骤702中,***接收<Data>。在示例过程700的步骤704中,***如上所述结合图6开始OP_CHECKBLOCKVERIFY脚本。在示例过程700的步骤706中,***通过执行例如上文表2中所示的脚本来验证<Data>的大小为80字节。在示例过程700的步骤708中,确定先前的脚本(例如,以上表2中所示的脚本)是否通过。
如果在示例过程700的步骤708中确定先前的脚本没有通过,则在示例过程700的步骤718中,<Data>不是有效的区块头,并且锁定脚本解锁失败。
如果在示例过程700的步骤708中确定先前的脚本确实通过了,则在示例过程700的步骤710中,***通过执行例如上文表3中所示的脚本来验证<Data>的“nBits”字段大于或等于区块链难度。在示例过程700的步骤712中,确定先前的脚本(例如,上文表3中所示的脚本)是否通过。
如果在示例过程700的步骤712中确定先前的脚本没有通过,则在示例过程700的步骤718中,<Data>不是有效的区块头,并且锁定脚本解锁失败。
如果在示例过程700的步骤712中确定先前的脚本确实通过了,则在示例过程700的步骤714中,***通过执行例如上文表4中所示的脚本来验证<Data>的SHA256小于或等于所需目标。在示例过程700的步骤716中,确定先前脚本(例如,上文表4中所示的脚本)是否通过。
如果在示例过程700的步骤716中确定先前的脚本未通过,则在示例过程700的步骤718中,<Data>不是有效的区块头,并且锁定脚本解锁失败。
如果在示例过程700的步骤716中确定先前的脚本确实通过了,则在示例过程700的步骤720中,<Data>是有效区块头,并且锁定脚本解锁成功。
注意,在图7中示出的示例过程700中执行的一个或多个操作可以以各种顺序(包括并行)和组合来执行。
图8以示意图形式示出了根据实施例的示例环境800,其中数据验证为用于基于脚本的区块链交互的先前区块的区块头。如本文所述,区块头是区块链的区块的一部分,该区块链包含有关该区块的数据。区块头的一部分是先前区块头(“HashPrevBlock”)的散列。如果将第一区块头作为输入提供给锁定脚本(例如,作为解锁脚本的一部分提供),并且所谓针对区块链中下一区块的第二区块头也作为输入提供给锁定脚本(例如,作为解锁脚本的一部分而提供),那么通过对第一区块头的散列是解锁脚本中的第二区块的HashPrevBlock的约束进行编码,如果第一区块头的散列不是第二区块的HashPrevBlock,那么两个区块头将不是有效的解锁脚本。
在步骤804中,提供第一区块头802作为解锁脚本的数据(表示为<Data 1>),并且在步骤810中,提供第二区块头808作为如下所示用于解锁脚本的数据(表示为<Data 2>)。在步骤806中,脚本(例如以上结合图6和图7所描述的OP_CHECKBLOCKVERIFY脚本)用于验证<Data 1>是区块头。在步骤812中,脚本(例如以上结合图6和图7所描述的OP_CHECKBLOCKVERIFY脚本)用于验证<Data 2>是区块头。
在步骤814中,执行脚本以验证第一区块头<Data 1>的双SHA256等于第二块头<Data 2>的HashPrevBlock字段。表5中示出了一个脚本的示例,该脚本验证了第一区块头<Data 1>的双SHA256等于第二区块头<Data 2>的HashPrevBlock字段。表5中所示的脚本是OP_CHECKCHAINVERIFY脚本的示例,用以验证<Data 1>是紧接在<Data 2>之前的有效区块。可以想到,OP_CHECKCHAINVERIFY脚本的其他实施方式可以实现,并且可以将其视为在本发明的范围内。应注意,表5中示出的OP_CHECKCHAINVERIFY脚本的最终操作码是OP_EQUAL,因为执行后“true”值应该在堆栈上保留。在将OP_CHECKCHAINVERIFY脚本与其他脚本结合使用的实施例中,该脚本的最终OP_EQUAL操作码更改为OP_EQUALVERIFY操作码。
表5
图9以流程图形式示出了根据实施例的示例过程900,所述示例过程用于验证数据是基于脚本的区块链交互中的先前区块的区块头。过程900的部分或全部可以在配置有可执行指令和/或其他数据的一个或多个计算机***的控制下执行,并且可以实现为在一个或多个处理器上共同执行的可执行指令。可执行指令和/或其他数据可以存储在非暂时性计算机可读存储介质上(例如,计算机程序永久存储在磁、光或闪存介质上)。示例过程900可以由节点例如结合图1描述的区块链网络的节点102之一执行,区块链网络例如为结合图1描述的区块链网络100。也就是说,节点例如结合图1所描述的节点102之一可执行示例过程900,所述示例过程用于验证数据是结合图9所述的基于脚本的区块链交互中的先前块的区块头。这样的节点可以由任何合适的计算设备组成(例如,由数据中心中的服务器组成,由客户端计算设备组成,由计算资源服务提供商的分布式***中的多个计算设备组成,或由任何合适的电子客户端设备(例如结合图2描述的计算设备200)组成)。
在示例过程900的步骤902中,***接收<Data 1>和<Data 2>,这是两个所谓的区块头。在示例过程900的步骤904中,***如上述结合图8开始对<Data 1>和<Data 2>进行OP_CHECKCHAINVERIFY过程。在示例过程900的步骤906中,***如上文结合图6和图7通过对<Data 1>执行OP_CHECKCHAINVERIFY脚本来验证<Data 1>是区块头。
在示例过程900的步骤908中,确定先前的脚本(例如,<Data 1>上的OP_CHECKBLOCKVERIFY脚本)是否通过(即,OP_CHECKBLOCKVERIFY脚本返回了真(true))。如果在示例过程900的步骤908中确定先前的脚本没有通过,则在示例过程900的步骤910中,<Data 1>不是有效的区块头,并且在示例过程900的步骤922中,<Data 1>不是<Data 2>的先前区块,因此锁定脚本的解锁失败。
如果在示例过程900的步骤908中确定先前脚本确实通过了,则在示例过程900的步骤912中,***如上所述结合图6和图7通过执行OP_CHECKBLOCKVERIFY脚本来验证<Data2>是区块头。
在示例过程900的步骤914中,确定先前的脚本(例如,<Data 2>上的OP_CHECKBLOCKVERIFY脚本)是否通过(即,OP_CHECKBLOCKVERIFY脚本返回了真(true))。如果在示例过程900的步骤914中确定先前的脚本未通过,则在示例过程900的步骤916中,<Data2>不是有效的区块头,并且在示例过程900的步骤922中,<Data 1>不是<Data 2>的先前区块,因此锁定脚本的解锁失败。
如果在示例过程900的步骤914中确定先前的脚本确实通过了,则在示例过程900的步骤918中,***验证<Data 1>的双SHA256等于<Data 2>的“HashPrevBlock”字段。
在示例过程900的步骤920中,确定<Data 1>的双SHA256是否等于<Data 2>的“HashPrevBlock”字段。如果在示例过程900的步骤920中确定<Data 1>的双SHA256不等于<Data 2>的“HashPrevBlock”字段,则在示例过程900的步骤922中,<Data 1>不是<Data 2>的先前区块,因此锁定脚本解锁失败。
如果在示例过程900的步骤920中确定<Data 1>的双SHA256等于<Data 2>的“HashPrevBlock”字段,则在示例过程900的步骤924中,<Data 1>是<Data2>的先前区块,因此锁定脚本的解锁成功。
注意,在图9中示出的示例过程900中执行的一个或多个操作可以以各种顺序(包括并行)和组合执行。
图10以示意图的形式示出了根据实施例的示例环境1000,其中数据验证为用于基于脚本的区块链交互的区块头链。图10示出的示例环境1000是结合图8和图9描述的操作的扩展。在图10中示出的示例环境1000中,将区块头链1010(即,区块头的链)的第一区块头1002的双SHA256与区块头链1010的第二区块头1004的HashPrevBlock进行比较,将区块头链1010的第二区块头1004的双SHA256与区块头链1010的第三区块头1006的HashPrevBlock进行比较,依此类推,直到将区块头链1010的倒数第二个区块(未示出)的双SHA256与区块头链1010的最后一个区块头1008的HashPrevBlock进行比较。
示例环境1000示出了通过对每对区块重复表5中所示的脚本,可以将表5中所示的OP_CHECKCHAINVERIFY脚本概括为附加的块。这样的脚本在本文中称为OP_CHECKBLOCKCHAINVERIFY。
例如,OP_CHECKBLOCKCHAINVERIFY脚本可以将区块头链中的多个区块头和区块头链的区块头作为输入参数,并重复执行OP_CHECKCHAINVERIFY。表6示出了一个示例,说明如何使用此脚本来验证六个区块头的链。
表6
表7示出了OP_CHECKBLOCKCHAINVERIFY的实施示例,该实施对大量区块重复OP_CHECKCHAINVERIFY的操作。在表7中所示的OP_CHECKBLOCKCHAINVERIFY的示例实施中,重复该部分以覆盖<d-1>范围的值,该部分在区块头中循环(例如,<d>区块头循环<d-1>次)且对每对区块头执行OP_CHECKCHAINVERIFY操作,通过使用alt堆栈来保存和维护顺序。
表7
图11以流程图形式示出了根据实施例的示例过程1100,所述示例过程用于验证数据是基于脚本的区块链交互中的区块头链。过程1100的部分或全部可以在配置有可执行指令和/或其他数据的一个或多个计算机***的控制下执行,并且可以实现为在一个或多个处理器上共同执行的可执行指令。可执行指令和/或其他数据可以存储在非暂时性计算机可读存储介质上(例如,计算机程序永久存储在磁、光、或闪存介质上)。示例过程1100可以由节点例如区块链网络的结合图1描述的节点102之一执行,区块链网络例如为结合图1描述的区块链网络100。也就是说,节点如结合图1所描述的节点102之一可执行示例过程1100,用于验证数据是结合图11描述的基于脚本的区块链交互中的区块头链。这样的节点可以由任何合适的计算设备组成(例如,由数据中心中的服务器组成,由客户端计算设备组成,由计算资源服务提供商的分布式***中的多个计算设备组成,或由任何合适的电子客户端设备例如结合图2描述的计算设备200组成)。
在示例过程1100的步骤1102中,***接收有序数据集合,即<Data 1>至<Data n>。在示例过程1100的步骤1104中,***如上文结合图10所描述的,对所述有序数据集合开始OP_CHECKBLOCKCHAINVERIFY脚本。
在示例过程1100的步骤1106中,***至少部分地基于有序数据集合的顺序,从有序数据集合中选择第一数据项(例如,<Data 1>)。在示例过程1100的步骤1108中,***至少部分地基于有序数据集合的顺序,从有序数据集合中选择第二数据项(例如,<Data 2>)。在实施例中,***使用例如上文结合图6和图7描述的OP_CHECKBLOCKVERIFY脚本来验证第一数据项和第二数据项是有效区块头。
在示例过程1100的步骤1110中,***通过对第一数据项和第二数据项执行OP_CHECKCHAINVERIFY来验证第一数据项是第二数据项的先前区块,如表5中结合图8至图9所示。
在示例过程1100的步骤1112中,确定第一数据项和第二数据项上的OP_CHECKCHAINVERIFY脚本是否通过(即,第一数据项是否是第二数据项中的区块头的先前区块头)。
如果在示例过程1100的步骤1112中确定第一数据项和第二数据项上的OP_CHECKCHAINVERIFY脚本没有通过,则在示例过程1100的步骤1114中,第一数据项不是第二数据项中的区块头的先前区块头,并且在示例过程1100的步骤1116中,数据的有序集合不是有效的区块头链。
如果在示例过程1100的步骤1112中确定第一数据项和第二数据项上的OP_CHECKCHAINVERIFY脚本确实通过了,则在示例过程1100的步骤1118中,确定在有序数据集合中是否存在更多数据。
如果在示例过程1100的步骤1118中确定有序数据集合中存在更多数据,则在示例过程1100的步骤1120中,第二数据项成为示例过程1100中的第一数据项,在示例过程1100的步骤1122中,至少部分地基于数据顺序从有序数据集合中选择新的第二数据项,并且在示例过程1100的步骤1110中,如表5中所示和结合图8和图9所描述的,***通过对新的第一数据项和新的第二数据项执行OP_CHECKCHAINVERIFY来验证新的第一数据项是新的第二数据项的先前区块。
如果在示例过程1100的步骤1118中确定在有序数据集合中没有更多数据,则在示例过程1100的步骤1124中,有序数据集合是有效的区块头链。
注意,在图11中示出的示例过程1100中执行的一个或多个操作可以以各种顺序(包括并行地)和组合来执行。
图12以示意图形式示出了根据实施例的示例环境1200,该示例环境1200示出了可在基于脚本的区块链交互中使用的区块头的默克尔树(Merkle tree)。默克尔树(也称为“二进制散列树”)是一种数据结构,用于验证区块中的交易集合。默克尔树是包含交易的加密散列的二叉树。但是,通过对数据进行重复散列和连接,可以将默克尔树存储为单个散列值(例如,单个32字节或256位值)。
在示例环境1200中,通过以下方式生成默克尔树1204:i)计算区块的每个交易的散列;ii)选择一对散列并将它们连接在一起;iii)计算连接值的散列;iv)在树的连续更高级别上重复该过程,直到产生最终的散列值(“默克尔根”)为止。然后,将该默克尔根作为“HashMerkleRoot”值***到区块头中。
例如,从交易1206开始,计算该交易的散列1208。如本文所使用的,交易1206将称为TA,交易1206的散列1208将称为H(TA)。类似地,交易1210(TB)具有散列1212H(TB)。为了产生散列1216,在散列1214之前,将左值与右值连接起来,因此散列1216是H(H(TA)+H(TB)),其中“+”运算符在这种情况下是超载的,表示连接(例如,如果H(TA)为“1234”,H(TB)为“5678”,则H(TA)+H(TB)为“12345678”,H(H(TA)+H(TB))是“12345678”的散列。
示例环境1200还示出了默克尔分支,该默克尔分支是默克尔树中的节点集合,其与默克尔根组合,可用于验证用于特定叶节点(即,特定交易)的数据在默克尔树中。在给定默克尔根和默克尔分支的情况下,可以以下方式验证默克尔树中给定交易(例如,交易1218)的存在。首先,计算交易的散列1220。然后,计算默克尔树中下一级的散列1224。然而,如上所述,在默克尔树的下一级的散列1224需要另一交易(例如,作为默克尔树中的交易1218的伙伴交易)的散列1222。该散列1222是默克尔分支中的第一节点。
在给定散列1224的情况下,计算在默克尔树的下一级的散列1226。该计算需要默克尔树的其他交易(例如,另一分支)的散列1216。该散列1216是默克尔分支中的第二节点。可以想到,在默克尔树的每个级别上,默克尔分支需要在树的“其它”分支中的交易组合的散列。因此,假设散列1230的左分支是包含交易1218(可以计算为上述所述的)的分支,则要计算散列1230,需要右分支的散列1228(默克尔分支中的另一个节点)。最后,为了计算默克尔根,需要默克尔树的整个右侧的散列1232。可以用来验证交易1218在默克尔树1204中的默克尔分支是散列1230,散列1228,散列1216和散列1222。由于树的深度为4,因此四个节点位于默克树中。应注意,默克尔树的深度取决于区块中的交易数,并且是交易数的log2(即,对于512个交易,树的深度为9,用于验证默克尔分支的节点有9个节点,对于1024个交易,树的深度为10,验证节点的默克尔分支具有10个节点,对于2048个交易,树的深度为11,验证节点的默克尔分支具有为11节点,等等)。例如,如果一个比特币区块中每个区块的平均交易数约为2000,则典型的区块的默克尔树的深度为11。
图13以示意图形式示出了根据实施例的示例环境1300,其中交易验证为包括在用于基于脚本的区块链交互的区块头中。如本文所述,区块头是区块链的区块的一部分,该区块链包含有关该区块的数据。区块头的一部分是默克尔树的默克尔根(“HashMerkleRoot”),所述默克尔树可用于验证区块中的交易。如果提供区块头作为锁定脚本的输入(例如,提供作为解锁脚本),以及用于交易和该交易的默克尔分支,则可以编码约束(所述约束为:区块头的HashMerkleRoot与从默克尔分支和交易计算出的默克尔根相同),如果区块头的HashMerkleRoot与计算出的默克尔根不同,则区块头、默克尔分支和交易将不是有效的解锁脚本。
在步骤1304中,提供第一区块头1302作为用于解锁脚本的数据(表示为<Data 1>)。在步骤1306中,脚本例如上文结合图6和图7所述的OP_CHECKBLOCKVERIFY脚本用于验证<Data 1>是区块头。在步骤1308,从有效区块头中提取HashMerkleRoot。
在步骤1312中,提供默克尔分支1310作为用于解锁脚本的数据(表示为<Data 2>)。默克尔分支1310可以是大约10、11或12个节点,以编码格式提供,该编码格式表征特定节点是如本文所述的连接操作的左输入还是连接操作的右输入,尽管本文未示出。
表8示出了OP_CALCMERKLEROOT的示例实施,其中以编码格式提供默克尔分支1310,该编码格式包括对<hash1>,<x1>,<hash2>,<x2>,...,<hashd>,<xd>和值<d>,其中<d>表示对集合中有多少对,每个<hashi>是默克尔树中某个值的散列,每个<xi>是一个值(例如0或1),该值表征是左连接还是右连接。在表8所示的OP_CALCMERKLEROOT的示例实施中,<xi>中的值1表征左侧连接,而<xi>中的值0表征右侧连接。
表8
在步骤1316中,提供交易1314作为用于解锁脚本的数据(表示为<Data 3>)。在步骤1318中,使用OP_CALCMERKLEROOT脚本(在此未示出)从默克尔根<Data 2>和交易<Data 3>计算默克尔根。
在步骤1320中,执行脚本以验证从<Data 1>提取的HashMerkleRoot与对<Data 2>和<Data 3>执行的由OP_CALCMERKLEROOT脚本计算出的默克尔根相等。表9显示了一个脚本示例,该脚本验证了从<Data 1>提取的HashMerkleRoot与由<Data 2>和<Data 3>计算出的默克尔根相同。表9中显示的脚本是OP_CHECKBLOCKTXVERIFY脚本的一个示例,使用<Data 2>的默克尔分支验证区块头<Data 1>的区块包含<Data 3>的交易。可以想到,OP_CHECKBLOCKTXVERIFY脚本的其他实施可以实现,并且可以视为在本发明的范围内。在表9所示的OP_CHECKBLOCKTXVERIFY脚本中,为了便于说明,省略了OP_CHECKBLOCKVERIFY操作。
表9
图14以流程图形式示出了根据实施例的示例过程,所述示例过程用于验证交易包括在基于脚本的区块链交互的区块头中。处理1400的部分或全部可以在配置有可执行指令和/或其他数据的一个或多个计算机***的控制下执行,并且可以实现为在一个或多个处理器上共同执行的可执行指令。可执行指令和/或其他数据可以存储在非暂时性计算机可读存储介质上(例如,计算机程序永久存储在磁、光、或闪存介质上)。示例过程1400可以由节点例如区块链网络的结合图1描述的节点102之一执行,区块链网络例如为结合图1描述的区块链网络100。也就是说,节点如结合图1所描述的节点102之一可执行示例过程1400,用于验证结合图14描述的基于脚本的区块链交互中的区块头中包括交易。这样的节点可以由任何合适的计算设备组成(例如,由数据中心中的服务器组成,由客户端计算设备组成,由计算资源服务提供商的分布式***中的多个计算设备组成,或由任何合适的电子客户端设备例如结合图2描述的计算设备200组成)。
在示例过程1400的步骤1402中,如上文结合图13所描述,***接收<Data 1>,<Data 2>和<Data 3>。在示例过程1400的步骤1402中,也如上文结合图13所述,***对<Data1>,<Data 2>和<Data 3>执行OP_CHECKBLOCKTXVERIFY脚本。
在示例过程1400的步骤1406中,如上文结合图6和图7所述,***使用例如OP_CHECKBLOCKVERIFY脚本来验证<Data 1>是有效区块头。
在示例过程1400的步骤1408中,确定<Data 1>上的OP_CHECKBLOCKVERIFY脚本是否通过。如果在示例过程1400的步骤1408中确定<Data 1>上的OP_CHECKBLOCKVERIFY脚本未通过,则在示例过程1400的步骤1410中,<Data 1>不是有效的区块头,并且在示例过程1400的步骤1412中,<Data 3>的交易被验证不在具有区块头<Data 1>的区块中。
如果在示例过程1400的步骤1408中确定<Data 1>上的OP_CHECKBLOCKVERIFY脚本确实通过了,则在示例过程1400的步骤1414中,如上文结合图13所述,***从<Data 1>中提取HashMerkleRoot字段。在示例过程1400的步骤1416中,也如上文结合同13所述,***从<Data 2>和<Data 3>计算默克尔根。
在示例过程1400的步骤1418中,也如上文结合图13所述,***验证从<Data 1>提取的HashMerkleRoot等于从<Data 2>和<Data 3>计算出的默克尔根。
在示例过程1400的步骤1420中,确定从<Data 1>提取的HashMerkleRoot是否等于从<Data 2>和<Data 3>计算出的默克尔根。在示例过程1400的步骤1420中,如果确定从<Data 1>提取的HashMerkleRoot不等于从<Data 2>和<Data 3>计算的默克尔根,则在示例过程1400的步骤1412,<Data 3>的交易被验证不在带有区块头<Data 1>的区块中。
在示例过程1400的步骤1420中,如果确定从<Data 1>提取的HashMerkleRoot确实等于从<Data 2>和<Data 3>计算出的默克尔根,则在示例过程1400的步骤1422中,<Data 3>的交易被验证在带有区块头<Data 1>的区块中。
注意,在图14中示出的示例过程1400中执行的一个或多个操作可以以各种顺序(包括并行地)和组合来执行。
图15以示意图形式示出了根据实施例的示例环境1500,示出了如何使用本文所述的方法来解决访问与基于脚本的区块链交互相关联的区块链的问题。在示例环境1500中,交易1502(例如结合图3所述的先前交易,如先前交易302或解锁交易304)中的锁定脚本1506能够使用一个或多个结合图6-14所述的方法来查询区块链1504。这与结合图4所述的示例问题400相反。类似地,在示例环境1500中,交易1502中的锁定脚本1506能够使用结合图6至图14所述的一种或多种方法来查询区块链1504的区块1508。这与结合图5所述的示例问题500相反。在实施例中,区块1508的交易1510与交易1502相同(例如,为交易Txi)。
图16以示意图形式示出了根据实施例的示例环境1600,示出了与基于脚本的区块链交互相关联的区块链的状态。区块链包含自区块链产生以来的所有区块。在示例环境1600中,区块链1602的第一区块1604的区块头是最小nTime(例如,最早或时间最前)的区块链1602的状态1606的记录。使用本文中描述的方法,交易的锁定脚本可以查询区块链1602,可以查询第一区块1604,并且因此可以在最低nTime查询区块链1602的状态1606。使用本文中描述的方法,交易的锁定脚本可以查询区块链1602,可以查询区块链1602的区块1608(可以是包含交易的区块),因此可以查询在区块的nTime的区块链1602的状态1610。使用本文描述的方法,交易的锁定脚本可以查询区块链1602,可以查询区块链1602的最新区块1612,并且因此可以在最新区块的nTime查询区块链1602的状态1614(例如,可以查询区块链的当前状态)。这种状态查询的使用在图17和图18中进行了详细描述。
图17以示意图形式示出了根据实施例的示例环境1700,在所述环境中,在基于脚本的区块链交互中确认了区块链的状态。如本文所述,区块头是区块链的区块的一部分,该区块链包含有关该区块的数据。区块头的一部分是默克尔树的默克尔根(“HashMerkleRoot”),所述默克尔树可用于验证区块中的交易。如果提供区块头作为锁定脚本的输入(例如,提供作为解锁脚本),以及用于交易和该交易的默克尔分支,则可以编码约束(所述约束为:区块头的HashMerkleRoot与从默克尔分支和交易计算出的默克尔根相同),如果区块头的HashMerkleRoot与计算出的默克尔根不同,则区块头、默克尔分支和交易将不是有效的解锁脚本。
在实施例中,检查区块链的状态和/或确认区块链的状态包括检查区块链的其他方面,包括但不限于,检查区块链的一个或多个区块的区块头,检查区块链的一个或多个区块之间的关系,检查区块链的区块数量,检查区块链的单个区块中的一个或多个交易,或检查区块链的多个区块中的多个交易。
在步骤1708中,提供区块头1706作为用于解锁脚本的数据(表示为<数据1>)。在一个实施例中,脚本例如以上结合图6和图7描述的OP_CHECKBLOCKVERIFY脚本用于验证<Data1>是一个区块头。在步骤1712中,如以上结合图13至图14所述,提供默克尔分支1710作为用于解锁脚本的数据(表示为<Data 2>)。在步骤1716中,提供交易1714作为用于解锁脚本的数据(表示为<数据3>)。在一个实施例中,如上文结合图13和14所述,使用OP_CALCMERKLEROOT脚本从默克尔根<Data 2>和交易<Data 3>计算默克尔根。
在步骤1718中,执行OP_CHECKBLOCKTXVERIFY脚本以验证从<Data 1>提取的HashMerkleRoot与从上文表9所示对<Data 2>和<Data 3>执行的OP_CALCMERKLEROOT脚本计算的默克尔根相同。
应注意,根据实施例,步骤1718示出了可以在例如示例环境1700之类的环境中执行的脚本类型的示例,其中在基于脚本的区块链交互中确认了区块链的状态。步骤1718示出了第一约束集合,其使得使用操作码将来自区块链的数据集合注入到交易中。在实施例中,如本文所述,OP_CHECKBLOCKVERIFY用于验证数据集合包括区块头。在实施例中,OP_CHECKBLOCKTXVERIFY(即,如步骤1718所示)用于验证该数据集合包括交易,并且该交易包括在区块头中。可以想到,在本文描述的第一约束集合中的约束的示例是说明性示例,第一约束集合中的其他类型的约束可以视为在本发明的范围内。下文关于步骤1722对第二约束集合进行描述。
在示例环境1700中,在步骤1704中,脚本用于验证区块头<Data 1>是作为公共区块链的一部分的区块的区块头,而不是如上所述通过使用验证脚本(例如OP_CHECKBLOCKCHAINVERIFY)专门为模拟该公共区块链的区块而建立的区块。在实施例中,脚本用于验证区块头<Data 1>是作为公共区块链的一部分的区块的区块头,可以将区块链1702或如上文所述完整或部分区块头链提供给所述公共区块链。
在示例环境1700中,在步骤1722中,使用脚本来验证交易的其他方面。在步骤1720中,在步骤1722中将交易1714提供为用于解锁脚本的数据(表示为<Data 3>)。应注意,在一些实施例中,步骤1720中的交易<数据3>是步骤1716中的交易<Data 3>的副本,此时,例如,步骤1718中的OP_CHECKBLOCKTXVERIFY脚本执行步骤1716中的交易<Data 3>。
与上述步骤1718所示,应该注意的是,步骤1722示出了可以在例如示例环境1700之类的环境中执行的脚本类型的示例,在该环境中,根据实施例,在基于脚本的区块链交互中确认了区块链的状态。如上文结合步骤1718所述,步骤1722示出了第二约束集合,其与来自区块链的数据集合相关联,所述区块链被使用操作码注入到交易中。在实施例中,第二约束集合包括关于该数据集合的数据项的值的约束(即,包括该数据集合的数据项例如小于、等于或大于该值的约束)。在一个实施例中,第二约束集合包括根据数据确定的约束(例如,如果与区块头相关联的区块中的交易数大于100,则执行“A”,否则,执行“B”)。可以想到,本文描述的第二约束集合中的约束的示例是说明性示例,可以认为第二约束集合中的其他类型的约束在本发明的范围内。
如果在步骤1704中用于验证区块头<Data 1>是区块(所述区块是公共区块链的一部分,而不是专门用来模拟公共区块链的区块的区块)的区块头的脚本通过了,则在步骤1718中,OP_CHECKBLOCKTXVERIFY脚本验证从<Data 1>提取的HashMerkleRoot与从对<Data2>和<Data 3>执行的OP_CALCMERKLEROOT脚本计算的默克尔根相同,并且在步骤1722中,用于验证交易的其他方面的脚本通过了,然后在步骤1724中锁定脚本成功。在实施例中,步骤1704说明第三约束集合,这些约束与来自使用操作码注入到交易中的区块链的数据集合相关联(例如,约束是:该区块是公共区块链的区块)。
应注意,如上所述,在步骤1722中,用于验证交易的其他方面的脚本包括第二约束集合的约束,该第二约束集合与使用操作码来自注入到交易中的区块链的数据集合相关联。这样,在实施例中,第二约束集合包括交易的多个方面的验证,包括但不限于受让方、转让方、交易的金额或交易的其他方面。另外,应注意,在步骤1722中,用于验证交易的其他方面的脚本可包括区块链的各方面,区块头链的各方面,区块的各方面或区块链环境的其他方面。例如,在步骤1722中,用于验证交易的其他方面并且包括第二约束集合的约束的脚本可包括以下用途的约束:验证区块的nTime,验证区块中的多个交易,确定两个区块之间经过的时间量,确定最小区块高度,或确定区块链环境的其他此类方面。还应注意,通过在脚本的末尾不包括“验证”操作码(该脚本用于验证步骤1722的交易的其他方面),可以引入分支条件(例如,如果区块中的交易有1000多个,爱丽丝(Alice)可以解锁;如果区块中的交易不超过1000个,则鲍勃(Bob)可以解锁)。分支条件的示例在下文结合图30更详细地描述。
与步骤1704(所述脚本用于验证区块头<Data 1>是作为公共区块链的一部分的区块的区块头而不是专门为模拟该公共区块链的区块而建立的区块)相关的一个问题是,在一些实施例中,从计算上来说,创建一个专门模拟公共区块链的区块的区块可以相当容易。考虑例如表10的锁定脚本,该锁定脚本要求解锁脚本中的数据包括区块头(例如,解锁脚本可以不仅仅包括区块头<Data 1>)。
表10
在比特币的实施中,如果将难度(nBits)设置为最小值,则数据可以是公共区块链中一个区块的区块头,但是也可以是完全不相关的区块,因为该数据不需要大量计算能力以最小的难度生成区块。为了防止这种做法,锁定脚本创建者应使对锁定脚本的约束足够困难,以使创建模仿公共区块链的替代区块链所需的计算能力的成本远大于可以解锁的价值。在比特币中,这可以通过增加难度(例如,在表3中所示并结合图6和7所描述的脚本的难度)或通过要求较长的区块头链(例如,在表6中所示的和结合图10和11所描述的脚本中的区块头链)来实现。
表11示出了脚本的示例,该脚本用于验证步骤1724中的交易的其他方面,(即,确定是否满足第二约束集合和/或第一约束集合的方面)。在用于验证表11中所示交易的其他方面的示例脚本中,数据<Data 1>被约束为包含交易<Data 3>的区块头,并且该交易已支付给鲍勃的公钥。应当注意,出于说明目的,这里省略了“<Script to Check Output ofData 3is to P2KH of Bob>”脚本。
表11
图18以流程图形式示出了根据实施例的示例过程1800,所述示例过程用于在基于脚本的区块链交互中确认区块链的状态。过程1800的部分或全部可以在配置有可执行指令和/或其他数据的一个或多个计算机***的控制下执行,并且可以实现为在一个或多个处理器上共同执行的可执行指令。可执行指令和/或其他数据可以存储在非暂时性计算机可读存储介质上(例如,计算机程序永久存储在磁、光、或闪存介质上)。示例过程1800可以由节点例如区块链网络的结合图1描述的节点102之一执行,区块链网络例如为结合图1描述的区块链网络100。也就是说,节点如结合图1所描述的节点102之一可执行示例过程1800,用于确认在结合图18描述的基于脚本的区块链交互中的区块链的状态。这样的节点可以由任何合适的计算设备组成(例如,由数据中心中的服务器组成,由客户端计算设备组成,由计算资源服务提供商的分布式***中的多个计算设备组成,或由任何合适的电子客户端设备例如结合图2描述的计算设备200组成)。
在示例过程1800的步骤1802中,***接收上文结合图17所描述的<Data 1>、<Data2>和<Data 3>。
在示例过程1800的步骤1804中,如以上文结合图17所述,使用OP_CHECKBLOCKCHAINVERIFY来验证<Data 1>是公共区块链的区块。如上所述,OP_CHECKBLOCKCHAINVERIFY是可用于确定是否满足对数据集合(例如,上述第三约束集合)的约束的脚本的示例。
在示例过程1800的步骤1806中,确定<Data 1>是否是公共区块链的区块。如果在示例过程1800的步骤1806中确定<Data 1>不是公共区块链的区块,则在示例过程1800的步骤1808中,<Data 3>的交易被验证不在区块头为<Data 1>的区块中,并且在示例过程1800的步骤1810中,锁定脚本解锁失败。
如果在示例过程1800的步骤1806中确定<Data 1>是公共区块链的区块,则在示例过程1800的步骤1812中,如表9中所示的示例,***使用OP_CHECKBLOCKTXVERIFY脚本验证<Data 3>的交易在区块头为<Data 1>的区块中。如上所述,OP_CHECKBLOCKTXVERIFY是脚本的示例,该脚本可用于确定是否满足对数据集合(例如,上述第一约束集合)的约束。在实施例中,OP_CHECKBLOCKTXVERIFY用于验证数据集合包括交易,并验证该交易包括在由区块头标识的区块中。在一个实施例中,使用OP_CHECKBLOCKVERIFY来验证该数据集合包括区块头。
在示例过程1800的步骤1814中,确定OP_CHECKBLOCKTXVERIFY是否通过。如果在示例过程1800的步骤1814中确定OP_CHECKBLOCKTXVERIFY没有通过,则在示例过程1800的步骤1816中,<Data 3>的交易不在区块头为<Data 1>的区块中,并且在示例过程1800的步骤1810中,锁定脚本解锁失败。
如果在示例过程1800的步骤1814中确定OP_CHECKBLOCKTXVERIFY通过,则在示例过程1800的步骤1818中,***如本文所述验证交易的一个或多个其他方面(即,验证与数据集合相关联的第二约束集合的约束得以满足。
在示例过程1800的步骤1820中,确定交易的一个或多个其他方面是否被验证。如果在示例过程1800的步骤1820中确定交易的一个或多个其他方面未被验证,则在示例过程1800的步骤1810中,锁定脚本解锁失败。
如果在示例过程1800的步骤1820中确定交易的一个或多个其他方面被验证,则在示例过程1800的步骤1822中,锁定脚本解锁成功。
注意,在图18中示出的示例过程1800中执行的一个或多个操作可以以各种顺序(包括并行地)和组合来执行。
图19以示意图形式示出了由实施例解决的在基于脚本的区块链交互中锁定脚本的示例问题1900。在图19中所示的示例问题1900中,先前交易1902中的锁定脚本1906不能直接读取解锁交易1904的字段。
如所指出的,在一些实施例中,先前交易1902是包括在区块链中的最新的、确认的交易。同样地,在一些实施例中,解锁交易1904是未来交易,其尚未被确认并且尚未包括在区块链中,该区块链表示尝试转移对由先前交易1902控制的数字资产的至少一部分的控制。
如本文所述,在一些实施例中,锁定脚本1906是为了转移输出而通过指定需要满足的条件来阻碍交易的脚本。更具体地,由于区块链***的验证节点的执行,执行锁定脚本1906用于从执行的解锁脚本接受数据,并基于该数据执行某些操作,并返回结果,该结果表征是否解锁脚本成功执行“解锁”(即,满足其中设置的条件集合)了锁定脚本。在一些实施例中,锁定脚本1906定义了一个或多个数据约束,这些约束必须被满足(例如,被由解锁脚本提供的数据满足),以便成功进行交易的验证。例如,锁定脚本1906可以要求在解锁脚本中提供某些数据以解锁先前交易1902的相关联的数字资产。
图20以示意图形式示出了根据实施例的示例环境2000,该示例环境示出了在基于脚本的区块链交互中锁定脚本对数据的访问。图20描述了示例环境2000,该示例环境2000示出了在实施例中,与先前交易2002的锁定脚本2006不同,本发明的解锁脚本2008有权访问解锁交易2004的字段(例如,根据SIGHASH类型确定的解锁交易字段的集合)。在实施例中,先前交易2002与图19的先前交易1902类似。在实施例中,解锁交易2004与图19的解锁交易1904类似。在一些实施例中,锁定脚本2006具有与图19的锁定脚本1906相似的特性。
在一些实施例中,解锁脚本2008是写在交易的输入上的可执行脚本,所述交易上的输入试图满足通过锁定脚本写在交易的输出上的一组条件。解锁脚本也称为“scriptSig”。如上所述,解锁脚本2008被设计为提供根据SIGHASH类型确定的解锁交易字段集合作为锁定脚本的输入,从而使锁定脚本有权访问解锁交易的字段。关于串行化交易的内容和结构的更多细节在图21的描述中示出。
图21以示意图的形式示出了根据实施例的示例环境2100,在所述示例环境中,在基于脚本的区块链交互中,从串行化交易字段集合中生成签名。如图21所示,串行交易2110(即,以串行化的特定格式的字节表示的交易)包括交易的字段值集合。在2112中,签名者选择SIGHASH类型和数字k。数字k通常是随机数或伪随机数,以掩蔽/保护私钥,因此在本发明中有时被称为“掩蔽数(mask number)”。交易2114的修改后的副本是串行化交易2110的字段集合的示例,所述串行化交易2110的字段集合是根据指定的SIGHASH类型(例如,在示例环境2100中为SIGHASH_NONE+ANYONECANPAY)选择的。签名人对交易2114的修改后的副本进行散列(例如执行OP_HASH256),从而产生消息m2116。签名人然后例如如上文结合图3所描述的使用SIGHASH类型、消息m、签名人的私钥(例如a)和数字k创建签名。
表12示出了典型的锁定和解锁脚本的示例,其中使用OP_CHECKSIG操作码根据实体A的公钥来检查解锁脚本中指定的实体A的假定签名。
表12
类型 | 脚本 |
解锁脚本 | <Sig A> |
锁定脚本 | <PubK A>OP_CHECKSIG |
因此,在理解了图21的签名生成的情况下,表13示出了如果示例环境2100中示出的过程的一部分被移动到解锁脚本内,则解锁和锁定脚本的示例。
表13
类型 | 脚本 |
解锁脚本 | <SIGHASH Type><m><a><k>OP_GENSIG |
锁定脚本 | <PubK A>OP_CHECKSIG |
可以进一步修改解锁脚本,以包括计算解锁脚本中的消息m的步骤,如表14所示。
表14
但是请注意,除了SIGHASH类型和根据SIGHASH类型确定的解锁交易字段集合外,该过程的其他操作可以移至锁定脚本,如表15所示。
表15
因此,通过在锁定脚本内移动“OP_HASH256<a><k>OP_GENSIG”的操作,使得解锁脚本包含SIGHASH类型和根据SIGHASH类型确定的解锁交易字段集合,从而使解锁脚本有效。
这样就使得串行化的先前交易被注入到锁定脚本中。表16说明了锁定和解锁脚本如何执行示例环境2100的每个步骤过程并验证交易。
表16
但是请注意,任何提供SIGHASH类型和根据SIGHASH类型确定的解锁交易字段集合的实体都可以接收交易输出。这可能成为本文所述方法的有用特征。例如,智能合约的实施可以允许将合约实施为区块链交易,从而释放合约的创建者和/或合约的任何其他方,以确保履行合约而无需要求各方信任彼此,且无需要求各方管理或监视合约。在实施例中,需要与合约进行一些交互。在实施例中,在不与合约交互的情况下自动执行合约。
如上所述,任何提供SIGHASH类型和根据SIGHASH类型确定的解锁交易字段集合的实体都可以接收交易输出,所以智能合约可以自动执行(或部分自动执行)。在实施例中,该属性可以通过对解锁交易施加附加约束来限制,使得只有提供SIGHASH类型和根据SIGHASH类型确定的解锁交易字段集合的实体可以接收交易输出。另外,可以对智能合约进行编码,以使得提供SIGHASH类型和根据SIGHASH类型确定的解锁交易字段集合的实体只能以特定方式获得交易输出。
在实施例中,智能合约包括用作计算机***可检测到的信号的值,以使其他计算机***验证交易。也就是说,通过提供数字资产的至少一部分(该数字资产依据执行与智能合约相关联的交易的验证的情况获得),可以促使验证实体对交易进行验证。例如,可以创建与1.0的数字资产相关联的智能合约,以使0.9的数字资产到达指定的接收者,而其余0.1的数字资产可以由验证实体声明。以这种方式执行智能合约。可以想到,影响实体以获得交易输出和/或执行智能合约的其他方法可以视为是在本发明的范围内。
如本文中所使用的,智能合约具有自动执行属性和自我执行属性。智能合约的自动执行属性是两个要素的组合。智能合约的自动执行属性的第一要素是任何实体都可以有效地解锁锁定脚本。当任何实体可以有效地解锁锁定脚本时,任何实体都可以创建引用UTXO和/或锁定脚本的有效解锁交易。这是因为没有约束条件要求实体证明自己知道某些秘密(例如,私钥或将产生特定散列的值)。但是,应注意,智能合约的自动执行属性的第一要素限于本文所述。智能合约的自动执行属性的第二要素是智能合约是自动的,因为可能有诱因促使其他方解锁锁定脚本(例如,使用本文所述的比特币奖励)。智能合约的自我执行属性也是两个要素的组合。智能合约的自我执行属性的第一要素是可以将约束写在串行化的解锁交易字段上,然后将这些约束反映在解锁交易中。智能合约的自我执行属性的第二要素是锁定脚本中的约束由区块链网络执行。
图22以流程图的形式示出了根据实施例的示例过程2200,所述示例过程用于在基于脚本的区块链交互中引起串行化解锁交易字段集合的注入。示例过程2200中的部分或全部可以在配置有可执行指令和/或其他数据的一个或多个计算机***的控制下执行,并且可以被实现为在一个或多个处理器上共同执行的可执行指令。可执行指令和/或其他数据可以存储在非暂时性计算机可读存储介质上(例如,永久存储在磁、光或闪存介质上的计算机程序)。示例过程2200可以由节点例如区块链网络的结合图1描述的节点102之一执行,区块链网络例如为结合图1描述的区块链网络100。也就是说,节点如结合图1所描述的节点102之一可执行示例过程2200,用于在结合图22描述的基于脚本的区块链交互中引起串行化的解锁交易字段的注入。这样的节点可以由任何合适的计算设备组成(例如,由数据中心中的服务器组成,由客户端计算设备组成,由计算资源服务提供商的分布式***中的多个计算设备组成,或由任何合适的电子客户端设备例如结合图2描述的计算设备200组成)。
示例过程2200包括串行化的操作,其中,执行示例过程2200的***结合图21中描述的方式执行未验证交易的解锁脚本和锁定脚本,因此而获得SIGHASH类型和交易字段值集合,生成签名,并验证签名。
在示例过程2200的步骤2202中,***从寻求数字资产控制权转移的实体获得未验证的交易。未验证的交易包括锁定脚本和解锁脚本。解锁脚本由***在执行锁定脚本之前执行。解锁脚本可能类似于上文表15和表16中所示的解锁脚本,并且表征SIGHASH类型和未验证交易的串行化字段。在示例过程2200的步骤2204中,执行示例过程2200的***获得所表征的SIGHASH类型,并且在示例过程2200的步骤2206中获得未验证交易的串行化交易字段值。在实施例中,在成功完成解锁脚本的执行时,***开始使用主堆栈的状态(以及在一些实施方式中为替代堆栈的状态)执行锁定脚本。锁定脚本可与上文表15和表16中所示的锁定脚本类似。
在示例过程2200的步骤2208中,根据锁定脚本,***至少使用SIGHASH类型和由于执行解锁脚本而写在主堆栈上的交易字段值集合和与公私钥对关联的私钥来生成签名。在示例过程2200的步骤2210中,根据锁定脚本,***根据密钥对的公钥成功地验证了签名。这样,通过解锁脚本使交易字段集被注入到锁定脚本中。
注意,在图22中示出的示例过程2200中执行的一个或多个操作可以以各种顺序(包括并行地)和组合执行。
图23以示意图形式示出了由实施例解决的在基于脚本的区块链交互中锁定脚本的示例问题。在图23中示出的示例问题2300中,锁定脚本2306不能读取其所嵌入的交易的输入,因此,不能直接读取先前交易的字段。
在一些实施例中,交易2304与本文所述的解锁交易类似,其表示尝试转移对由先前交易控制的数字资产的至少一部分的控制。如上文所述,在一些实施例中,与本文所述的锁定脚本类似,锁定脚本2306是为了转移输出而通过指定需要满足的条件来阻碍交易的脚本。
图24以示意图的形式示出了根据实施例的示例环境2400,在所述环境中,在基于脚本的区块链交互中引起先前的串行化交易的注入。图24中所示的示例环境2400示出了具有解锁脚本2408的解锁交易2404,解锁脚本2408利用了来自先前交易2402A-02B的输出。可以看出,解锁脚本使已串行化的先前交易被检索。在一些示例中,串行化的先前交易是指先前交易的字段值集合的未修改版本。
图24所示的实施例可以通过观察到交易ID是串行化交易的双SHA256并且交易ID与交易一对一映射来理解。因此,通过应用表17中所示的约束,可以使交易注入到解锁脚本中。
表17
类型 | 脚本 |
解锁脚本 | <Serialized Tx> |
锁定脚本 | OP_HASH256<Tx ID>OP_EQUAL |
本发明的实施例通过不仅引起任何串行化交易的注入,而且还通过引起在解锁交易2404的输入中引用的一个或多个串行化的先前交易(例如,先前交易2402A-02B)的注入,进一步改善了这种注入。如上文参考图21所述,可以使根据SIGHASH类型确定的解锁交易字段集合经由解锁脚本2406注入到锁定脚本中。图25示出了根据指定的SIGHASH类型在串行化交易中包括哪些字段。
图25以示意图的形式示出了根据实施例的示例环境2500,其中,在基于脚本的区块链交互中,所述字段集合基于签名散列类型而可用。但是,请注意,图25的目的在于说明,在各种实施例中有更多比图25中描述的SIGHASH类型。如图25所示,在具有不同的SIGHASH类型的情况下,在根据SIGHASH类型确定的解锁交易字段集合中包括不同的先前交易ID集合(注意,“散列”字段以高位编址格式表示交易ID)。在一些实施例中,不管指定了哪种SIGHASH类型,嵌入锁定脚本的先前交易的交易ID总是可用的。
因此,可以使某些字段在解锁交易字段集合中显示,所述解锁交易字段集合通过以下方式约束SIGHASH类型来确定:首先,复制SIGHASH类型。然后,将SIGHASH类型压入堆栈(例如SIGHASH_ALL)。最后,调用OP_EQUALVERIFY。从图25中可以看出,SIGHASH_ALL(如所示解锁交易2504A)包括先前交易“y”和“z”的散列,而且如所表示的,代表交易ID。相反,SIGHASH_ALL|ANYONECANPAY(如所示解锁交易2504B)仅包括紧邻的先前交易“y”的散列。在一些实施例中,解锁交易2504A-04B与图19的解锁交易1904类似。图19表示尝试转移对由先前交易(例如,交易y和/或x)控制的数字资产的至少一部分的控制。可以通过使用子串操作码解析串行化的交易直到得到期望的字段来完成提取交易ID的操作,如图26所示。
图26以示意图形式示出了根据实施例的示例环境2600,其中,在基于脚本的区块链交互中从串行化交易中提取交易标识符。在图26中所示的示例环境2600中,由高位编址格式的交易ID组成的散列2620是串行化交易2610的子串,串行化交易2610的子串可以通过使用子串操作码在脚本中提取。在一些实施例中,首先解析串行化交易1020来在可以提取交易ID前识别散列2620的位置,因为一些字段(例如,#vin,scriptSigLen,scriptSig,scriptPubKeyLen和scriptPubKey)的字节长度是可变的。然而,可以想到,在字段具有固定长度的实施中,解析可能不是必需的。
因此,在一些实施例中,通过构建锁定脚本,该锁定脚本以参照图22描述的方式在解锁交易中强制注入引用的特定串行化的先前交易,可以使先前的交易ID可访问。例如,首先确定SIGHASH类型的约束,提取交易ID,复制串行化的先前交易,并按照从解锁交易串行化字段集合(根据SIGHASH类型)提取的交易ID对串行化的先前交易进行检查。注意,可以执行此过程以强制注入多个不同的串行化先前交易。作为示例,表18提供了一个脚本,该脚本引起与交易X的输入相对应的先前交易的注入。表18中所示的脚本是OP_PREVTXINJECTION脚本的一个示例,该脚本引起与解锁脚本的输入X相对应的先前交易的注入。
表18
但是,注意,任何提供SIGHASH类型、根据SIGHASH类型确定的解锁交易字段集合、以及串行化的先前交易的实体都可以获取如本文所述的交易输出。
作为另一个示例,表19提供了一个脚本,该脚本引起与正被签名的输入相对应的先前交易的注入。表19中显示的脚本是OP_SELFTXINJECTION脚本的示例,该脚本引起与正被签名的输入相对应的先前交易的注入。
表19
注意,提供SIGHASH类型、根据SIGHASH类型确定的解锁交易字段集合、以及串行化的先前交易的任何实体都可以接收如本文所述的交易输出。
图27以流程图形式示出了根据实施例的示例过程2700,在基于脚本的区块链交互中,所述示例过程用于引起先前串行化交易的注入。示例过程2700中的部分或全部可以在配置有可执行指令和/或其他数据的一个或多个计算机***的控制下执行,并且可以被实现为在一个或多个处理器上共同执行的可执行指令。可执行指令和/或其他数据可以存储在非暂时性计算机可读存储介质上(例如,永久存储在磁、光或闪存介质上的计算机程序)。示例过程2700可以由节点例如区块链网络的结合图1描述的节点102之一执行,区块链网络例如为结合图1描述的区块链网络100。也就是说,节点如结合图1所描述的节点102之一可执行示例过程2700,用于使得在结合图27描述的基于脚本的区块链交互中注入串行化的先前交易。这样的节点可以由任何合适的计算设备组成(例如,由数据中心中的服务器组成,由客户端计算设备组成,由计算资源服务提供商的分布式***中的多个计算设备组成,或由任何合适的电子客户端设备例如结合图2描述的计算设备200组成)。
示例过程2700包括串行化的操作,其中,执行示例过程2700的***对未验证交易的解锁脚本和锁定脚本结合执行,从而获得与从未验证交易中提取的交易ID相对应的串行化的先前交易。
在示例过程2700的步骤2702中,***从寻求转移对数字资产的控制的实体获得未验证的交易。未验证的交易包括锁定脚本和解锁脚本。锁定脚本和解锁脚本可与表18和19中所示的锁定脚本和解锁脚本类似。也就是说,锁定脚本包括一组指令,这些指令(例如通过解锁脚本)以输入值的形式存储在主堆栈和备用堆栈中。如果指令集的执行评估为真,则指令集的执行将成功验证未验证的交易。因此,解锁脚本在锁定脚本之前执行,从而在主堆栈和备用堆栈中设置要由锁定脚本使用的值。图27的实施例中的未验证交易的解锁脚本示出串行化的先前交易、SIGHASH类型、和串行化的解锁交易字段集合。
由于执行锁定脚本后再执行解锁脚本,在示例过程2700的步骤2704中,***获得串行化的先前交易、SIGHASH类型、和在解锁脚本中指定的串行化的解锁交易字段集合。在示例过程2700的步骤2706中,***基于基于SIGHASH的未验证交易的字段值的串行化集合来签名。注意,SIGHASH类型影响在签名生成中使用哪些字段,并且所需的SIGHASH可能取决于所寻求的特定先前交易。例如,表18说明了用于提取先前交易的锁定脚本和解锁脚本,但不一定提取包含相同锁定脚本的先前交易,表18利用了SIGHASH类型的SIGHASH_ALL。如图25所示,SIGHASH_ALL类型使得能够检索解锁交易的其他先前交易的输入。相反,表19说明了用于提取具有相同锁定脚本的先前交易(即,与正被签名的输入相对应的先前交易)的锁定脚本和解锁脚本,表19利用了SIGHASH类型的SIGHASH_ALL|ANYONECANPAY。如图25所示,SIGHASH类型的SIGHASH_ALL|ANYONECANPAY除去了具有正被签名的输入的先前交易之外的其他先前交易的输入。
在示例过程2700的步骤2708中,***验证先前生成的签名。在示例过程2700的步骤2710中,***通过执行所获得的串行化的先前交易的双SHA256来产生应当与解锁交易的交易ID匹配的值(即,字段值的串行化集合)。使用子串操作码,在示例过程2700的步骤2712中,***提取字段值的串行化集合的交易ID,并且在示例过程2700的步骤2714中,***确定由串行化的先前交易的双SHA256产生的交易ID与串行化的字段值集合的交易ID是否匹配。注意,在各种实施例中,匹配不一定需要相等。例如,如果两个值不相等,但在数学上等同,则可以匹配。又例如,如果两个值对应于公共对象(例如,值)或以某种预定方式互补和/或两个值满足一个或多个匹配标准,则两个值可以匹配。通常,可以使用确定是否存在匹配的任何方式。
注意,在图27中示出的示例过程2700中执行的一个或多个操作可以被以各种顺序(包括并行地)和组合来执行。
图28以示意图形式示出了根据实施例的示例环境2800,在所述环境中,区块链的状态用于基于脚本的区块链交互。如本文所述,区块头是区块链的区块的一部分,所述区块链包含有关该区块的数据。
在步骤2804中,提供区块头2802作为用于本文所述的解锁脚本的数据(表示为<Data 1>)。在实施例中,例如上文结合图6至图7描述的OP_CHECKBLOCKVERIFY脚本用于验证<Data 1>是区块头。在步骤2808中,提供默克尔分支2806作为用于如上文结合图13至图14描述的解锁脚本的数据(表示为<Data 2>)。在步骤2812中,提供交易2810作为用于解锁脚本的数据(表示为<Data 3>)。在实施例中,使用如上文结合图13和14所述的OP_CALCMERKLEROOT脚本从默克尔根<Data 2>和交易<Data 3>计算出默克尔根。
在步骤2814中,执行OP_CHECKBLOCKTXVERIFY脚本以验证从<Data 1>提取的HashMerkleRoot与从OP_CALCMERKLEROOT脚本计算的默克尔根相同,所述OP_CALCMERKLEROOT脚本是对上文表9所示的和结合图13、14和17描述的<Data 2>和<Data 3>执行的。
在步骤2816中,执行OP_SELFTXINJECTION脚本以验证<Data 3>的交易的解锁脚本包括串行化交易,该串行化交易包含上表18和19中所示的和结合26、27和28所描述的锁定脚本。
在步骤2818中,如上文所述,如果2814的OP_CHECKBLOCKTXVERIFY脚本和步骤2816的OP_SELFTXINJECTION成功,则已知具有区块头<Data 1>的区块包括交易<Data 3>,<Data3>的解锁脚本包括锁定脚本的串行化交易,且锁定脚本可以访问区块链状态。这样的锁定脚本有权访问的信息包括但不限于时间(即,来自一个或多个区块头的nTime字段),伪随机数(即,来自nNonce或HashMerkleRoot,两者都是伪随机数的良好来源)或其他信息,这些信息中的一些或全部可以在锁定脚本中使用。这样的附加信息的示例在图30所示的示例中示出。
在实施例中,脚本用于验证区块头<Data 1>是作为公共区块链的一部分的区块的区块头,而不是如上所述通过使用验证脚本(例如OP_CHECKBLOCKCHAINVERIFY)专门为模拟该公共区块链的区块而建立的区块。在实施例中,脚本用于验证区块头<Data 1>是作为公共区块链的一部分的区块的区块头,可以将区块链1702或如上文所述完整或部分区块头链提供给所述公共区块链。
在实施例中,脚本也可以用来验证如上文结合图17所描述的交易和/或区块链状态的其他方面。如上文所述,用来验证交易的其他方面的脚本可以包括交易的多个方面的验证,包括但不限于受让人,转让人,交易金额或交易的其他方面。此外,应注意,用于验证交易其他方面的脚本可包括区块链的各个方面,区块链状态的各个方面,区块头链的各个方面,区块的各个方面或区块链环境的其他各个方面。例如,用于验证交易其他方面的脚本可以验证区块的nTime,区块中的交易数量,两个区块之间的经过的时间量,最小区块高度或区块链环境的其他方面。还应注意,通过在脚本(用于验证交易的其他方面)的末尾不包括“验证”操作码,可以引入分支条件(例如,如果在区块中有超过1000个交易,则爱丽丝可以解锁;如果区块中的交易不超过1000个,则鲍勃可以解锁)。下文结合图30对分支条件的示例进行更详细地描述。
尽管在示例环境2800中未示出,但是在实施例中,用于验证交易的其他方面的附加脚本,例如表11中示出的并且结合图17所描述的脚本,可以作为图28中描述的示例环境2800的一部分来执行。
图29以流程图形式示出了根据实施例的示例过程2900,所述示例过程为在基于脚本的区块链交互中使用区块链的状态的示例过程。过程2900的部分或全部可以在配置有可执行指令和/或其他数据的一个或多个计算机***的控制下执行,并且可以被实现为在一个或多个处理器上共同执行的可执行指令。可执行指令和/或其他数据可以存储在非暂时性计算机可读存储介质上(例如,永久存储在磁、光、或闪存介质上的计算机程序)。示例过程2900可以由节点例如区块链网络的结合图1描述的节点102之一执行,区块链网络例如为结合图1描述的区块链网络100。也就是说,节点如结合图1所描述的节点102之一可执行示例过程2900,所述示例过程用于在结合图29描述的基于脚本的区块链交互中使用区块链的状态。这样的节点可以由任何合适的计算设备组成(例如,由数据中心中的服务器组成,由客户端计算设备组成,由计算资源服务提供商的分布式***中的多个计算设备组成,或由任何合适的电子客户端设备例如结合图2描述的计算设备200组成)。
在示例过程2900的步骤2902中,***接收如上文结合图17所描述的<Data 1>,<Data 2>和<Data 3>。
在示例过程2900的步骤2904中,如以上文结合图17所述,使用OP_CHECKBLOCKCHAINVERIFY来验证<Data 1>是公共区块链的区块。
在示例过程2900的步骤2906中,确定<Data 1>是否是公共区块链的区块。如果在示例过程2900的步骤2906中确定<Data 1>不是公共区块链的区块,则在示例过程2900的步骤2908中,<Data 3>的交易被验证不在具有区块头<Data 1>的区块中,并且在示例过程2900的步骤2910中,锁定脚本不可以访问区块链状态。
如果在示例过程2900的步骤2906中确定<Data 1>是公共区块链的区块,则在示例过程2900的步骤2912中,如表9中所示的示例,***使用OP_CHECKBLOCKTXVERIFY脚本验证<Data 3>的交易在具有区块头<Data 1>的区块中。
在示例过程2900的步骤2914中,确定OP_CHECKBLOCKTXVERIFY是否通过。如果在示例过程2900的步骤2914中确定OP_CHECKBLOCKTXVERIFY没有通过,则在示例过程2900的步骤2916中,<Data 3>的交易不在具有区块头<Data 1>的区块中,并且在示例过程2900的步骤2910中,锁定脚本不可以访问区块链状态。
如果在示例过程2900的步骤2914中确定OP_CHECKBLOCKTXVERIFY通过,则在示例过程2900的步骤2918中,***使用OP_SELFTXINJECTION脚本(例如表19中所示的脚本)来验证<Data 3>中的交易的解锁脚本包括锁定脚本的串行化交易。
在示例过程2900的步骤2920中,确定<Data 3>中的交易的解锁脚本是否包括锁定脚本的串行化交易。如果在示例过程2900的步骤2920中确定<Data 3>中的交易的解锁脚本不包括锁定脚本的串行化交易,则在示例过程2900的步骤2910中,锁定脚本不可以访问区块链状态。
如果在示例过程2900的步骤2920中确定<Data 3>中的交易的解锁脚本确实包括锁定脚本的串行化交易,则在示例过程2900的步骤2922中,锁定脚本有权访问区块链状态。
注意,在图29中示出的示例过程2900中执行的一个或多个操作可以以各种顺序(包括并行地)和组合来执行。
图30以示意图形式示出了根据实施例的在基于脚本的区块链交互中使用区块链的状态的示例实施方式3000。示例实施方式3000示出了本文描述的方法的几个方面。在示例实施方式3000中,基于包含赌注的交易的区块和紧邻的先前区块之间的时间差,决定对包含赌注的交易的区块添加到公共区块链的时间打赌。每人放置一个比特币,如果时间差少于10分钟,则两个比特币归爱丽丝所有。相反,如果时间差不少于10分钟,则两个比特币归鲍勃所有。
爱丽丝用比特币3004为她的那半赌注交易3002提供资金,鲍勃用比特币3006为他的那半赌注交易3002提供资金。赌注交易3002指出,如果时间差(t2-t1)小于10分钟,则爱丽丝得到两个比特币3008。相反,如果时间差(t2-t1)不小于10分钟,则鲍勃得到两个比特币3008。
使用本文描述的方法,可以确定赌注交易3002是否在具有区块头3014的区块B2中。类似地,使用本文描述的方法,可以确定具有区块头3012的区块B1是否是紧邻的先前区块。最终,可以确定区块头3014的nTime是否在区块头3012的nTime之后十分钟内,并且因此,可以将两个比特币3008转移到爱丽丝或鲍勃。
表20示出了该赌注交易3002的示例锁定脚本。本文未示出表20所示的脚本中使用的OP_EXTRACTTIME脚本,但是,可以想到,OP_EXTRACTTIME脚本是用于从区块头中提取时间条目的脚本,该区块头与表3中所示的用来提取nBit的脚本类似。
表20
因此,说明书和附图应被认为是说明性的而不是限制性的。然而,显而易见的是,在不脱离权利要求中所阐述的本发明的更广泛精神和范围的情况下,可以对其进行各种修改和改变。
其他变型在本发明的精神内。因此,尽管所公开的技术易于进行各种修改和替代,但是其示出的某些实施例在附图中示出并且已经在上文进行了详细描述。然而,应当理解,无意将本发明限制为所公开的一种或多种特定形式,相反,其意图是涵盖所附权利要求书中所定义的落入本发明的精神和范围内的所有修改,替代构造和等同物。
在描述所公开的实施例的上下文中(特别是在所附权利要求的上下文中)术语“一个”和“一种”(“a”,“an”,“the”)以及类似指代的使用应解释为涵盖单数和复数,除非本文另有说明或与上下文明显矛盾。除非另有说明,否则术语“包括(comprising”),“具有(having)”,“包括(including)”和“包含(“containing)”应解释为开放式术语(即,意思是“包括但不限于”)。术语“连接”在未修改的情况下指的是物理连接时,应理解为部分或全部包含在内,连接在一起,即使有某些中介物。本文中数值范围的引用仅旨在用作分别指代落入该范围内的每个单独值的简写方法,除非在本文另外指出并且每个单独值都被并入说明书中使得其类似于在本文中被单独叙述。术语“集合”(例如,“一组项目”)或“子集”的使用应被解释为包括一个或多个成员的非空集合,除非上下文另外指出或有矛盾。此外,对应集合的术语“子集”不一定表示对应集合的适当子集,而是该子集和对应集合可以相等,除非上下文另外指出或有矛盾。
除非另有明确说明或与上下文明显矛盾,否则应将“A、B、和C中的至少一个”或“A、B和C中的至少一个”形式的连接语言结合上下文一起理解,通常用于表示项目、术语等可以是A或B或C,也可以是A和B和C的集合的任何非空子集。例如,在具有三个项目的集合的说明性示例中,连接语“A、B、和C中的至少一个”和“A、B和C的至少一个”指的是以下集合中的至少一个:{A},{B},{C},{A,B},{A,C},{B,C},{A,B,C}。因此,这种连接语通常不意在表示某些实施例要求存在至少一个A,至少一个B和至少一个C。
本文描述的过程的操作可以以任何合适的顺序执行,除非本文另外指出或与上下文明显矛盾。本文描述的过程(或其变型和/或组合),可以通过硬件或其组合,在配置有可执行指令的一个或多个计算机***的控制下执行,并且可以实现为在一个或多个处理器上共同执行的代码(例如,可执行指令,一个或多个计算机程序或一个或多个应用程序)。该代码可以例如以计算机程序的形式存储在计算机可读存储介质上,该计算机程序包括可由一个或多个处理器执行的多个指令。所述计算机可读存储介质可以是非暂时性的。
除非另外要求,否则本文提供的任何和所有示例或示例性语言(例如,“例如”)的使用仅旨在更好地阐明本发明的实施例,并且不对本发明的范围构成限制。说明书中的任何语言都不应解释为表示任何未要求保护的元素对于实施本发明必不可少。
本文描述了本发明的实施例,包括发明人已知的用于实施本发明的最佳方式。通过阅读前述说明,那些实施例的变型对于本领域普通技术人员而言将变得显而易见。发明人期望有经验的技术人员适当地采用这样的变型,并且发明人希望以不同于本文具体描述的方式来实践本发明的实施例。因此,本发明的范围包括适用法律所允许的所附权利要求中记载的主题的所有修改和等同物。而且,除非本文另外指出或与上下文明显矛盾,否则上述元件在其所有可能的变型中的任何组合均被本发明的范围涵盖。
应注意,在描述本发明的实施例的上下文中,除非另有说明,否则与可执行指令(也称为代码,应用程序,代理等)相关的表达的使用表示指令正在由机器执行,从而使机器执行指定的操作。所述可执行指令执行的操作为:“指令”通常不在没有辅助的情况下执行(例如,数据的传输、计算等)。
应当注意,上述实施例说明而不是限制本发明,并且本领域技术人员将能够在不脱离由所附权利要求限定的本发明的范围的情况下设计许多替代实施例。在权利要求中,括号中的任何附图标记不应被解释为对权利要求的限制。词语“包括(comprising)”和“包括(comprises)”等不排除任何权利要求或说明书整体中列出的元件或步骤之外的元件或步骤的存在。在本说明书中,“包括(comprises)”是指“包括(includes)或者由……组成(consists of)”,而“包括(comprising)”是指“包括(including)或者由……组成(consisting of)”。元件的单数引用不排除这些元件的复数引用,反之亦然。本发明可以通过包括几个不同元件的硬件以及通过适当编程的计算机来实现。在列举了几个装置的设备权利要求中,这些装置中的几个可以由同一个硬件来实现。在相互不同的从属权利要求中引用某些措施这一事实并不表示这些措施的组合不能有利地使用。
Claims (15)
1.一种计算机实现的方法,包括:
在区块链网络中的节点处接收与数字资产相关的第一交易,所述第一交易包括第一脚本,所述第一脚本指定了针对第二交易的约束集合,所述第二交易用来转移对所述数字资产的控制,所述约束集合包括这样的约束:所述节点获得的数据集合包括从与所述区块链网络相关联的区块链获得的信息;
获得所述第二交易,所述第二交易包括第二脚本,由于执行所述第二脚本而使得所述节点获得所述数据集合;
通过执行所述第一脚本和所述第二脚本来验证所述第二交易。
2.根据权利要求1中所述的计算机实现的方法,其中所述约束集合包括这样的约束:所述数据集合包括所述区块链的区块的区块头。
3.根据权利要求2中所述的计算机实现的方法,其中所述节点至少通过以下方式来确定是否满足所述数据集合包括所述区块链的区块的区块头的约束:
验证所述区块头具有预定大小;
验证所述区块头包含大于或等于某难度值的难度值;以及
验证所述区块头的散列小于或等于从所述区块头中包含的难度值计算出的目标值。
4.根据权利要求1至3中的任意一项所述的计算机实现的方法,其中所述约束集合包括这样的约束:所述数据集合包括来自所述区块链的区块的第三交易。
5.根据权利要求4中所述的计算机实现的方法,其中:
所述数据集合包括所述区块链的区块的区块头;
所述约束集合包括这样的约束:所述第三交易包括在所述区块中;以及
所述节点至少部分地基于所述区块链的区块的区块头来确定是否满足所述第三交易包括在所述区块中的约束。
6.根据权利要求5中所述的计算机实现的方法,其中所述节点至少通过以下方式来确定是否满足所述第三交易包括在所述区块中的约束:
至少部分地基于由所述区块头识别的所述区块中的交易的编码,计算所述第三交易的散列值;
验证所述第三交易的散列值等于存储在所述区块头中的散列值。
7.根据权利要求1至6中的任意一项所述的计算机实现的方法,其中所述约束集合包括这样的约束:所述数据集合包括区块头链,所述区块头链包括区块头的有序集合,所述区块头的有序集合包括多个区块头,所述区块头的有序集合指定了与所述多个区块头相关联的顺序。
8.根据权利要求7中所述的计算机实现的方法,其中所述节点至少通过以下方式来确定是否满足所述第二脚本包括所述区块头链的约束:
至少部分地基于与所述多个区块头相关联的顺序,选择一对区块头,即区块头对,所述区块头对包括所述区块头对的第一区块头和所述区块头对的第二区块头;以及
针对所述区块头对来验证所述区块头对的第一区块头的散列等于存储在所述块头对中的第二区块头中的散列值。
9.根据权利要求1至8中的任意一项所述的计算机实现的方法,其中所述约束集合包括这样的约束:所述数据集合从所述区块链网络的公共区块链获得。
10.根据权利要求1至9中的任意一项所述的计算机实现的方法,其中在执行所述第一脚本和所述第二脚本之前,将所述区块链网络的一个或多个属性提供给所述节点。
11.根据权利要求1至10中的任意一项所述的计算机实现的方法,其中在不验证创建了所述第二交易的实体有权访问秘密信息的情况下成功地执行验证所述第二交易。
12.根据权利要求1至11中的任意一项所述的计算机实现的方法,其中所述第一脚本是所述第一交易的锁定脚本,所述第二脚本是所述第一脚本的解锁脚本。
13.根据权利要求1至12中的任意一项所述的计算机实现的方法,还包括至少部分地基于所述验证的结果来转移所述数字资产。
14.一种***,包括:
处理器;和
存储器,包含可执行的指令,所述处理器执行所述指令使得所述***执行权利要求1至13中的任意一项所述的计算机执行的方法。
15.一种存储了可执行指令的非暂时性计算机可读存储介质,计算机***的处理器执行所述可执行指令,使得所述计算机***至少执行权利要求1至13中任意一项所述的计算机实现的方法。
Applications Claiming Priority (7)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
GB1708491.4 | 2017-05-26 | ||
GBGB1708488.0A GB201708488D0 (en) | 2017-05-26 | 2017-05-26 | Computer-implemented system and method |
GB1708488.0 | 2017-05-26 | ||
GBGB1708493.0A GB201708493D0 (en) | 2017-05-26 | 2017-05-26 | Computer-Implemented system and method |
GB1708493.0 | 2017-05-26 | ||
GBGB1708491.4A GB201708491D0 (en) | 2017-05-26 | 2017-05-26 | Computer-implemented system and method |
PCT/IB2018/053651 WO2018215947A1 (en) | 2017-05-26 | 2018-05-23 | Script-based blockchain interaction |
Publications (1)
Publication Number | Publication Date |
---|---|
CN110692071A true CN110692071A (zh) | 2020-01-14 |
Family
ID=62597818
Family Applications (3)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201880034521.5A Pending CN111247546A (zh) | 2017-05-26 | 2018-05-23 | 基于脚本的区块链交互 |
CN201880034577.0A Pending CN110692071A (zh) | 2017-05-26 | 2018-05-23 | 基于脚本的区块链交互 |
CN201880034526.8A Pending CN111247547A (zh) | 2017-05-26 | 2018-05-23 | 基于脚本的区块链交互 |
Family Applications Before (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201880034521.5A Pending CN111247546A (zh) | 2017-05-26 | 2018-05-23 | 基于脚本的区块链交互 |
Family Applications After (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201880034526.8A Pending CN111247547A (zh) | 2017-05-26 | 2018-05-23 | 基于脚本的区块链交互 |
Country Status (8)
Country | Link |
---|---|
US (3) | US20200151165A1 (zh) |
EP (6) | EP4191494A1 (zh) |
JP (7) | JP7247107B2 (zh) |
KR (5) | KR102627490B1 (zh) |
CN (3) | CN111247546A (zh) |
TW (1) | TWI784002B (zh) |
WO (3) | WO2018215949A1 (zh) |
ZA (1) | ZA201907921B (zh) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111737256A (zh) * | 2020-06-12 | 2020-10-02 | 北京众享比特科技有限公司 | 一种基于可信执行环境和区块链的数据库表操作方法和*** |
CN112215707A (zh) * | 2020-09-21 | 2021-01-12 | 上海泼墨网络科技有限公司 | 一种基于区块链的定制化的资产交易智能合约的使用方法 |
CN112398949A (zh) * | 2020-11-26 | 2021-02-23 | 卓尔智联(武汉)研究院有限公司 | 交易确认方法、***、装置和计算机设备 |
US20220337437A1 (en) * | 2019-09-12 | 2022-10-20 | nChain Holdings Limited | Blockchain transactions including portions of code in different languages for complex validation |
Families Citing this family (42)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP4191494A1 (en) * | 2017-05-26 | 2023-06-07 | nChain Licensing AG | Blockchain state confirmation |
JP2019109635A (ja) * | 2017-12-16 | 2019-07-04 | 株式会社bitFlyer | ブロックチェーン・ネットワークにおいて過去のトランザクションにアクセス可能とするための方法及び当該ネットワークを構成するためのノード |
US10298585B1 (en) * | 2018-01-26 | 2019-05-21 | Accenture Global Solutions Limited | Blockchain interoperability |
US10944548B2 (en) * | 2018-06-07 | 2021-03-09 | Coinfirm Blockchain Lab Sp. Z O.O. | Method for registration of data in a blockchain database and a method for verifying data |
WO2019233614A1 (en) * | 2018-06-07 | 2019-12-12 | Coinfirm Blockchain Lab Sp. Z O.O. | A method for registration of data in a blockchain database and a method for verifying data |
CN108848184B (zh) * | 2018-06-29 | 2020-08-28 | 北京金山安全软件有限公司 | 一种基于信任机制的区块链节点同步方法及装置 |
US10901957B2 (en) * | 2018-08-29 | 2021-01-26 | International Business Machines Corporation | Checkpointing for increasing efficiency of a blockchain |
US11334439B2 (en) | 2018-08-29 | 2022-05-17 | International Business Machines Corporation | Checkpointing for increasing efficiency of a blockchain |
US11196542B2 (en) | 2018-08-29 | 2021-12-07 | International Business Machines Corporation | Checkpointing for increasing efficiency of a blockchain |
CN109345388B (zh) * | 2018-09-20 | 2020-09-08 | 百度在线网络技术(北京)有限公司 | 区块链智能合约验证方法、装置及存储介质 |
US11062042B1 (en) | 2018-09-26 | 2021-07-13 | Splunk Inc. | Authenticating data associated with a data intake and query system using a distributed ledger system |
JP2020127100A (ja) * | 2019-02-03 | 2020-08-20 | 株式会社bitFlyer Blockchain | 複数のノードを有する分散ネットワークに資産の移転を表すトランザクションを記憶する方法及びそのためのプログラム並びに当該分散ネットワークを構成するためのノード |
EP3610450A4 (en) | 2019-03-28 | 2020-06-10 | Alibaba Group Holding Limited | SYSTEM AND METHOD FOR PARALLEL PROCESSING OF BLOCK CHAIN TRANSACTIONS |
US20200334677A1 (en) * | 2019-04-16 | 2020-10-22 | Nokia Solutions And Networks Oy | Transparent blockchain sidechains to support blockchain processing heterogeneity |
US11507562B1 (en) | 2019-05-22 | 2022-11-22 | Splunk Inc. | Associating data from different nodes of a distributed ledger system |
US11269859B1 (en) * | 2019-05-22 | 2022-03-08 | Splunk Inc. | Correlating different types of data of a distributed ledger system |
GB201907347D0 (en) * | 2019-05-24 | 2019-07-10 | Nchain Holdings Ltd | In-script functions within a blockchain transaction |
GB201907345D0 (en) | 2019-05-24 | 2019-07-10 | Nchain Holdings Ltd | Protocol for validating blockchain transactions |
US11310054B2 (en) * | 2019-06-19 | 2022-04-19 | Amazon Technologies, Inc. | Symmetric function for journaled database proof |
US11418345B2 (en) | 2019-06-19 | 2022-08-16 | Amazon Technologies, Inc. | Digest proofs in a journaled database |
US11487819B2 (en) | 2019-06-19 | 2022-11-01 | Amazon Technologies, Inc. | Threaded leaf nodes in database journal |
US11487733B2 (en) | 2019-06-19 | 2022-11-01 | Amazon Technologies, Inc. | Database journal redaction |
WO2020252753A1 (zh) * | 2019-06-20 | 2020-12-24 | 深圳市网心科技有限公司 | 区块链节点设备及其认证方法、装置、存储介质 |
CN110347660B (zh) * | 2019-06-28 | 2020-08-11 | 阿里巴巴集团控股有限公司 | 基于区块链的分级存储方法及装置、电子设备 |
US10789222B2 (en) | 2019-06-28 | 2020-09-29 | Alibaba Group Holding Limited | Blockchain-based hierarchical data storage |
US11036720B2 (en) | 2019-06-28 | 2021-06-15 | Advanced New Technologies Co., Ltd. | Blockchain-based hierarchical data storage |
JP6651042B1 (ja) * | 2019-08-28 | 2020-02-19 | 株式会社bitFlyer Blockchain | 複数のノードを有する分散ネットワークに資産の移転を表すトランザクションを記憶する方法及びそのためのプログラム並びに当該分散ネットワークを構成するためのノード |
GB201915443D0 (en) * | 2019-10-24 | 2019-12-11 | Nchain Holdings Ltd | Data Structure for efficiently verifying data |
EP3769219B1 (en) * | 2019-11-29 | 2023-07-19 | Alipay (Hangzhou) Information Technology Co., Ltd. | Taking snapshots of blockchain data |
US20210182840A1 (en) * | 2019-12-17 | 2021-06-17 | Paypal, Inc. | Token processing to facilitate storage of transaction data in a blockchain |
GB2592225A (en) * | 2020-02-19 | 2021-08-25 | Nchain Holdings Ltd | Attestation service for use with a blockchain network |
GB2592211A (en) * | 2020-02-19 | 2021-08-25 | Nchain Holdings Ltd | Adapting connections of a layered network |
GB2594684A (en) | 2020-02-19 | 2021-11-10 | Nchain Holdings Ltd | Layered network |
US11792022B2 (en) | 2020-02-21 | 2023-10-17 | International Business Machines Corporation | Resolution of conflicting data |
EP3907644B1 (en) | 2020-05-07 | 2022-10-05 | Cambridge Cryptographic Ltd | Blockchain |
TWI789971B (zh) * | 2020-05-15 | 2023-01-11 | 華南商業銀行股份有限公司 | 交互判斷合法性的交易驗證系統及方法 |
GB2599735A (en) | 2020-10-12 | 2022-04-13 | Cambridge Cryptographic Ltd | Blockchain |
WO2022118263A1 (en) | 2020-12-02 | 2022-06-09 | Trock Stanislav | Blockchain |
GB2609194A (en) * | 2021-07-19 | 2023-02-01 | Nchain Licensing Ag | Enforcing conditions on blockchain transactions |
TWI788989B (zh) * | 2021-09-01 | 2023-01-01 | 中華電信股份有限公司 | 一種基於區塊鏈的行動支付整合系統、方法及其電腦可讀媒介 |
WO2023233013A1 (en) * | 2022-06-02 | 2023-12-07 | Nchain Licensing Ag | Methods and systems for freezing digital assets |
WO2024116092A1 (en) | 2022-11-29 | 2024-06-06 | Trock Stanislav | Full-fledged smart contracts for utxo based blockchains |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6912530B1 (en) * | 2000-02-01 | 2005-06-28 | Unisys Corporation | Special device access to distributed data |
CN105279090A (zh) * | 2015-11-17 | 2016-01-27 | 中国建设银行股份有限公司 | 应用于金融领域的测试脚本生成方法和装置 |
US20160191243A1 (en) * | 2014-12-31 | 2016-06-30 | William Manning | Out-of-band validation of domain name system records |
CN106504094A (zh) * | 2016-11-25 | 2017-03-15 | 中国银行股份有限公司 | 基于区块链技术的分布式总账***的交易撮合方法及*** |
Family Cites Families (67)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP3290302B2 (ja) * | 1994-06-30 | 2002-06-10 | 富士通株式会社 | データの交換処理方法及び装置 |
US7350040B2 (en) * | 2005-03-03 | 2008-03-25 | Microsoft Corporation | Method and system for securing metadata to detect unauthorized access |
US20120095911A1 (en) * | 2009-06-16 | 2012-04-19 | Smart Hub Pte. Ltd. | Transaction system and method |
US20140108593A1 (en) | 2012-10-15 | 2014-04-17 | Dell Products L.P. | System and Method for Migration of Digital Assets |
CA2884070A1 (en) | 2013-04-10 | 2014-10-10 | Iconic Worldwide Gaming Limited | Method, apparatus, and computer-readable media for enabling real-time competition based on commodities |
WO2014201059A1 (en) | 2013-06-10 | 2014-12-18 | Certimix, Llc | Secure storing and offline transfering of digitally transferable assets |
FR3018378A1 (fr) * | 2014-03-12 | 2015-09-11 | Enrico Maim | Systeme et procede transactionnels a architecture repartie fondees sur des transactions de transferts d'unites de compte entre adresses |
US9858569B2 (en) | 2014-03-21 | 2018-01-02 | Ramanan Navaratnam | Systems and methods in support of authentication of an item |
US11270298B2 (en) | 2014-04-14 | 2022-03-08 | 21, Inc. | Digital currency mining circuitry |
US9818092B2 (en) | 2014-06-04 | 2017-11-14 | Antti Pennanen | System and method for executing financial transactions |
KR101660627B1 (ko) * | 2015-02-03 | 2016-09-28 | 한양대학교 에리카산학협력단 | 암호화 화폐의 거래를 보호하는 방법 및 장치 |
SG11201708000PA (en) * | 2015-03-31 | 2017-10-30 | Nasdaq Inc | Systems and methods of blockchain transaction recordation |
US9397985B1 (en) * | 2015-04-14 | 2016-07-19 | Manifold Technology, Inc. | System and method for providing a cryptographic platform for exchanging information |
US20160342977A1 (en) * | 2015-05-20 | 2016-11-24 | Vennd.io Pty Ltd | Device, method and system for virtual asset transactions |
AU2016288644A1 (en) * | 2015-07-02 | 2018-02-22 | Nasdaq, Inc. | Systems and methods of secure provenance for distributed transaction databases |
US10339523B2 (en) * | 2015-07-14 | 2019-07-02 | Fmr Llc | Point-to-point transaction guidance apparatuses, methods and systems |
US20170109735A1 (en) * | 2015-07-14 | 2017-04-20 | Fmr Llc | Computationally Efficient Transfer Processing and Auditing Apparatuses, Methods and Systems |
US20170085545A1 (en) * | 2015-07-14 | 2017-03-23 | Fmr Llc | Smart Rules and Social Aggregating, Fractionally Efficient Transfer Guidance, Conditional Triggered Transaction, Datastructures, Apparatuses, Methods and Systems |
US20170085555A1 (en) | 2015-07-14 | 2017-03-23 | Fmr Llc | Point-to-Point Transaction Guidance Apparatuses, Methods and Systems |
US20170048234A1 (en) | 2015-07-14 | 2017-02-16 | Fmr Llc | Social Aggregating, Fractionally Efficient Transfer Guidance, Conditional Triggered Transaction, Datastructures, Apparatuses, Methods and Systems |
US20170046689A1 (en) | 2015-07-14 | 2017-02-16 | Fmr Llc | Crypto Voting and Social Aggregating, Fractionally Efficient Transfer Guidance, Conditional Triggered Transaction, Datastructures, Apparatuses, Methods and Systems |
US11347876B2 (en) * | 2015-07-31 | 2022-05-31 | British Telecommunications Public Limited Company | Access control |
WO2017079652A1 (en) * | 2015-11-05 | 2017-05-11 | Pulsifer Allen | Cryptographic transactions system |
US20180253702A1 (en) | 2015-11-24 | 2018-09-06 | Gartland & Mellina Group | Blockchain solutions for financial services and other transactions-based industries |
WO2017112664A1 (en) * | 2015-12-21 | 2017-06-29 | Kochava Inc. | Self regulating transaction system and methods therefor |
US10262164B2 (en) * | 2016-01-15 | 2019-04-16 | Blockchain Asics Llc | Cryptographic ASIC including circuitry-encoded transformation function |
EP3420668B1 (en) * | 2016-02-23 | 2023-08-23 | nChain Licensing AG | Method and system for efficient transfer of cryptocurrency associated with a payroll on a blockchain that leads to an automated payroll method and system based on smart contracts |
CN109074579B (zh) * | 2016-02-23 | 2022-10-11 | 区块链控股有限公司 | 使用分布式散列表和区块链保护计算机软件的方法及*** |
US10587609B2 (en) * | 2016-03-04 | 2020-03-10 | ShoCard, Inc. | Method and system for authenticated login using static or dynamic codes |
GB201605032D0 (en) * | 2016-03-24 | 2016-05-11 | Eitc Holdings Ltd | Recording multiple transactions on a peer-to-peer distributed ledger |
US10095653B2 (en) | 2016-04-02 | 2018-10-09 | Intel Corporation | Apparatuses, systems, and methods for accurately measuring packet propagation delays through USB retimers |
WO2017180185A1 (en) | 2016-04-12 | 2017-10-19 | Sensoriant, Inc. | Method and system for safeguarding stored data |
US10529042B2 (en) | 2016-04-18 | 2020-01-07 | Rs Ltd. | System and method for managing transactions in dynamic digital documents |
CN105956923B (zh) * | 2016-04-20 | 2022-04-29 | 上海如鸽投资有限公司 | 资产交易***以及资产的数字化认证和交易方法 |
KR101701131B1 (ko) * | 2016-04-28 | 2017-02-13 | 주식회사 라피 | 이종간 블록체인 연결을 이용한 데이터 기록/검증 방법 및 시스템 |
GB201607477D0 (en) | 2016-04-29 | 2016-06-15 | Eitc Holdings Ltd | A method and system for controlling the performance of a contract using a distributed hash table and a peer to peer distributed ledger |
CN106130728B (zh) * | 2016-04-29 | 2019-07-26 | 北京太一云科技有限公司 | 一种基于区块链的数字资产登记方法及其服务器 |
US10333705B2 (en) * | 2016-04-30 | 2019-06-25 | Civic Technologies, Inc. | Methods and apparatus for providing attestation of information using a centralized or distributed ledger |
KR102050129B1 (ko) * | 2016-05-03 | 2019-11-28 | 안규태 | 블록 검증을 위한 복수의 일방향 함수를 지원하는 블록 체인 |
CN106022741A (zh) * | 2016-05-19 | 2016-10-12 | 北京太云科技有限公司 | 一种基于区块链的不可分割的数字资产转账方法 |
CN106056373A (zh) | 2016-05-19 | 2016-10-26 | 北京太云科技有限公司 | 一种基于区块链的可分割的数字资产转账方法 |
US10204341B2 (en) | 2016-05-24 | 2019-02-12 | Mastercard International Incorporated | Method and system for an efficient consensus mechanism for permissioned blockchains using bloom filters and audit guarantees |
US10198325B2 (en) | 2016-05-24 | 2019-02-05 | Mastercard International Incorporated | Method and system for desynchronization recovery for permissioned blockchains using bloom filters |
US10417188B2 (en) | 2016-05-27 | 2019-09-17 | Mastercard International Incorporated | Method and system for transferring trust across block chain segments |
CN106445993A (zh) * | 2016-07-11 | 2017-02-22 | 天津米游科技有限公司 | 一种基于区块链的数据指纹查询方法及装置 |
US10097344B2 (en) * | 2016-07-15 | 2018-10-09 | Mastercard International Incorporated | Method and system for partitioned blockchains and enhanced privacy for permissioned blockchains |
CN109564660A (zh) * | 2016-07-25 | 2019-04-02 | 电信区块链联盟软件公司 | 分布式交易共识网络的数字财产管理 |
US10257496B2 (en) * | 2016-07-26 | 2019-04-09 | Qcify Inc. | Quality inspection data distributed ledger |
US10417217B2 (en) | 2016-08-05 | 2019-09-17 | Chicago Mercantile Exchange Inc. | Systems and methods for blockchain rule synchronization |
US10523443B1 (en) * | 2016-08-24 | 2019-12-31 | Bruce Kleinman | Devices, methods, and systems for cryptographic authentication and provenance of physical assets |
KR101727525B1 (ko) | 2016-09-05 | 2017-04-17 | 주식회사 스케일체인 | 블록체인 기반 분산 저장 방법 및 이를 이용한 장치 |
CN106385319B (zh) * | 2016-09-29 | 2020-11-27 | 江苏通付盾科技有限公司 | 区块链网络中信息的验证方法及*** |
US11282137B2 (en) | 2016-10-07 | 2022-03-22 | The Toronto-Dominion Bank | Secure element method for distributed electronic ledger |
US10719771B2 (en) * | 2016-11-09 | 2020-07-21 | Cognitive Scale, Inc. | Method for cognitive information processing using a cognitive blockchain architecture |
US10862959B2 (en) | 2016-11-28 | 2020-12-08 | Keir Finlow-Bates | Consensus system and method for adding data to a blockchain |
CN106411503B (zh) | 2016-11-28 | 2019-11-08 | 中国银行股份有限公司 | 区块链投票记账模式的记账方法及***、投票及记账节点 |
WO2018120121A1 (zh) * | 2016-12-30 | 2018-07-05 | 深圳前海达闼云端智能科技有限公司 | 区块链权限控制方法、装置及节点设备 |
US11108627B2 (en) * | 2016-12-30 | 2021-08-31 | Intel Corporation | Object identification for groups of IoT devices |
US11341488B2 (en) | 2017-02-06 | 2022-05-24 | Northern Trust Corporation | Systems and methods for issuing and tracking digital tokens within distributed network nodes |
US10158479B2 (en) | 2017-02-06 | 2018-12-18 | Northern Trust Corporation | Systems and methods for generating, uploading and executing code blocks within distributed network nodes |
US20180254982A1 (en) | 2017-03-01 | 2018-09-06 | Cisco Technology, Inc. | Communication Paths for Distributed Ledger Systems |
US10762481B2 (en) * | 2017-03-21 | 2020-09-01 | The Toronto-Dominion Bank | Secure offline approval of initiated data exchanges |
US20200067697A1 (en) | 2017-03-22 | 2020-02-27 | NEC Laboratories Europe GmbH | Method for operating a blockchain |
EP3382591B1 (en) | 2017-03-30 | 2020-03-25 | British Telecommunications public limited company | Hierarchical temporal memory for expendable access control |
US11258582B2 (en) | 2017-05-01 | 2022-02-22 | Qbrics, Inc. | Distributed system and method for encryption of blockchain payloads |
GB201707296D0 (en) | 2017-05-08 | 2017-06-21 | Nchain Holdings Ltd | Computer-implemented system and method |
EP4191494A1 (en) * | 2017-05-26 | 2023-06-07 | nChain Licensing AG | Blockchain state confirmation |
-
2018
- 2018-05-23 EP EP22205152.6A patent/EP4191494A1/en active Pending
- 2018-05-23 CN CN201880034521.5A patent/CN111247546A/zh active Pending
- 2018-05-23 EP EP18731903.3A patent/EP3631721A1/en not_active Ceased
- 2018-05-23 KR KR1020197035955A patent/KR102627490B1/ko active IP Right Grant
- 2018-05-23 JP JP2019563503A patent/JP7247107B2/ja active Active
- 2018-05-23 US US16/616,953 patent/US20200151165A1/en active Pending
- 2018-05-23 WO PCT/IB2018/053653 patent/WO2018215949A1/en active Application Filing
- 2018-05-23 WO PCT/IB2018/053651 patent/WO2018215947A1/en active Application Filing
- 2018-05-23 CN CN201880034577.0A patent/CN110692071A/zh active Pending
- 2018-05-23 EP EP22205162.5A patent/EP4184405A1/en active Pending
- 2018-05-23 EP EP22205034.6A patent/EP4184404A1/en active Pending
- 2018-05-23 KR KR1020197035962A patent/KR102612793B1/ko active Application Filing
- 2018-05-23 US US16/616,945 patent/US12039528B2/en active Active
- 2018-05-23 WO PCT/IB2018/053655 patent/WO2018215951A1/en active Application Filing
- 2018-05-23 KR KR1020247001803A patent/KR20240014591A/ko active Search and Examination
- 2018-05-23 KR KR1020237042262A patent/KR20230170820A/ko active Application Filing
- 2018-05-23 KR KR1020197035969A patent/KR102627000B1/ko active IP Right Grant
- 2018-05-23 EP EP18730867.1A patent/EP3631719A1/en not_active Ceased
- 2018-05-23 CN CN201880034526.8A patent/CN111247547A/zh active Pending
- 2018-05-23 EP EP18730868.9A patent/EP3631720A1/en not_active Ceased
- 2018-05-23 US US16/616,950 patent/US12033146B2/en active Active
- 2018-05-23 JP JP2019563527A patent/JP7262402B2/ja active Active
- 2018-05-23 JP JP2019563405A patent/JP7201622B2/ja active Active
- 2018-05-25 TW TW107117888A patent/TWI784002B/zh active
-
2019
- 2019-11-28 ZA ZA2019/07921A patent/ZA201907921B/en unknown
-
2022
- 2022-12-22 JP JP2022205005A patent/JP7372434B2/ja active Active
-
2023
- 2023-03-15 JP JP2023040198A patent/JP7486630B2/ja active Active
- 2023-04-11 JP JP2023063952A patent/JP2023089101A/ja active Pending
- 2023-10-19 JP JP2023180049A patent/JP2023179743A/ja active Pending
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6912530B1 (en) * | 2000-02-01 | 2005-06-28 | Unisys Corporation | Special device access to distributed data |
US20160191243A1 (en) * | 2014-12-31 | 2016-06-30 | William Manning | Out-of-band validation of domain name system records |
CN105279090A (zh) * | 2015-11-17 | 2016-01-27 | 中国建设银行股份有限公司 | 应用于金融领域的测试脚本生成方法和装置 |
CN106504094A (zh) * | 2016-11-25 | 2017-03-15 | 中国银行股份有限公司 | 基于区块链技术的分布式总账***的交易撮合方法及*** |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20220337437A1 (en) * | 2019-09-12 | 2022-10-20 | nChain Holdings Limited | Blockchain transactions including portions of code in different languages for complex validation |
CN111737256A (zh) * | 2020-06-12 | 2020-10-02 | 北京众享比特科技有限公司 | 一种基于可信执行环境和区块链的数据库表操作方法和*** |
CN112215707A (zh) * | 2020-09-21 | 2021-01-12 | 上海泼墨网络科技有限公司 | 一种基于区块链的定制化的资产交易智能合约的使用方法 |
CN112215707B (zh) * | 2020-09-21 | 2024-01-09 | 上海泼墨网络科技有限公司 | 一种基于区块链的定制化的资产交易智能合约的使用方法 |
CN112398949A (zh) * | 2020-11-26 | 2021-02-23 | 卓尔智联(武汉)研究院有限公司 | 交易确认方法、***、装置和计算机设备 |
Also Published As
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP7372434B2 (ja) | スクリプトに基づくブロックチェーン相互作用 | |
JP7225208B2 (ja) | ブロックチェーンにおける擬似乱数生成 | |
US11429956B2 (en) | Computer-implemented systems and methods for authorising blockchain transactions with low-entropy passwords | |
JP2024102234A (ja) | ブロック認識 |
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 |