JP2020526810A - ブロックチェーン上で高レベル演算を提供する方法及びシステム - Google Patents

ブロックチェーン上で高レベル演算を提供する方法及びシステム Download PDF

Info

Publication number
JP2020526810A
JP2020526810A JP2019568221A JP2019568221A JP2020526810A JP 2020526810 A JP2020526810 A JP 2020526810A JP 2019568221 A JP2019568221 A JP 2019568221A JP 2019568221 A JP2019568221 A JP 2019568221A JP 2020526810 A JP2020526810 A JP 2020526810A
Authority
JP
Japan
Prior art keywords
script
blockchain
language
scripting language
primitives
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
JP2019568221A
Other languages
English (en)
Other versions
JP7220678B2 (ja
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.)
Nchain Holdings Ltd
Original Assignee
Nchain Holdings 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
Priority claimed from GBGB1710971.1A external-priority patent/GB201710971D0/en
Priority claimed from GBGB1710967.9A external-priority patent/GB201710967D0/en
Priority claimed from GBGB1710974.5A external-priority patent/GB201710974D0/en
Application filed by Nchain Holdings Ltd filed Critical Nchain Holdings Ltd
Publication of JP2020526810A publication Critical patent/JP2020526810A/ja
Priority to JP2023012689A priority Critical patent/JP2023052782A/ja
Application granted granted Critical
Publication of JP7220678B2 publication Critical patent/JP7220678B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/43—Checking; Contextual analysis
    • G06F8/433—Dependency analysis; Data or control flow analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/31—Programming languages or programming paradigms
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/44—Encoding
    • G06F8/443—Optimisation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/45—Exploiting coarse grain parallelism in compilation, i.e. parallelism between groups of instructions
    • G06F8/451—Code distribution
    • G06F8/452—Loops
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/51—Source to source
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
    • G06F9/45508—Runtime interpretation or emulation, e g. emulator loops, bytecode interpretation
    • 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
    • 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/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/0643—Hash functions, e.g. MD5, SHA, HMAC or f9 MAC
    • 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/3247—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 involving digital signatures
    • 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/3297—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 involving time stamps, e.g. generation of time stamps
    • 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
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L2209/00—Additional information or applications relating to cryptographic mechanisms or cryptographic arrangements for secret or secure communication H04L9/00
    • H04L2209/56—Financial cryptography, e.g. electronic payment or e-cash
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L63/00—Network architectures or network communication protocols for network security
    • H04L63/14—Network architectures or network communication protocols for network security for detecting or protecting against malicious traffic
    • H04L63/1441—Countermeasures against malicious traffic
    • H04L63/1458—Denial of Service

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Security & Cryptography (AREA)
  • Signal Processing (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Computing Systems (AREA)
  • Power Engineering (AREA)
  • Devices For Executing Special Programs (AREA)
  • Financial Or Insurance-Related Operations Such As Payment And Settlement (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Stored Programmes (AREA)
  • Document Processing Apparatus (AREA)

Abstract

本発明は、容易に及び効率的方法で、追加機能をブロックチェーンスクリプトに挿入させることを可能にする方法及びシステムを提供する。一実施形態によると、本発明は、ブロックチェーンに実装される方法であって、実行されると高レベルスクリプト言語プリミティブの機能を提供するよう、複数のスクリプト言語プリミティブを構成する又はそれを選択するステップであって、前記のスクリプト言語は、ブロックチェーンプロトコルに関連付けられる、ステップと、前記複数のスクリプト言語プリミティブを少なくとも１回、スクリプトに挿入するステップと、前記スクリプトをブロックチェーントランザクション（Tx）に挿入するステップと、を含む方法を提供する。高レベルスクリプト言語プリミティブは、例えば、乗算又は除算のような算術演算を実行してよい。スクリプト言語プリミティブは、オペコード、ワード、又はコマンドと呼ばれてよく、スクリプト言語に固有である。スクリプト言語はScriptであってよく、ブロックチェーンプロトコルはBitcoinプロトコルのバージョンであってよい。

Description

本発明は、概して、分散台帳技術に関し、特に、Bitcoinブロックチェーン又は任意の他のブロックチェーン／暗号通貨プロトコルの変形のようなブロックチェーン技術に関する。本発明は、限定ではなく、ブロックチェーントランザクション（Tx）内のスクリプトが実行のために構成される方法を制御する際に、したがって、デジタルリソースの制御若しくは所有権がブロックチェーンネットワークを介して移転される方法を制御する際に、使用されることに適する。
本願明細書で、用語「ブロックチェーン」は、あらゆる形式の電子的な、コンピュータに基づく、分散台帳技術を含むよう使用される。これらは、総意に基づくブロックチェーン及びトランザクションチェーン技術、許可及び未許可台帳、共有台帳、サイドチェーン、及びそれらの変形を含む。最も広く知られているブロックチェーン技術の用途はBitcoin台帳であるが、他のブロックチェーンの実装が提案され開発されている。ビットコインは便宜上及び説明を目的として本願明細書において言及されるが、本発明はBitcoinのブロックチェーンの変形と共に使用することに限定されず、代替ブロックチェーン実装及びプロトコルが本発明の範囲に含まれることに留意すべきである。
ブロックチェーンは、ブロックにより構成される、コンピュータに基づく非集中型の分散型システムとして実装されるピアツーピア電子台帳である。また、ブロックはトランザクションにより構成される。各トランザクションは、ブロックチェーンシステム内で参加者間のデジタルアセットの制御の移転を符号化するデータ構造であり、少なくとも１つのインプット及び少なくとも１つのアウトプットを含む。各ブロックは前のブロックのハッシュを含み、ブロックは共にチェーンになって、その発端からブロックチェーンに書き込まれている全てのトランザクションの永久的な変更不可能なレコードを生成する。トランザクションは、そのインプット及びアウトプットに組み込まれたスクリプトとして知られる小さなプログラムを含む。スクリプトは、トランザクションのアウトプットがどのように及び誰によりアクセス可能かを指定する。ビットコインプラットフォーム上で、これらのスクリプトは、Scriptと呼ばれるスタックに基づくスクリプト言語を用いて記述される。
トランザクションがブロックチェーンに書き込まれるために、「検証され」なければならない。ネットワークノード（マイナー）は、各トランザクションが有効であることを保証するために作業を実行し、無効なトランザクションはネットワークから拒否される。ノードにインストールされたソフトウェアクライアントは、自身のロック及びアンロックスクリプトを実行することにより、この検証作業を未使用トランザクション（UTXO）に対して実行する。ロック及びアンロックスクリプトの実行が真と評価した場合、トランザクションは有効であり、トランザクションはブロックチェーンに書き込まれる。したがって、トランザクションがブロックチェーンに書き込まれるためには、トランザクションは、ｉ）トランザクションを受信した第１ノードにより検証され、トランザクションが検証された場合に、ノードは該トランザクションをネットワーク内の他のノードに中継し、ｉｉ）マイナーにより構築された新しいブロックに追加し、ｉｉｉ）マイニングされ、つまり過去のトランザクションの公開台帳に追加されなければならない。
ブロックチェーン技術は、暗号通貨実装の使用で最も広く知られているが、デジタル起業家が、新しいシステムを実装するために、Bitcoinの基づく暗号通貨セキュリティシステム、及びブロックチェーンに格納可能なデータの両方の使用を探索し始めている。ブロックチェーンが、暗号通貨の領域に限定されない自動タスク及びプロセスのために使用できれば、非常に有利であり、したがってブロックチェーンに実装される技術の適用性を広げる。このようなソリューションは、それらの用途において一層多様でありながら、ブロックチェーンの利点（例えば、永久的、イベントの耐タンパレコード、分散プロセス、等）を利用できる。
しかしながら、このような技術の機能を向上するために、現在存在する幾つかの技術的制限を解決する必要がある。１つ以上のBitcoinプロトコルでは、例えば、プログラマのプログラムがScriptで記述されるとき、特定の演算子はプログラマに利用可能でなくてよい。セキュリティ関連の懸念事項は、プロトコルの元のバージョンの中で提供されたScriptオペコードの幾つかを、Bitcoinコミュニティにより無効にさせてしまう。これらは、乗算及び除算のような特定の算術演算を実行するための演算子を含む。したがって、現在、幾つかのプロトコルでは、Script内のこのような演算を実行する固有のメカニズムが存在せず、これは、スクリプトコードが現在達成できることに制約をもたらす。無効なオペコードを含むスクリプトは、失敗し異常終了するだろう。これは、基礎にあるブロックチェーンプロトコル等に実装される技術の機能に制限をもたらす。所望の実装が基礎にあるプロトコル内で提供されない機能を使用する必要のあるときに生じる技術的課題が存在する。プロトコルの変更は、常に望ましく又は実現可能ではない場合がある。一方で、このようなブロックチェーンプラットフォームは機能的に制約されたままである。
したがって、ブロックチェーンスクリプト言語のセキュリティ及び完全性を保ちたいという要望をそのままに、スクリプトプログラマにより大きなプログラミング能力を与え並びに言語の多様性、可用性及び適用性を向上する、ソリューションを提供する必要もある。このようなソリューションは、改良されたブロックチェーンネットワークを提供し得る。これから、限定ではなく、以下を含む多数の利益が導かれ得る。
・複雑なブロックチェーンに関連する移転の自動化を可能にする、
・ブロックチェーンに記録されるメタデータストリームを制御する、
・ブロックチェーンに実装される技術の機能及び用途を拡張する。
このようなソリューションの一例がここに提供される。
本発明によると、添付の請求の範囲に定められるようなシステム及び／又は方法が提供される。
本発明の実施形態は、ブロックチェーンにより実装される方法／システムを提供し得る。本発明は、制御方法／システムであってよい。これは、ブロックチェーントランザクション（Tx）に埋め込まれるスクリプトの実行を及び／又はアウトプットがアンロックされるか否かを制御するよう、及び／又はトランザクションによりあるエンティティから別のエンティティへのリソースの移転を制御するよう、構成されてよい。
ブロックチェーンは、プロトコル及びスクリプト言語に関連付けられてよい。スクリプト言語は、スタックに基づく言語であってよい。スクリプト言語は、スクリプト言語がループ及び／又はジャンプ反復のような複雑な制御フローメカニズムを許可しないという意味で、機能的に制約されてよい。これは、Bitcoinスクリプト言語、Script、又は代替のものであってよい。
本発明の実施形態は、ブロックチェーンスクリプトの中で演算の機能をエミュレートする又は実装するメカニズムを提供し得る。演算は、ブロックチェーンプロトコルに関連付けられたスクリプト言語により本来サポートされない演算であってよい。これは無効な演算であってよい。これは、高レベル演算と呼ばれてよい。これは、ブロックチェーンスクリプト言語のワードセット（オペコード、コマンド、命令、又は関数）に対して、高レベルであってよい。高レベル演算は、固有のプリミティブ演算又は言語本来のオペコードから除去されたレベル抽象化で機能する演算であってよい。高レベル演算は、乗算及び除算のような算術演算であってよい。このことの利点は、本発明が、この機能を便利な方法で組み込むスクリプトを記述するために使用可能であり、スクリプト言語又はブロックチェーンプロトコルを変更する必要がないことである。したがって、本発明は、改良されたブロックチェーンシステムを提供し、より機能的に複雑な、より機能的に多様なアプリケーションをブロックチェーン上で実行可能にし、及びアプリケーションのプログラミングをエラーの低減と共により容易に且つ迅速に達成可能にする。したがって、結果として、より多様な、機能的に強力且つ有用なブロックチェーンをもたらす。一方で、本発明は、より多くのブロックチェーンにより実装される技術を構築可能にする。
追加又は代替として、当該方法は、実行されると高レベルスクリプト言語プリミティブの機能を提供するよう、複数の（ブロックチェーン）スクリプト言語プリミティブを構成するステップであって、前記のスクリプト言語は、ブロックチェーンプロトコルに関連付けられてよい、ステップと、前記複数のスクリプト言語プリミティブを少なくとも１回、スクリプトに挿入するステップと、及び／又は、前記スクリプトをブロックチェーントランザクション（Tx）に挿入するステップと、を含んでよい。
追加又は代替として、本発明による方法は、高レベルスクリプト言語演算子の機能を実行するために構成され及び／又は選択された複数のブロックチェーンオペコード（プリミティブ）を格納するステップと、前記複数のオペコードを記憶装置から読み出すステップと、前記複数のオペコードをブロックチェーントランザクションの中のスクリプトに挿入するステップと、を含んでよい。
前記複数のオペコードは「チャンク」として記載されてよい。
当該方法は、トランザクションを評価し及び／又は該トランザクションをブロックチェーンネットワークに提出するステップを含んでよい。当該方法は、前記トランザクションを実行するステップを含んでよい。
前記複数のスクリプト言語プリミティブの各々は、ワード、コマンド、又は関数としても知られ得る。これらは、「高レベルプリミティブ」と呼ばれてよい。便宜上、用語「オペコード」は、「スクリプト言語プリミティブ」のために使用される。複数のオペコードのうちの１つ、一部又は全部は、スクリプト言語のワード若しくは命令セットから選択されてよい。それらは、スクリプト言語に固有であってよい。
高レベルスクリプト言語プリミティブは、構成されたオペコードのグループ又は選択であってよい。それらは、所望の抽象化された機能を提供するために意図的に構成されてよい。これは、参照を容易にするために、「高レベルプリミティブ」として参照されてよい。高レベルプリミティブは、算術演算又はデータコピー、論理若しくはプログラム（フロー）制御演算を実行してよい。これは、コンピュータのスタック上のメモリに残される結果を生成してよい。高レベルプリミティブは、言語の固有のワードセットに含まれない又は無効にされているオペコードの機能をエミュレート又は提供してよい。高レベルプリミティブは、言語に固有の及び／又は機能的により単純な演算を実行するより多くの基本的又は基礎的演算に分解できるという意味で「高レベル」であってよい。高レベルプリミティブは、オペコードより一層抽象化されたレベルであるが、単一の演算を実行し又は結果を生成するために構成されてよい。
スクリプト言語はScript言語であってよい。ブロックチェーンプロトコルは、Bitcoinプロトコルであってよい。しかしながら、他の言語及びプロトコルが、本発明の範囲内に包含されてよい。スクリプト言語は機能的に制約されてよい。用語「チューリング不完全（non−Turing complete）」は、本願明細書では、用語「機能的に制約された」と同義的に使用されることがある。言語は、言語がループ及び／又はジャンプ反復のような１つ以上の制御フローメカニズムを元々サポートしないという意味で、機能的に制約されてよい。
当該方法は、前記複数のスクリプト言語プリミティブのうちの１つ、一部、又は全部を、前記スクリプト言語のワードセット又は命令セットから、選択するステップを更に含んでよい。
当該方法は、コンピュータに基づく記憶リソースに前記複数のスクリプト言語プリミティブを保存する及び／又は格納するステップ、を更に含んでよい。これは、不揮発性コンピュータメモリであってよい。当該方法は、前記複数のスクリプト言語プリミティブを前記スクリプトに挿入する前に、コンピュータに基づく記憶リソースから前記複数のスクリプト言語プリミティブを読み出すステップ、を更に含んでよい。
前記スクリプトは、アンロックスクリプト、ロックスクリプト、又はRedeemスクリプトであってよい。
スクリプトは、ブロックチェーントランザクションのインプット又はアウトプットに関連付けられてブロックチェーントランザクション（Tx）に挿入される。
当該方法は、ソースからインプット又は信号を受信し、前記インプット又は信号を使用して、前記複数のスクリプト言語プリミティブがスクリプトに挿入される回数を制御するステップ、を更に含んでよい。
当該方法は、前記トランザクションをブロックチェーンネットワークへ提出するステップを更に含んでよい。
前記複数のスクリプト言語プリミティブは、テンプレートスクリプト及び／又はテンプレートトランザクション（Tx）に挿入される。前記テンプレートは、前記スクリプト／トランザクションの不完全バージョンであってよい。
本発明は、コンピュータにより実装されるシステムも提供する。当該システムは、上述の方法の任意の実施形態を実行するよう構成されてよい。本発明のある１つ以上の態様に関連して記載された任意の特徴は、任意の他の態様に適用可能であってよい。方法に関連して記載された任意の特徴は、対応するシステムにも適用可能であってよく、逆も同様である。
本発明は、システムであって、プロセッサと、前記プロセッサによる実行の結果として前記システムに本願明細書に記載のコンピュータにより実施される方法の任意の実施形態を実行させる実行可能命令を含むメモリと、を含むシステムも提供する。
本発明は、実行可能命令を格納した非一時的コンピュータ可読記憶媒体であって、前記実行可能命令は、コンピュータシステムのプロセッサにより実行された結果として、前記コンピュータシステムに本願明細書に記載のコンピュータにより実施される方法の実施形態を少なくとも実行させる、非一時的コンピュータ可読記憶媒体も提供する。
本発明の上述の及び他の態様は、本願明細書に記載される実施形態から明らかであり、それらの実施形態を参照して教示される。本発明の実施形態は、単なる例として添付の図面を参照して以下に説明される。
従来知られているような、何からの暗号通貨の所有権の制御を移転するために、トランザクションがブロックチェーン上でどのように一緒にチェーンできるかを示す。 本発明の一実施形態による使用に適する、及び説明のための使用例と関連する、制御トランザクションを示す。 ブロックチェーンに関連付けられた例示的なネットワークを示す。
本発明は、ブロックチェーンの関連付けられたプロトコルのスクリプト言語が高レベル演算のような固有のオペコードを提供しない又はそれらが無効にされているときでも、ブロックチェーンスクリプトの中で高レベル演算の機能を実装する改良されたメカニズムを提供する。本発明は、言語の既存の低レベルオペコードの選択を利用し、それらを新規な方法で結合して、所望の機能を達成する。プリミティブオペコードの選択された結合は、所望の高レベル機能を提供するために選択され及び／又は構成される。選択された固有のオペコードの結合は、便宜上及び参照を容易にするために、「高レベル演算子」と呼ばれてよい。したがって、用語「高レベル」は、演算が、望ましくはスクリプト言語に固有であるより基礎的若しくは基本的演算に分解できることを意味するために使用されてよい。複数のオペコード又はオペコードのチャンク（chunk）は、参照、使用若しくは援用を容易にするために、ラベル又は識別子に関連付けられてよい。
高レベル演算子を構成するコード部分は、予め定められ又は予め選択されてよい。この文脈における「予め」は、コード部分が最終的に置かれる最終使用又は用途の前であることを意味してよい。追加又は代替として、これは、実行又は実行時間の前を意味してよい。コード部分（又は「チャンク（chuck）」）は、不揮発性メモリのようなコンピュータに基づくリソースに格納される。スクリプトが所与の目的のために必要とされるとき、格納されたオペコードは、アクセスされ、コピーされ、実行時間において所望の制御及び機能を提供するために１つ以上の選択された位置でスクリプトに挿入されることが可能である。高レベル演算子が挿入されたスクリプトは、記憶装置からアクセスされるテンプレートであってよい。したがって、機能的に複雑なブロックチェーントランザクションが、便利に且つ即座に生成でき、プログラミング時間、努力を節約し、コーディングエラーの可能性を低減する。エラーの可能性を低減することにより、本発明は、ブロックチェーントランザクションのために使用されるコードの品質を保証するメカニズムを提供する。これは、また、実行のときに、スクリプト（したがってトランザクション）の失敗数を低減する。この意味で、本発明は、ブロックチェーン上でトランザクションを実行し及びあるトランザクションのアウトプットを介して第２トランザクションのインプットへと、あるパーティから別のパーティへの移転を実行する、より効率的且つエラーの低減されたソリューションを提供する。
実行のとき、１つ以上の信号又はインプットをソースから受信でき、インプットは、高レベル演算子がスクリプト内で使用される回数に影響を与え又はそれを制御するために使用できる。特定の実施形態では、インプットはセンサから受信される。したがって、スクリプトは、何らかの外部又は環境因子に応答して結果が計算されるように、生成され得る。
別の利点は、既存スクリプト言語の設計、実装、又は展開が何らか補正又は変更される必要がないことである。無効な又は実装されないプリミティブ演算子の機能は、容易に且つ混乱なく、その現在の形式でブロックチェーンプロトコルに提供可能である。
以後、私達は、高レベルの乗算及び除算演算子のエミュレーションを可能にする本発明の実施形態によるソリューションを提示する。これらの実施形態は、演算子の所望の機能及び動作を提供する、Scriptに基づく演算シーケンスを含む。この演算子は、ブロックチェーンにより実装されるプログラムがどのように実行するかを制御するメカニズムを提供する。これらのプログラムがブロックチェーントランザクション（Tx）のインプット及びアウトプットに埋め込まれるとき、それらは、したがって、トランザクションがどのように実行されるか、したがってパーティからパーティへ暗号通貨の所有権の制御を移転するか、に影響を与え及びそれを制御するメカニズムを提供する。
＜例：乗算＞
本実施形態では、私達は、ブロックチェーンスクリプトの中の乗算のためのメカニズムを提供する。これは、乗算が、X及びYを掛け算したい値とするという知識を利用する。Script言語のシンタックスで記述すると、乗算演算子は以下の通りである。
Figure 2020526810
上記を実行した結果は、積がAltスタックに残されることである。
Figure 2020526810
上述のコードでは、開始セグメントの目的は、より少ない加算しか実行する必要がないことを保証するために、必要に応じてオペランドを交換することである。例えば、２×３がより少ない加算しか必要しなくなるよう、３×２になる。これは、労力を削減し、時間及び計算量の観点でコード全体をより効率的にする。「交換（スワップ、swap）」セグメントは次の通りである。
Figure 2020526810
以下のコードの目的は、カウンタメカニズムを提供することである。
Figure 2020526810
カウンタの値は、加算が実行される回数を制御するために使用できる。
上述の例では、点線の枠内に示されたコードは、加算を実行するためのコードである。加算は、後続の点線の枠内に示されるように繰り返される。簡単のため及び読み易さのために内容は繰り返されない。加算コードの最後にあるOP_EQUAL演算は、加算が十分な回数だけ実行されたか否かを調べるために使用される。
二重線の枠内に示されたコードは、スタックの「一掃（cleaning up）」及び結果を返す役割を実行する。
＜動作例：乗算＞
本技術を更に説明するために、私達は、以下に２つのオペランド、２及び３を用いる作業例を提供する。以下の例では、主スタック及びAltスタックの状態が示される。左の列は主スタックであり、右の列はAltスタックである。
Figure 2020526810
これは、スタックの状態を以下の通りにする（注：簡単及び明確にするために、重複はここに示されない）。
Figure 2020526810
次に、一番上のスタックアイテムが偽であるならば、以下を用いてコードの「本体（body）」を実行する。
Figure 2020526810
OP_ROT演算の使用は、上位３個のアイテムを左に回転させる。
Figure 2020526810
＜例：除算＞
この第２の例では、私達は、除算が減算を繰り返すことにより実行できるという知識を用いて、乗算の代わりに除算を実施する。私達は、除算演算子の動作をエミュレートする、Scriptに基づく演算シーケンスを提供する。X及びYを、除算したい値とする。Script言語のシンタックスで記述すると、除算演算子は以下の通りである。
Figure 2020526810
上記のアウトプットは、Altスタックの左の通りである。
Figure 2020526810
＜動作例：除算＞
この動作例で、私達は１１を３で除算する。
Figure 2020526810
＜第２動作例：除算＞
この第２動作例では、私達は、ソリューションがゼロによる除算をどのように扱うかを示す。ゼロによる除算は、有限機械には無限を表現する能力がないので、計算実装においてコーディングエラーの原因になり得る。本例では、私達は、０による３の除算を通じて進める。
Figure 2020526810
＜第３動作例：除算＞
第３動作例では、私達は、３による０の除算を通じて進める。
Figure 2020526810
＜説明のための使用例ブロックチェーンにより実装される制御システム＞
本発明は、プロトコルの言語が目的の低レベルオペコードを含まないときでも、ブロックチェーンスクリプトの中で高レベル演算を実装する技術を提供する。これは、ブロックチェーンプラットフォーム上でソリューションを実装するための非常に多様な構成を提供する。
これを説明するために、私達は、ここで、他の装置の動作を調整するために、複数のインプットを結合するシステムを提示する。一例として、私達は、以下のインプットを提供する２個のセンサを想定する。
(i)船内のタンクコンテナの数n、
(ii)コンテナの重さw、コンテナの重さwは正確に同じであると仮定する。
装置は、この単純な例では貨物船であり、以下の２つの状態を有し得る。
(i)貨物船が埠頭に滞在している（state１）、
(ii)貨物船が港を出る（state２）。最初に、システムはstate１にある。
私達は、閾条件Wtを定める。貨物船で運ばれる全体の重さWは、その動作を制御する。
・W>Wtならば、システムはstate２である。
図２は、ブロックチェーンに提出される制御トランザクション（Tx）を示す。オペコードPro_MULTは、上述の高レベル算術演算（X）を表す。センサは、値n及びwをアンロックスクリプトに提供する。ロックスクリプトに提示される必要のある対応するアンロックスクリプトは、したがって以下の通りである。
Figure 2020526810
＜ブロックチェーンネットワーク＞
図３を参照すると、図３は、ブロックチェーンに関連付けられた例示的なネットワークをブロック図形式で示す。該ネットワークは、ここではブロックチェーンネットワーク１００として参照されてよく、本発明の実装のために利用されてよい。ブロックチェーンネットワーク１００は、他の会員からの招待無しに又は承認無しに誰でも参加し得るピアツーピア開放型会員制ネットワークである。ブロックチェーンプロトコルの下でブロックチェーンネットワーク１００が動作し、該ブロックチェーンプロトコルのインスタンスを実行する分散型電子装置は、ブロックチェーンネットワーク１００に参加してよい。このような分散型電子装置は、ノード１０２と呼ばれてよい。ブロックチェーンプロトコルは、例えばBitcoinプロトコル、又は他の暗号通貨であってよい。
ブロックチェーンプロトコルを実行し、ブロックチェーンネットワーク１００のノード１０２を形成する電子装置は、例えばデスクトップコンピュータ、ラップトップコンピュータ、タブレットコンピュータ、サーバのようなコンピュータ、スマートフォンのようなモバイル装置、スマートウォッチのようなウェアラブルコンピュータ、又は他の電子装置を含む様々な種類であってよい。
ブロックチェーンネットワーク１００のノード１０２は、有線及び無線通信技術を含み得る適切な通信技術を用いて互いに結合される。多くの場合、ブロックチェーンネットワーク１００は、少なくとも部分的にインターネット上で実施され、ノード１０２の幾つかは、地理的に離散した位置に置かれてよい。
ノード１０２は、ブロックチェーン上の全てのトランザクションのグローバル台帳を維持する。該トランザクションはブロックにグループ化され、各ブロックはチェーンの中の前のブロックのハッシュを含む。グローバル台帳は、分散台帳であり、各ノード１０２はグローバル台帳の完全コピー又は部分コピーを格納してよい。グローバル台帳に影響を与えるノード１０２によるトランザクションは、他のノード１０２により検証される。その結果、グローバル台帳の有効性が維持される。Bitcoinプロトコルを使用することのような、ブロックチェーンネットワークの実装及び動作の詳細は、当業者に理解される。
各トランザクションは、標準的に、１つ以上のインプット及び１つ以上のアウトプットを有する。インプット及びアウトプットに埋め込まれるスクリプトは、トランザクションのアウトプットがどのように及び誰によりアクセス可能かを指定する。トランザクションのアウトプットは、トランザクションの結果として価値が移転されるアドレスであってよい。価値は、次に、未使用トランザクションアウトプット（UTXO）として該アウトプットアドレスに関連付けられる。後続のトランザクションは、次に、該価値を使用する又は分散させるために、該アドレスをインプットとして参照してよい。
ノード１０２は、ネットワークルーティングからウォレットサービスまで、多数の異なる機能を満たすことができ、ロバスト且つセキュアな分散パブリック台帳を維持する。「フルノード（Full nodes）」は、ブロックチェーンの完全な最新のコピーを有し、したがって、パブリック台帳上の任意のトランザクション（使用又は未使用）を検証できる。「軽量ノード（Lightweight nodes）」（又はSPV）は、ブロックチェーンのサブセットを維持し、「簡易支払検証」技術を用いてトランザクションを検証できる。軽量ノードは、各ブロック内のトランザクションではなく、ブロックのヘッダだけをダウンロードする。これらのノードは、したがって、それらのトランザクションを検証するピアに依存する。「マイニングノード」は、フル又は軽量ノードであり、ブロックチェーン上のトランザクションを検証し及び新しいブロックを生成することを担う。「ウォレットノード」は、標準的に軽量ノードであり、ユーザのウォレットサービスを扱う。ノード１０２は、TCP/IP（Transmission Control Protocol）のようなコネクション指向プロトコルを用いて互いに通信する。
留意すべきことに、上述の実施形態は、本発明を限定するのではなく、当業者は添付の請求項により定められる本発明の範囲から逸脱することなく多数の代替の実施形態を考案できる。請求項中、括弧内に記載された如何なる参照符号も、請求項を制限すると見なされるべきではない。用語「有する（comprising又はcomprises）」等は、全体としていかなる請求項中に及び明細書に列挙された以外の要素又はステップの存在を排除するものではない。本願明細書において、「有する（comprises）」は「含む（includes）又は構成される（consists of）」を意味し、「有する（comprising）」は「含む（including）又は構成される（including of）」を意味する。要素の単数の参照は、該要素の複数の存在を排除するものではなく、逆も同様である。本発明は、複数の別個の要素を有するハードウェアにより又は適切にプログラムされたコンピュータにより、実施され得る。複数の手段を列挙している装置の請求項では、これらの複数の手段は、１つの同一のハードウェア要素により実装することができる。特定の量が相互に異なる従属請求項に記載されるという事実は、これらの量の組合せが有利に用いることが出来ないことを示すものではない。

Claims (16)

  1. ブロックチェーンに実装される方法であって、
    実行されると高レベルスクリプト言語プリミティブの機能を提供するよう、複数のスクリプト言語プリミティブを構成するステップであって、前記のスクリプト言語は、ブロックチェーンプロトコルに関連付けられる、ステップと、
    前記複数のスクリプト言語プリミティブを少なくとも１回、スクリプトに挿入するステップと、
    前記スクリプトをブロックチェーントランザクション（Tx）に挿入するステップと、
    を含む方法。
  2. 前記高レベルスクリプト言語プリミティブは、算術演算を実行する、請求項１に記載の方法。
  3. 前記スクリプト言語はScript言語であり、及び／又は前記ブロックチェーンプロトコルはBitcoinプロトコルである、請求項１又は２に記載の方法。
  4. 前記スクリプト言語のワードセット又は命令セットから、前記複数のスクリプト言語プリミティブを選択するステップ、を更に含む請求項１乃至３のいずれかに記載の方法。
  5. コンピュータに基づく記憶リソースに前記複数のスクリプト言語プリミティブを保存する及び／又は格納するステップ、を更に含む請求項１乃至４のいずれかに記載の方法。
  6. 前記複数のスクリプト言語プリミティブを前記スクリプトに挿入する前に、コンピュータに基づく記憶リソースから前記複数のスクリプト言語プリミティブを読み出すステップ、を更に含む請求項１乃至５のいずれかに記載の方法。
  7. 前記スクリプトはアンロックスクリプト、ロックスクリプト、又はRedeemスクリプトである、請求項１乃至６のいずれかに記載の方法。
  8. 前記スクリプトは、前記ブロックチェーントランザクションのインプット又はアウトプットに関連して前記トランザクションに挿入される、請求項１乃至７のいずれかに記載の方法。
  9. ソースからインプット又は信号を受信し、前記インプット又は信号を使用して、前記複数のスクリプト言語プリミティブがスクリプトに挿入される回数を制御するステップ、を更に含む請求項１乃至８のいずれかに記載の方法。
  10. 前記トランザクションをブロックチェーンネットワークに提出するステップ、を更に含む請求項１乃至９のいずれかに記載の方法。
  11. 前記複数のスクリプト言語プリミティブは、テンプレートスクリプト及び／又はテンプレートトランザクション（Tx）に挿入される、請求項１乃至１０のいずれかに記載の方法。
  12. 前記複数のスクリプト言語プリミティブは、ラベル又は識別子に関連付けられる、請求項１乃至１１のいずれかに記載の方法。
  13. 前記スクリプト言語は機能的に制約される、請求項１乃至１２のいずれかに記載の方法。
  14. 請求項１乃至１３のいずれかに記載の方法を実行するよう構成されたコンピュータにより実装されるシステム。
  15. 実行されると、請求項１乃至１３のいずれか一項に記載の方法を実行するようプロセッサを構成するコンピュータ実行可能命令を含むコンピュータ可読記憶媒体。
  16. 電子装置であって、
    インタフェース装置と、
    前記インタフェース装置に結合されたプロセッサと、
    前記プロセッサに結合されたメモリであって、前記メモリは、実行されると、請求項１乃至１３のいずれか一項に記載の方法を実行するよう前記プロセッサを構成するコンピュータ実行可能命令を格納している、メモリと、
    を含む電子装置。
JP2019568221A 2017-07-07 2018-07-05 ブロックチェーン上で高レベル演算を提供する方法及びシステム Active JP7220678B2 (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2023012689A JP2023052782A (ja) 2017-07-07 2023-01-31 ブロックチェーン上で高レベル演算を提供する方法及びシステム

Applications Claiming Priority (13)

Application Number Priority Date Filing Date Title
IBPCT/IB2017/054110 2017-07-07
IB2017054114 2017-07-07
GBGB1710971.1A GB201710971D0 (en) 2017-07-07 2017-07-07 Computer-implemented system and method
GBGB1710967.9A GB201710967D0 (en) 2017-07-07 2017-07-07 Computer-implemented system and method
IB2017054110 2017-07-07
GB1710971.1 2017-07-07
GB1710967.9 2017-07-07
GB1710974.5 2017-07-07
IB2017054113 2017-07-07
GBGB1710974.5A GB201710974D0 (en) 2017-07-07 2017-07-07 Computer-implemented system and method
IBPCT/IB2017/054113 2017-07-07
IBPCT/IB2017/054114 2017-07-07
PCT/IB2018/054970 WO2019008532A1 (en) 2017-07-07 2018-07-05 METHOD FOR COMPILING HIGH-LEVEL SCRIPT LANGUAGE WITH BLOCK CHAIN NATIVE SCRIPT LANGUAGE

Related Child Applications (1)

Application Number Title Priority Date Filing Date
JP2023012689A Division JP2023052782A (ja) 2017-07-07 2023-01-31 ブロックチェーン上で高レベル演算を提供する方法及びシステム

Publications (2)

Publication Number Publication Date
JP2020526810A true JP2020526810A (ja) 2020-08-31
JP7220678B2 JP7220678B2 (ja) 2023-02-10

Family

ID=63077923

Family Applications (6)

Application Number Title Priority Date Filing Date
JP2019568229A Pending JP2020526811A (ja) 2017-07-07 2018-07-05 ブロックチェーンスクリプトにおける制御フロー
JP2019569887A Active JP7317722B2 (ja) 2017-07-07 2018-07-05 ブロックチェーンコンパイラ
JP2019568221A Active JP7220678B2 (ja) 2017-07-07 2018-07-05 ブロックチェーン上で高レベル演算を提供する方法及びシステム
JP2023012689A Pending JP2023052782A (ja) 2017-07-07 2023-01-31 ブロックチェーン上で高レベル演算を提供する方法及びシステム
JP2023064745A Active JP7476390B2 (ja) 2017-07-07 2023-04-12 ブロックチェーンコンパイラ
JP2023079779A Pending JP2023100981A (ja) 2017-07-07 2023-05-15 ブロックチェーンスクリプトにおける制御フロー

Family Applications Before (2)

Application Number Title Priority Date Filing Date
JP2019568229A Pending JP2020526811A (ja) 2017-07-07 2018-07-05 ブロックチェーンスクリプトにおける制御フロー
JP2019569887A Active JP7317722B2 (ja) 2017-07-07 2018-07-05 ブロックチェーンコンパイラ

Family Applications After (3)

Application Number Title Priority Date Filing Date
JP2023012689A Pending JP2023052782A (ja) 2017-07-07 2023-01-31 ブロックチェーン上で高レベル演算を提供する方法及びシステム
JP2023064745A Active JP7476390B2 (ja) 2017-07-07 2023-04-12 ブロックチェーンコンパイラ
JP2023079779A Pending JP2023100981A (ja) 2017-07-07 2023-05-15 ブロックチェーンスクリプトにおける制御フロー

Country Status (8)

Country Link
US (7) US11307835B2 (ja)
EP (6) EP4325351A3 (ja)
JP (6) JP2020526811A (ja)
KR (1) KR102608500B1 (ja)
CN (3) CN110869905A (ja)
SG (1) SG11201912227YA (ja)
WO (3) WO2019008531A1 (ja)
ZA (1) ZA201908552B (ja)

Families Citing this family (17)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2020526811A (ja) 2017-07-07 2020-08-31 エヌチェーン ホールディングス リミテッドＮｃｈａｉｎ Ｈｏｌｄｉｎｇｓ Ｌｉｍｉｔｅｄ ブロックチェーンスクリプトにおける制御フロー
GB201811263D0 (en) * 2018-07-10 2018-08-29 Netmaster Solutions Ltd A method and system for managing digital using a blockchain
US10964145B2 (en) * 2018-08-24 2021-03-30 Sensormatic Electronics, LLC Access control system using blockchain ledger
CN111949315A (zh) * 2019-05-16 2020-11-17 富士通株式会社 用于区块链账本数据的管理装置和方法
US11513815B1 (en) * 2019-05-24 2022-11-29 Hiro Systems Pbc Defining data storage within smart contracts
US10699269B1 (en) 2019-05-24 2020-06-30 Blockstack Pbc System and method for smart contract publishing
US11657391B1 (en) 2019-05-24 2023-05-23 Hiro Systems Pbc System and method for invoking smart contracts
US10783082B2 (en) * 2019-08-30 2020-09-22 Alibaba Group Holding Limited Deploying a smart contract
EP4073732A4 (en) 2019-12-09 2023-11-15 Eris Digital Holdings, LLC ELECTRONIC TRADING AND SETTLEMENT SYSTEM FOR BLOCKCHAIN-INTEGRATED CRYPTOGRAPHIC-BASED FINANCIAL INSTRUMENTS
US11314729B2 (en) * 2020-02-20 2022-04-26 International Business Machines Corporation Multi-candidate data structure for transaction validation
US20220066746A1 (en) * 2020-08-31 2022-03-03 Jpmorgan Chase Bank, N.A. Systems and methods for graphical programming and deployment of distributed ledger applications
CN113031931A (zh) * 2021-03-04 2021-06-25 嘉兴丰鸟科技有限公司 一种基于脚本交叉编译的Python安全扩展方法
US11902426B2 (en) * 2021-06-26 2024-02-13 Ceremorphic, Inc. Efficient storage of blockchain in embedded device
KR102460351B1 (ko) * 2021-06-29 2022-10-31 주식회사 퓨처에셋파이넨셜 파일코인 채굴 생산성 향상 장치 및 방법, 이를 구현하기 위한 프로그램이 저장된 기록매체 및 이를 구현하기 위해 매체에 저장된 컴퓨터프로그램
GB2618052A (en) * 2021-12-07 2023-11-01 Nchain Licensing Ag Blockchain script engine
US11770263B1 (en) * 2022-12-06 2023-09-26 Citibank, N.A. Systems and methods for enforcing cryptographically secure actions in public, non-permissioned blockchains using bifurcated self-executing programs comprising shared digital signature requirements
US11658833B1 (en) 2022-12-06 2023-05-23 Citibank, N.A. Systems and methods for conducting cryptographically secure actions in public, non-permissioned blockchains using bifurcated self-executing programs

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2005165698A (ja) * 2003-12-03 2005-06-23 Yaskawa Electric Corp プログラム開発システムのプログラム更新方法
JP2009086759A (ja) * 2007-09-27 2009-04-23 Hitachi Software Eng Co Ltd 携帯電話
US20160330034A1 (en) * 2015-05-07 2016-11-10 Blockstream Corporation Transferring ledger assets between blockchains via pegged sidechains
WO2017024071A1 (en) * 2015-08-03 2017-02-09 PokitDok, Inc. System and method for decentralized autonomous healthcare economy platform

Family Cites Families (42)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE3587591T2 (de) 1984-11-21 1994-04-28 Harris Corp Mikroprozessor für Forth-ähnliche Sprache.
JP3032031B2 (ja) * 1991-04-05 2000-04-10 株式会社東芝 ループ最適化方法及び装置
US5761652A (en) * 1996-03-20 1998-06-02 International Business Machines Corporation Constructing balanced multidimensional range-based bitmap indices
US6760905B1 (en) 2000-09-21 2004-07-06 Curl Corporation Lazy compilation of template-generated classes in dynamic compilation execution environments
US7168059B2 (en) * 2001-04-20 2007-01-23 Bryan Darrell Bowyer Graphical loop profile analysis
US6948160B2 (en) * 2001-05-31 2005-09-20 Sun Microsystems, Inc. System and method for loop unrolling in a dynamic compiler
JP2006107339A (ja) * 2004-10-08 2006-04-20 Matsushita Electric Ind Co Ltd プログラム処理装置
WO2006107339A2 (en) 2005-03-31 2006-10-12 Georgetown University Free thyroxine and free triiodothyronine analysis by mass spectrometry
CN100487652C (zh) * 2005-04-02 2009-05-13 华为技术有限公司 脚本语言的自动机方法
US8533666B2 (en) * 2008-10-17 2013-09-10 Microsoft Corporation Interactive design environments to visually model, debug and execute resource oriented programs
US10466989B2 (en) 2011-09-02 2019-11-05 Microsoft Technology Licensing, Llc. Fast presentation of markup content having script code
CN102999370A (zh) * 2011-09-16 2013-03-27 腾讯科技（深圳）有限公司 脚本的执行方法及系统
US8997070B2 (en) * 2011-12-15 2015-03-31 Sap Se Extension mechanism for scripting language compiler
US10417314B2 (en) * 2012-06-14 2019-09-17 Open Text Sa Ulc Systems and methods of a script generation engine
WO2014022326A1 (en) * 2012-07-31 2014-02-06 Microsoft Corporation Multilingual build integration for compiled applications
US8869122B2 (en) 2012-08-30 2014-10-21 Sybase, Inc. Extensible executable modeling
US9152400B2 (en) 2013-04-18 2015-10-06 Facebook, Inc. Eliminating redundant reference count operations in intermediate representation of script code
US9684499B2 (en) 2013-06-30 2017-06-20 Dropbox, Inc. Systems and methods for facilitating installation of software applications
KR102156371B1 (ko) 2013-11-27 2020-09-15 한국전자통신연구원 네이티브 빌드 기반의 임베디드 소프트웨어 개발 환경을 지원하기 위한 임베디드 소프트웨어 개발 도구 제공 방법 및 장치
EP3241310B1 (en) 2015-01-02 2019-07-31 Systech Corporation Control infrastructure
CN104484192B (zh) * 2015-01-07 2017-11-14 南威软件股份有限公司 一种复杂多分支结构代码自动生成的方法
US9892021B2 (en) 2015-03-18 2018-02-13 Sap Se Injection of code modifications in a two session debug scripting environment
US9735958B2 (en) 2015-05-19 2017-08-15 Coinbase, Inc. Key ceremony of a security system forming part of a host computer for cryptographic transactions
US20160342977A1 (en) 2015-05-20 2016-11-24 Vennd.io Pty Ltd Device, method and system for virtual asset transactions
JP6547466B2 (ja) 2015-07-06 2019-07-24 富士通株式会社 コンパイラ装置、コンパイル方法およびコンパイラプログラム
US20170011460A1 (en) * 2015-07-09 2017-01-12 Ouisa, LLC Systems and methods for trading, clearing and settling securities transactions using blockchain technology
EP3125489B1 (en) * 2015-07-31 2017-08-09 BRITISH TELECOMMUNICATIONS public limited company Mitigating blockchain attack
JP2018528461A (ja) 2015-08-07 2018-09-27 キネストラル・テクノロジーズ・インコーポレイテッドＫｉｎｅｓｔｒａｌ Ｔｅｃｈｎｏｌｏｇｉｅｓ，Ｉｎｃ． エレクトロクロミック素子組立体
US9569206B1 (en) 2015-09-29 2017-02-14 International Business Machines Corporation Creating optimized shortcuts
JP7114469B2 (ja) 2016-02-23 2022-08-08 エヌチェーン ホールディングス リミテッド セキュアな投票及び配布に利用されるブロックチェーンが実装された計数システム及び方法
US20170287090A1 (en) 2016-03-31 2017-10-05 Clause, Inc. System and method for creating and executing data-driven legal contracts
US10720232B2 (en) * 2016-04-13 2020-07-21 Accenture Global Solutions Limited Distributed healthcare records management
US10180900B2 (en) 2016-04-15 2019-01-15 Red Hat Israel, Ltd. Recordation of user interface events for script generation
CN109155034A (zh) 2016-04-29 2019-01-04 区块链控股有限公司 使用区块链实现逻辑门功能
CN106296191A (zh) * 2016-08-13 2017-01-04 深圳市樊溪电子有限公司 一种区块链功耗感知的PoW共识机制
CN106598579B (zh) 2016-12-06 2020-12-25 北京果仁宝科技有限公司 区块链上集成动态类型编程语言方法和装置
CN106598549B (zh) 2016-12-08 2019-02-01 天津米游科技有限公司 一种基于区块链的智能合约系统及实现方法
CN106778343A (zh) * 2016-12-12 2017-05-31 武汉优聘科技有限公司 一种基于区块链的涉及隐私数据的数据共享方法
US10871948B1 (en) 2017-03-30 2020-12-22 Wells Fargo Bank, N.A. Smart contract blockchain abstraction API
US10235280B2 (en) 2017-04-10 2019-03-19 Fmr Llc Automated script creation and source code generation for testing mobile devices
US10963790B2 (en) 2017-04-28 2021-03-30 SparkCognition, Inc. Pre-processing for data-driven model creation
JP2020526811A (ja) 2017-07-07 2020-08-31 エヌチェーン ホールディングス リミテッドＮｃｈａｉｎ Ｈｏｌｄｉｎｇｓ Ｌｉｍｉｔｅｄ ブロックチェーンスクリプトにおける制御フロー

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2005165698A (ja) * 2003-12-03 2005-06-23 Yaskawa Electric Corp プログラム開発システムのプログラム更新方法
JP2009086759A (ja) * 2007-09-27 2009-04-23 Hitachi Software Eng Co Ltd 携帯電話
US20160330034A1 (en) * 2015-05-07 2016-11-10 Blockstream Corporation Transferring ledger assets between blockchains via pegged sidechains
WO2017024071A1 (en) * 2015-08-03 2017-02-09 PokitDok, Inc. System and method for decentralized autonomous healthcare economy platform

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
"evm-opcode-gas-costs", [オンライン], JPN6022022823, 12 April 2017 (2017-04-12), ISSN: 0004792992 *
"Solidity in Depth", [オンライン], JPN6022022821, 3 July 2017 (2017-07-03), ISSN: 0004792991 *

Also Published As

Publication number Publication date
EP4325351A2 (en) 2024-02-21
JP2023100981A (ja) 2023-07-19
EP4325351A3 (en) 2024-04-03
US20230246811A1 (en) 2023-08-03
US20230057419A1 (en) 2023-02-23
EP4328739A2 (en) 2024-02-28
CN110870249A (zh) 2020-03-06
SG11201912227YA (en) 2020-01-30
US20210081185A1 (en) 2021-03-18
US11307835B2 (en) 2022-04-19
JP7220678B2 (ja) 2023-02-10
US11922149B2 (en) 2024-03-05
WO2019008531A1 (en) 2019-01-10
EP3649548A1 (en) 2020-05-13
US11797278B2 (en) 2023-10-24
JP2023089127A (ja) 2023-06-27
JP7476390B2 (ja) 2024-04-30
US20240168735A1 (en) 2024-05-23
JP2020526814A (ja) 2020-08-31
EP4300290A2 (en) 2024-01-03
ZA201908552B (en) 2023-06-28
CN110869905A (zh) 2020-03-06
WO2019008533A1 (en) 2019-01-10
EP3649759A1 (en) 2020-05-13
US11941381B2 (en) 2024-03-26
US20200195442A1 (en) 2020-06-18
KR20200021993A (ko) 2020-03-02
US11868745B2 (en) 2024-01-09
CN110869906A (zh) 2020-03-06
JP2023052782A (ja) 2023-04-12
KR102608500B1 (ko) 2023-12-04
US20220350579A1 (en) 2022-11-03
US11416226B2 (en) 2022-08-16
WO2019008532A1 (en) 2019-01-10
EP3649547A1 (en) 2020-05-13
EP4300290A3 (en) 2024-02-21
US20200174762A1 (en) 2020-06-04
JP2020526811A (ja) 2020-08-31
JP7317722B2 (ja) 2023-07-31
EP4328739A3 (en) 2024-04-03

Similar Documents

Publication Publication Date Title
JP7220678B2 (ja) ブロックチェーン上で高レベル演算を提供する方法及びシステム
KR102504033B1 (ko) 스크립트 크기 및 연산 부호 제한에 대한 보안 기반 제한을 유지하는 동안 블록체인에서 복잡한 기능을 활성화하는 컴퓨터 구현 시스템 및 방법
Persson et al. Calvin–merging cloud and iot
JP7231681B2 (ja) パッケージファイルに対する機能拡張方法およびシステム
CN109213723A (zh) 用于具有安全、功率降低和性能特征的可配置空间加速器的处理器、方法和系统
JP5705297B2 (ja) 第１のコンポーネントと第２のコンポーネントとの間のネゴシエーションを実行する方法及びネゴシエーションを実行するコンポーネント
KR20190113555A (ko) 뉴로모픽 가속기 멀티태스킹
WO2020112029A1 (en) System and method for facilitating participation in a blockchain environment
CN110889075A (zh) 一种数据订阅实现方法和装置
CN110807195A (zh) 一种智能合约的发布方法、发布平台装置及发布系统
US9871667B2 (en) Interaction protocol for interacting computer systems
Silviu An Overview of Security Issues in Smart Contracts on the Blockchain
CN104050290B (zh) 读取和写入用于hadoop计算的数据的方法和系统
Hai et al. Multi-threaded on-the-fly model generation of malware with hash compaction
Nguyen Investication, building, and piloting of a low-code system for enterprice development
Silva et al. FIrM: Functional Middleware with Support to Multi-tenancy
Matsui et al. Advanced client-service compatibility assessment via analysis of references to service-side FSMs

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20210608

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20220518

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20220607

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20220906

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20230104

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20230131

R150 Certificate of patent or registration of utility model

Ref document number: 7220678

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150