TWI837103B - 電腦實施方法及系統 - Google Patents

電腦實施方法及系統 Download PDF

Info

Publication number
TWI837103B
TWI837103B TW107139685A TW107139685A TWI837103B TW I837103 B TWI837103 B TW I837103B TW 107139685 A TW107139685 A TW 107139685A TW 107139685 A TW107139685 A TW 107139685A TW I837103 B TWI837103 B TW I837103B
Authority
TW
Taiwan
Prior art keywords
source code
arithmetic
circuit
arithmetic circuit
contract
Prior art date
Application number
TW107139685A
Other languages
English (en)
Other versions
TW201923648A (zh
Inventor
席蒙 馬戴爾
派翠克 蒙提林斯基
史帝芬 文生特
亞歷山特拉 柯瓦希
Original Assignee
安地卡及巴布達商區塊鏈控股有限公司
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 GBGB1718505.9A external-priority patent/GB201718505D0/en
Priority claimed from GBGB1719998.5A external-priority patent/GB201719998D0/en
Priority claimed from GBGB1720768.9A external-priority patent/GB201720768D0/en
Priority claimed from GBGB1801753.3A external-priority patent/GB201801753D0/en
Priority claimed from GBGB1805948.5A external-priority patent/GB201805948D0/en
Priority claimed from GBGB1806444.4A external-priority patent/GB201806444D0/en
Application filed by 安地卡及巴布達商區塊鏈控股有限公司 filed Critical 安地卡及巴布達商區塊鏈控股有限公司
Publication of TW201923648A publication Critical patent/TW201923648A/zh
Application granted granted Critical
Publication of TWI837103B publication Critical patent/TWI837103B/zh

Links

Classifications

    • 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/3218—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 proof of knowledge, e.g. Fiat-Shamir, GQ, Schnorr, ornon-interactive zero-knowledge proofs
    • 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/12—Applying verification of the received information
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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/27—Replication, distribution or synchronisation of data between databases or within a distributed database system; Distributed database system architectures therefor
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/44—Encoding
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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/447—Target code generation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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/445—Program loading or initiating
    • G06F9/44521—Dynamic linking or loading; Link editing at or after load time, e.g. Java class loading
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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 OR CALCULATING; 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/40—Authorisation, e.g. identification of payer or payee, verification of customer or shop credentials; Review and approval of payers, e.g. check credit lines or negative lists
    • G06Q20/401—Transaction verification
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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/40—Authorisation, e.g. identification of payer or payee, verification of customer or shop credentials; Review and approval of payers, e.g. check credit lines or negative lists
    • G06Q20/405—Establishing or using transaction specific rules
    • 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/08—Key distribution or management, e.g. generation, sharing or updating, of cryptographic keys or passwords
    • H04L9/0816—Key establishment, i.e. cryptographic processes or cryptographic protocols whereby a shared secret becomes available to two or more parties, for subsequent use
    • H04L9/0838—Key agreement, i.e. key establishment technique in which a shared key is derived by parties as a function of information contributed by, or associated with, each of these
    • 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/08—Key distribution or management, e.g. generation, sharing or updating, of cryptographic keys or passwords
    • H04L9/0816—Key establishment, i.e. cryptographic processes or cryptographic protocols whereby a shared secret becomes available to two or more parties, for subsequent use
    • H04L9/085—Secret sharing or secret splitting, e.g. threshold schemes
    • 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/08—Key distribution or management, e.g. generation, sharing or updating, of cryptographic keys or passwords
    • H04L9/0861—Generation of secret information including derivation or calculation of cryptographic keys or passwords
    • H04L9/0877—Generation of secret information including derivation or calculation of cryptographic keys or passwords using additional device, e.g. trusted platform module [TPM], smartcard, USB or hardware security module [HSM]
    • 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/30—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy
    • 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/30—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy
    • H04L9/3066—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy involving algebraic varieties, e.g. elliptic or hyper-elliptic curves
    • 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/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/3263—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 certificates, e.g. public key certificate [PKC] or attribute certificate [AC]; Public key infrastructure [PKI] arrangements
    • 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/12—Details relating to cryptographic hardware or logic circuitry
    • H04L2209/122—Hardware reduction or efficient architectures
    • 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/12—Details relating to cryptographic hardware or logic circuitry
    • H04L2209/127—Trusted platform modules [TPM]
    • 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/34—Encoding or coding, e.g. Huffman coding or error correction
    • 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

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Signal Processing (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Business, Economics & Management (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Software Systems (AREA)
  • Accounting & Taxation (AREA)
  • Computing Systems (AREA)
  • General Business, Economics & Management (AREA)
  • Finance (AREA)
  • Strategic Management (AREA)
  • Computer Hardware Design (AREA)
  • Databases & Information Systems (AREA)
  • Power Engineering (AREA)
  • Data Mining & Analysis (AREA)
  • Economics (AREA)
  • Development Economics (AREA)
  • Mathematical Analysis (AREA)
  • Mathematical Physics (AREA)
  • Mathematical Optimization (AREA)
  • Algebra (AREA)
  • Pure & Applied Mathematics (AREA)
  • Financial Or Insurance-Related Operations Such As Payment And Settlement (AREA)
  • Devices For Executing Special Programs (AREA)
  • Storage Device Security (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Executing Machine-Instructions (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Two-Way Televisions, Distribution Of Moving Picture Or The Like (AREA)
  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)

Abstract

本發明提供用於將高階原始碼轉換成一算術電路之系統及方法，該算術電路代表該原始碼中表達之功能性。本發明包含用於進行此轉換之一轉譯/解譯組件。在一較佳實施例中，該原始碼係一智慧合約，諸如與一區塊鏈平台有關之合約。舉例而言，本發明之使用可與比特幣網路有關。根據一實施例之方法包含以下步驟：處理一部分高階原始碼(例如：智慧合約)以產生一算術電路。該算術電路包含布置來代表該原始碼中所表達功能性其中至少一些之一或多個算術閘。該處理涉及評估該原始碼中提供之一或多個常數，以產生包括布林及/或算術運算子之一或多個表達式。該算術電路包含連接至算術閘之n位元導線；其可用於提供一硬體及/或軟體電路。該算術電路可用於產生可在一處理器上執行之一二次程式。

Description

電腦實施方法及系統
本發明大致係有關於將高階原始碼轉換成另一形式之工具、技巧及系統之領域，例如解譯器。其亦有關於區塊鏈技術，並且特別的是，其係有關於供建置區塊鏈實施之解決方案之工具。其亦有關於機器可執行技術之改良型產生，舉例如布置來在區塊鏈上執行之智慧合約。
在本文件中，「區塊鏈」一詞意指為數種類型之電子、電腦為基之、分散式分類帳中任何一者。這些包括基於共識之區塊鏈及交易鏈技術、許可及未許可之分類帳、共享分類帳以及其變例。其亦包括私用及公開區塊鏈。
雖然已提出並開發其他區塊鏈實作態樣，區塊鏈技術最廣為人知之應用仍是比特幣分類帳。儘管本揭露中為了方便及說明目的可意指為比特幣之實例，應知，本發明仍不限於與比特幣區塊鏈或相關聯協定之任何特定實作態樣或變例配合使用，並且替代之區塊鏈實作態樣及協定仍落入本發明之範疇內。
一區塊鏈是一種點對點、電子分類帳，其係 實施成一電腦為基之分散型系統，由諸區塊所構成，該等區塊進而由諸交易所構成。各交易為將區塊鏈系統中諸參與者之間一數位資產之控制轉移編碼、並且包括至少一個輸入及至少一個輸出之一資料結構。各區塊含有前一個區塊之一雜湊，諸區塊與之變為鏈接在一起，以建立所有交易之一永久、不可更改記錄，自其起始以來便已將該等交易寫入至該區塊鏈。
比特幣區塊鏈之腳本語言稱為指令碼，係屬於堆疊式。可將項目推送到堆疊頂端及從堆疊頂端取出。舉例而言，OP_EQUAL操作將最頂端兩個項目從堆疊取出、進行比較、以及將一結果(例如，若相等則為1，或若不等則為0)推送至堆疊頂端。在本發明一些實施例所運用之一些腳本語言中，可有至少兩個堆疊：一主要堆疊及一替用堆疊。
為了將一交易寫入至區塊鏈，必須對其進行「驗核」。網路節點(礦工)進行工作以確保各交易有效，並且將無效交易從網路拒絕。一節點可具有與其他節點不同之有效性標準。由於區塊鏈中之有效性是以共識為基礎，因此如果大部分節點同意一交易有效，則將該交易視為有效。安裝在節點上之軟體用戶端藉由執行一未動用交易(UTXO)之鎖定及解鎖指令碼，部分地對引用該UTXO之交易進行此驗核工作。如果鎖定及解鎖指令碼之執行評估為成立，並且滿足其他驗核條件(若適用的話)，則由該節點來驗核該交易。已驗核交易係傳播至其他網路節點， 然後一礦工節點可選擇在一區塊鏈中包括該交易。
因此，為了將一交易寫入至區塊鏈，其必須i)藉由接收交易之第一節點來驗核，如果交易經過驗核，則節點將其轉發至網路中之其他節點；以及ii)將其加入由一礦工所建置之一新區塊；以及iii)受開採，即加入過去交易之公開分類帳。當向區塊鏈加入足以使該交易實際上不可逆之區塊數時，將該交易視為經確認。
雖然區塊鏈技術在加密貨幣實作態樣之使用方面廣為人知，但數位企業家已開始探索比特幣所基於之密碼編譯保全系統、及可儲存在區塊鏈上之資料兩者之使用以實施新系統。如果區塊鏈可用於不限於加密貨幣領域之自動化任務及程序，那將會非常有利。此類解決方案將能夠利用區塊鏈之效益(例如，一永久性、防竄改事件記錄、分散式處理等)，同時在其應用方面也更加通用。
一個目前研究領域是使用區塊鏈來實施「智慧合約」。這些是設計旨在使一機器可讀合約或協議之條款自動執行之電腦程式。與採用自然語言撰寫之一傳統合約不同，一智慧合約係一機器可執行程式，其包含可處理輸入以便產生結果之規則，進而可接著依據那些結果進行動作。
在實施例中，一智慧合約「具有智慧」，概念是，智慧合約之施行及/或執行不需要建立者、或一些其他特定實體。執行或施行不需要人類互動。也就是說，雖然可在智慧合約中以特定步驟對與特定實體之互動進行編 碼，但仍可按其他方式自動執行及自我施行智慧合約。其屬於機器可讀且可執行。在一些實例中，自動執行意指為能夠動用UTXO並且具有一誘因(例如：獎勵)之任何實體。請注意，在此類實例中，能夠動用UTXO之「任何實體」意指為能夠建立解鎖指令碼而不需要證實知悉某秘密之一實體。換句話說，可在不驗證資料來源對一密碼編譯秘密(例如：私用不對稱金鑰、對稱金鑰等)具有存取權之情況下驗核動用交易。另外，在此類實例中，自我施行意指為受令根據限制條件施行動用交易之區塊鏈網路之驗核節點。在一些實例中，「動用」一UTXO意指為建立引用該UTXO並且執行為有效之一動用交易。
因此，與區塊鏈技術之使用相關之議題令人很感興趣，並非只有加密貨幣支付載具才令人感興趣。這包括物聯網(IoT)裝置、含人工智慧技巧之智慧系統等等之控制。
然而，儘管程式設計領域中有許多具有通常知識者使用諸如C、C++、Java等高階語言，能夠為區塊鏈建立應用程式之人數仍然相對較少。部分原因出在目前使用操縱主要與替用(alt)堆疊之運算碼(op_code)為區塊鏈以較低階進行寫碼之需求。特別的是，已知用於實施一區塊鏈之智慧合約之程式設計具有困難性且容易出錯，如下列文獻所探索者：Delmolino,K.,et al.(2015).Step by Step Towards Creating a Safe Smart Contract：Lessons and Insights from a Cryptocurrency Lab、以及Juels,A., et al.(2013).The Ring of Gyges：Using Smart Contracts for Crime。
藉由能夠建立可與一區塊鏈搭配使用之解決方案及應用程式，提供一種改良型區塊鏈及相關聯平台。亦提供一種用於算術閘計算之解決方案。可將算術電路布置成用於執行為一述詞或用於一述詞之執行。本發明能夠建立及編碼一可執行程式(與僅如依據先前技術揭露提供一驗證或證明截然不同)。
因此，期望在一或多項態樣中提供改善區塊鏈與分散式運算技術之方法及系統。現已擬出此一改良型解決方案。因此，根據本發明，提供有如隨附申請專利範圍中定義之方法及系統。
本發明可包括布置來在一分散型系統中提供及促進可程式規劃性之系統及方法。舉例而言，其可以是一加密貨幣系統、一區塊鏈實施之系統及/或一分散式運算系統。從一個觀點來看，其減少程式規劃過程中需要之錯誤、時間、工作量、成本及資源。因此，其為一技術問題提供一技術解決方案。從另一觀點來看，其提供一增強型區塊鏈解決方案，因為錯誤及缺陷減少。其亦保存軟體完整性。
有助益的是，與已知解譯器及編譯器不同，本發明提供一獨立於架構之解決方案。此外，其不需要使用一虛擬機器(VM)也能夠執行。
本發明可提供電腦實施之系統及方法，其採用原始碼作為輸入並產生一算術電路
Figure 107139685-A0305-02-0008-28
。所產生之電路C可以是HLL原始碼之功能性之一表示型態(與一驗證證明截然不同)。在受執行時，算術電路C可提供可接著受驗證之一運算之一結果。電路C可為機器可執行或經處理以在一機器上執行。原始碼可表達或代表一運算。
此電路可由將值從一欄位
Figure 107139685-A0305-02-0008-29
攜載至加法及乘法閘之「導線」所組成。可將算術電路具體實現為具有導線及邏輯閘之軟體、及/或一實體電路。原始碼可包含或代表採用一HLL或GPL撰寫之功能性或運算
Figure 107139685-A0305-02-0008-30
其中一些或全部。可將本發明描述為用於將該運算轉換成一算術電路
Figure 107139685-A0305-02-0008-31
之一解譯器。可將算術電路
Figure 107139685-A0305-02-0008-33
及一些輸入x供應給一實體以供執行。
本發明可將原始碼中表達之一運算轉換或轉譯成可(由一機器/處理器)執行之一述詞。可預編譯或預處理該(HLL/GPL)原始碼。
在一或多項實施例中，可使用一秘密值s來推導出一公開評估金鑰EK及一公開驗證金鑰VK。該方法可包含使用EK及VK對一特定輸入x評估運算之步驟。一輸出y、一或多條電路導線之值以及EK可用於產生一正確性證明π。證明π可儲存在一區塊鏈上。其可儲存在一區塊鏈交易中。該方法可包含在一區塊鏈交易中提供證明之步驟。其可包含將交易提交給區塊鏈及/或將其儲存在區塊鏈上之步驟。
該方法可包含驗證區塊鏈上所儲存證明之步驟。其可由一或多個當事方驗證。有助益的是，其可由多個當事方驗證，而不需一證明者單獨地與各該當事方互動。相較於先前技術，這提供一更有效率且更快速之解決方案。
一區塊鏈網路(例如：比特幣)中之所有或一些節點可驗證交易。
該驗證可使用公開驗證金鑰VK及證明π來進行，以便驗證一智慧合約。
本發明之一優點在於礦工根據已知、習知區塊鏈協定來驗證交易。驗證程序屬於礦工在網路裡之角色之部分。因此，本發明能夠將節點所做之努力用於技術優勢，因為驗證是作為所需、現有操作之部分來進行。相較於先前技術，這提供一有效率之布置結構。
在一些實施例中，本發明可將一工作流程之部分從採用一DSL編碼之一智慧合約形成為一二次算術程式(QAP)，如圖1所示。
如圖2所示，可將一領域特定語言(DSL)智慧合約轉換成一高階語言合約。DSL智慧合約可採用具有精確語義之一正式語言撰寫。DSL智慧合約可包括一條件集。DSL智慧合約之成果可取決於該條件集之滿足。
一HLL預編譯器(其亦可稱為一預處理器)可將HLL合約引用之外部庫併入以產生一HLL預處理合約。
HLL預編譯器在圖2中可稱為一C預編譯 器。HLL合約在圖2中可稱為一C語言合約。
然後，可根據本發明之一實施例將HLL預處理合約(即原始碼)變換成一算術電路。可將此算術電路優化以產生一已精簡算術電路，QAP多項式係推導自該已精簡算術電路。
預處理轉換可由一軟體程式(圖2中稱為C預編譯器之程式)進行，該軟體程式隨著執行，接收採用一DSL撰寫之一條件集(諸如DSL智慧合約)，並且將DSL軟體碼轉譯成HLL原始碼，諸如HLL合約。這在圖2中可稱為「C語言預處理合約」。其在本文中可簡稱為「原始碼」。HLL合約可以是一HLL程式，諸如一C++程式，其含有在DSL智慧合約中定義之合約。HLL預編譯器可以是一電腦可執行程式，其處理HLL合約及所需外部庫以產生獨立HLL預處理合約(原始碼)。
外部庫可以是由HLL合約透過調用所利用之預撰寫子程序、函數、類別、容器、值、及/或變數類型之集合。舉例而言，藉由調用外部庫，HLL合約獲得該庫之功能性，而不必實施功能性本身。HLL預處理合約可包括一表達式與運算子集合。該等運算子可包括算術運算子(例如：加法(+)、乘法(*)等)、比較運算子(例如：小於(<)、等式(==)、大於或等於(>=)等)、條件敘述(例如：若則(？，：))、或邏輯運算子(例如：AND(&&)、OR(∥)、NOT(！)、XOR(⊕)等)。在一些實施例中，主函數(進入點)具有一預定義之名稱及格式。
算術電路可以是一變數集合之一有向無循環圖DAG。具有一為零之入度之DAG之每個節點可以是代表一變數(例如：
Figure 107139685-A0305-02-0011-27
)之一輸入閘，並且DAG之每個其他節點可以是一和閘(+)或一積閘(×)。每個閘(節點)可具有為一之一外度，因此下層圖可以是一有向樹。算術電路可具有兩個複雜度度量：尺寸及深度。在一些實例中，一算術電路之一「尺寸」可基於算術電路內之若干閘。在一些實例中，算術電路之「深度」可基於算術電路內最長有向路徑之長度。
在產生算術電路之後，可將其精簡。
根據本發明之電腦實施之方法可包含處理一部分原始碼以產生一(可執行之)算術電路之步驟。原始碼可採用一高階程式設計語言撰寫；以及算術電路可包含一或多個算術閘，其係布置來代表原始碼中表達之一些功能性或運算。
這與先前技術中已知之編譯器及解譯器形成對比，其不將HLL原始碼轉換成一算術電路。
可在一處理器上執行算術電路。可在一區塊鏈交易中提供該電路。
這與先前技術揭露形成對比，其教示一運算或邏輯電路之驗證，及/或導致一(零知識)證明之輸出。舉例而言，Pinocchio系統產生一零知識證明用於驗證一般運算，請參閱“Communications of the ACM”；Vol.59,No 2；2016 Parno B,et al；“Pinocchio：Nearly Practical Verifiable Computations”；103-112(Parno)。因此，諸如Pinocchio之先前技術驗證系統可搭配本發明使用以達到驗證之目的，本發明提供超越先前技術之功能性及結果。
因此，本發明提供代表及/或提供一運算之一機器可執行輸出。接著可對此進行驗證。這與例如Pinocchio系統形成對比，其編譯一驗證指令碼，以便驗核布置來進行運算之一(單獨)程式，從而包含一兩部分程序。反而，本發明使用一單部分方法，亦即將高階運算本身編譯成一算術電路。因此，本發明使用與此類先前技術非常不同之一方法來解決了一不同技術問題。
原始碼較佳為一智慧合約。可如上述預處理原始碼。
該處理步驟較佳為包含評估原始碼中所提供一或多個常數之子步驟。這可提供包含布林及/或算術運算子之一或多個表達式。
該方法可更包含以下步驟：使用該算術電路提供一硬體及/或軟體電路。該算術電路可包含連接至算術閘之n位元導線。該算術電路係獨立於架構。也就是說，其未布置成用於配合一特定硬體或軟體架構或平台操作或使用。其不需要使用一虛擬機器。這與具有技術特定性或需要使用一VM之先前技術編譯器及解譯器形成對比。
該方法可更包含以下步驟：預處理該原始碼以判定一或多個常數。該預處理可包含以下步驟中一或多者： 移除評論；將標頭宣告從標頭檔案匯入至原始檔案；將多個原始檔案合併；解決或評估指示詞及巨集。
該方法可更包含以下步驟：偵檢該原始碼中宣告之所有全域變數，其中一全域變數係有關於供執行之一函數、一結構或類別、一常數及/或一進入點。
該方法可更包含以下步驟：產生一符號(識別符)表以使該原始碼中提供之各符號(即識別符)與該原始碼中提供之宣告資訊相關聯。該表中之該等符號可以是全域及/或局部符號。
該方法可更包含以下步驟：進行該原始碼之一逐行評估，導致一算術及/或邏輯表達式，其將一或多個輸出變數表達為施用於一或多個輸入變數之邏輯及/或算術運算之一組合。
這可更包含以下步驟：類型解碼；表達式解碼；表達式評估；以及/或為該功能性所需之資料結構分配記憶體。
該方法可更包含以下步驟：將該表達式之該等算術及/或邏輯運算映射至算術閘。該映射步驟可包含以下子步驟：進行一導線擴張；以及/或進行一導線壓縮。
該方法可更包含以下步驟：使用該算術電路產生包含一多項式集合之一二次程式，該等多項式提供該電路之一描述。該方法可更包含使用一或多個輸入將該二次程式提供給一實體以執行該二次程式之步驟。
本發明亦可提供一種布置來實施或執行上述方法步驟中任何一者之系統。該系統可包含布置來進行原始碼之處理之一轉譯或轉換組件(即一解譯器/編譯器)。雖然用於產生(零知識)證明之編譯器在所屬技術領域中屬於已知(例如：如上文參考之「Pinocchio：Nearly Practical Verifiable Computations」(Parno))，這些並未依據本發明編譯成算術電路。本發明產生一答案，而不是該答案之一證明或驗證。
一種電腦實施之系統，其包含：一處理器；以及包括可執行指令之記憶體，該等可執行指令隨著藉由該處理器執行而令該系統進行電腦實施之方法之任何實施例、本發明之一或多項實施例/如本文中所述或訴求之方法。該等指令可包含用於提供一轉譯或轉換組件(即一解譯器/編譯器)之指令，該轉譯或轉換組件係布置來進行該原始碼之處理。
2600:運算裝置
2602:處理器
2604:匯流排子系統
2606:儲存子系統
2608:主記憶體
2610:永續性儲存器
2612:使用者介面輸入裝置
2614:使用者介面輸出裝置
2616:網路介面子系統
2618:動態隨機存取記憶體
2620:唯讀記憶體
一種上有儲存可執行指令之非暫時性電腦可讀儲存媒體，該等可執行指令隨著藉由一電腦系統之一處理器執行而令該電腦系統至少進行本發明之一或多項實施例/如本文中所述或訴求之方法。
本發明之這些及其他態樣將經由本文中所述之實施例而顯而易見，並且參照該實施例來闡明。本發明之一實施例現將僅以舉例方式、並且參照附圖作說明，其中： 圖1繪示本發明之一說明性使用及實施例中涉及之可驗證運算及動作者之一協定。這些動作者為：用戶端、工作者(亦稱為「證明者」)及驗證者。
圖2根據本發明之一實施例，展示從DSL合約到二次運算程式(QAP)之轉譯程序。
圖3根據本發明之一實施例，展示一算術電路之一實例。
圖4根據本發明之一實施例，展示含有一電路表示型態之一封包(標頭+主文)之一高階描述。
圖5依據下文所述之實例，展示代表「檢查變數<a>是否為偶數」敘述之一4位元導線擴張器之一實作態樣。
圖6根據本發明之一說明性實作態樣，展示一構建塊，其中該構建塊實施一條件敘述。
圖7繪示一常數產生器模組可如何根據本發明之一實施例負責建立由算術電路使用之常數。在使用之實例中，產生三個常數(C1、C2及C3)加上預設值一(1)及零(0)。
圖8係一示意圖，其繪示可實施各項實施例之一運算環境。
概述
現在，我們提供可如何根據一項實施例將本發明付諸工作實踐之一例示。在這項實例中，我們說明一 解譯器之一可能實作態樣，其係布置來將一高階語言契約(例如：C/C++語言)轉換成包含算術閘之一電路。然而，本發明可布置來轉譯其他HLL語言。可使用特定結構或構建塊來促進此轉換。在一或多項實施例中，此表示型態可視為用於建構能夠提供一分散式可驗證運算之一綜合管線之第一步驟。
這項實例中呈現之構建塊非意欲成為本發明之一實施例所處理之所有可能高階語言構造之一徹底囊括清單。此外，可提供所呈現實例之替用實作態樣。這些都落入所述技術領域中具有通常知識者之範疇內。
我們現在提供本發明之一說明性實施例。然而，值得注意的是，這是可使用本發明之一應用之一實例。所屬技術領域中具有通常知識者將理解的是，本發明可有助益地用在其他環境及應用中。本發明並不受限於與智慧合約或金融工具有關之使用。
本發明之說明性實施例及例示性使用案例
對於我們的實例，請思考允許使用者使用一領域特定語言(DSL)為金融工具產生合約之一協定。合約一旦產生，其執行便可外包給不受信賴之當事方(稱為「工作者」或「證明者」)，而其正確性則可進行公開驗證。該協定利用密碼編譯基元，其確保：●完備性，亦即如果正確遵循協定，則誠實之驗證者將確信輸出之有效性； ●健全性，亦即沒有行騙之證明者可說服誠實之驗證者關於輸出之真確性；●零知識，亦即沒有行騙之驗證者得知輸出之有效性除外之任何事。
該協定之首要效益是：
●由於參與者之間未請求通訊，因此防止了中間人攻擊。
●由於使用區塊鏈技術，惡意節點很難竄改資料。
●避開諸如受信賴硬體裝置等受信賴第三方
●合約驗核並未暗指軟體碼重新執行。不是網路中之每個節點都複製運算。反而，最誠實執行之證明儲存在公開區塊鏈中，並且僅用於驗核目的。
此一系統將能夠處理與各種類型之任務及產品對應之各種類型之智慧合約，並且不受限於金融應用或使用。(比特幣)區塊鏈由於其分散型及分散式本質的關係，為二或更多個當事方達成協議而提供一頗為適合之環境。
此一系統需要在一分散型加密貨幣系統中提供及促進可程式規劃性。然而，所屬技術領域中認知智慧合約規劃係一容易出錯之程序。請參照Delmolino,K.,et al.(2015).Step by Step Towards Creating a Safe Smart Contract：Lessons and Insights from a Cryptocurrency Lab、以及Juels,A.,et al.(2013).The Ring of Gyges：Using Smart Contracts for Crime。
因此，能夠使用DSL使智慧合約更易於由程式設計師撰寫及閱讀會有助益，從而在程式規劃過程中減少錯誤、縮減時間、精力、成本及資源。理想情況下，非專業程式設計師會有能力撰寫合約而無需實施任何密碼術。反而，一編譯器/解譯器會自動將原始碼編譯成使用者與區塊鏈之間的一密碼編譯協定。這些屬於本發明解決之技術問題。用於驗證及產生證明之先前技術技巧未提供此類優點。
此框架使用現代化密碼編譯可驗證運算(請參照Gennaro,R.,et al.(2013).Quadratic Span Programs and Succint NIZKs without PCPs)，並且確保功能評估正確：由於使用可驗證運算，取得敏感資訊之一敵手將無法操縱結果。此模型利用區塊鏈技術儲存正確性證明，並且將「正確建構」密碼術方法與智慧合約組合。
在這項實例中，我們聚焦於能夠將一高階語言契約(例如：C/C++語言)轉換成包含算術閘之一電路之一轉譯組件之一實作態樣。所產生之電路係HLL源始碼之一機器可執行表示型態(與用於驗證目的之證明截然不同)。特定結構或構建塊係用於促進此轉換。在我們之實例中，本發明可用於在建構一管線時提供第一步驟，該管線係布置來實施一分散式可驗證運算系統。然而，請注意，我們再次指出本發明不受限於此使用案例，並且可用於在一更廣泛應用範圍及背景中產生功效。
為了描述一說明性實作態樣，我們為可驗證 運算提供一框架之概述，然後介紹根據本發明之智慧合約之電路表示型態。
說明性使用：可驗證之運算：框架
問題敘述 。一用戶端向一不受信賴證明者(工作者)發送一運算P及輸入x之規格。工作者運算一輸出y並將其回傳給用戶端。如果y=P(x)，則一正確證明者應該能夠產生一正確性憑證，並且說服任何人(不僅僅是用戶端)相信y之正確性。否則，驗證者應該有高機率拒絕y。
對於驗證者，該協定應該比本機執行P(x)更便宜，或者該協定應該處理驗證者無法自己執行之運算P。此外，不需要關於工作者行為正確性之假設。
資料存取。系統中存在兩個相異之分散型資料庫：(i)DHT-鏈外資料係儲存在DHT上。資料在節點間充分隨機化，並且經複製以確保高可用性；以及(ii)公開分類帳-正確執行之證明係儲存在區塊鏈中並且可進行稽核。
協定。圖1所示係協定所要求之步驟。一運算P係由一電路C表示。用戶端供應輸入x，以及工作者在輸入
Figure 107139685-A0305-02-0019-24
上執行電路
Figure 107139685-A0305-02-0019-25
，並且聲稱輸出為y。預期證明者取得{C,x,y}之一有效轉錄本。{C,x,y}之一有效轉錄本係對電路導線之一值指派，使得： ●指派給輸入導線之值為
Figure 107139685-A0305-02-0019-26
之值；●中間值對應於C中各閘之正確操作； ●指派給輸出導線之值為
Figure 107139685-A0305-02-0020-11
。
如果聲稱之輸出不正確，即
Figure 107139685-A0305-02-0020-13
，則
Figure 107139685-A0305-02-0020-14
之一有效轉錄本不存在。
設置階段涉及採用具有一精確語義之一正式語言撰寫合約。根據本發明，解譯器將原始碼認作輸入，並且產生由將值從欄位
Figure 107139685-A0305-02-0020-17
攜載出來、並且連接至加法及乘法閘之諸導線所組成之一算術電路
Figure 107139685-A0305-02-0020-15
。在一些實施例中，可利用算術電路優化技巧，諸如英國專利申請案第1718505.9號中所述之技巧，以便減少判定智慧合約之一成果期間必要之所需資源。
系統從電路
Figure 107139685-A0305-02-0020-16
產生一二次程式Q，亦即
Figure 107139685-A0305-02-0020-18
含有一多項式集合，其提供原始電路C之一完整描述。接著，產生待由所有證明者及驗證者使用之公開參數。
一公開評估金鑰EK及公開驗證金鑰VK係使用由用戶端所選擇之一秘密值
Figure 107139685-A0305-02-0020-19
來推導。工作者使用這些公開資訊來評估對一特定輸入
Figure 107139685-A0305-02-0020-20
之運算。輸出
Figure 107139685-A0305-02-0020-21
、內部電路導線之值、及
Figure 107139685-A0305-02-0020-22
係用於產生正確性證明π。證明
Figure 107139685-A0305-02-0020-23
可儲存在區塊鏈上，並且由多個當事方驗證，而不需要證明者與這些實體中之各者單獨地互動。
所有比特幣節點都可使用公開驗證金鑰VK及證明π來驗核支付交易，從而驗核合約。
智慧合約及電路表示型態
雖然需要領域特定語言(DSL)才能實施一智 慧合約，例如Actulus建模語言(AML)、數位資產建模語言(DAML)、金融產品標記語言(FpML)，為了便於說明，我們在本文中說明一更通用語言之使用，其能夠提供類型、運算子及構造(諸如高階語言(HLL)、C)之一更高範圍。然而，本發明可布置來使用專屬工具將不同DSL語言轉換成C(或另一HLL)。
在本文所使用之實例中，解譯器處理採用C撰寫之原始碼。本發明可適用於與其他高階語言(亦可稱為「通用語言」(GPL))配合工作。通用程式設計語言之實例包括Ada、ALGOL、組合語言、BASIC、Boo、C、C++、C#、Clojure、COBOL、Crystal、D、Dart、Elixir、Erlang、F#、Fortran、Go、Harbour、Haskell、Idris、Java、JavaScript、Julia、Lisp、Lua、Modula-2、NPL、Oberon、Objective-C、Pascal、Perl、PHP、Pike、PL/I、Python、Ring、RPG、Ruby、Rust、Scala、Simula、Swift、以及Tcl。
圖2展示用於將一高階語言轉換成一邏輯電路之一綜合管線。根據本發明，我們聚焦於圖2中虛線方塊中彰顯之模組。
●含有合約之高階C程式與所需外部庫係連結在一起，以施作獨立預處理合約。在此階段，C預編譯器負責檢查是否全部所需資源都可用。亦評估預處理器指示詞。
●評估常數表達式並註冊所有符號。成果是諸如加法(+)、乘法(*)、比較(<)、等式(==)、條件敘述(？,：)及邏輯運算子(及、或、否、互斥或)等類C語言運算子之一表達式集合。我們要求主函數具有一預定義之名稱及格式。算術電路(請參照圖3)係藉由以連接至例如加法及乘法等基本算術閘之n位元導線代表符號所建置。
●二次算術程式(QAP)中之多項式係依據其在算術電路根處之評估來定義，如以下文獻所介紹：Gennaro,R.,et al(2013)Quadratic Span Programs and Succinct NIZKs Without PCPs。
圖3展示一算術電路之一實例。各導線來自於一欄位F，並且所有操作係透過欄位F進行。此電路運算y=x 1 +x 2 ．x 3 ．(x 3 +x 4 )。由於電路之最終輸出係一總和，因此需要一附加乘法閘(乘以常數一)。
C語言解譯器
根據本發明之一項說明性實施例，我們現在說明一解譯器，其能夠辨識為C程式設計語言定義之一指令子集，包括：預處理器指示詞、條件、算術及按位元布林運算子、全域函數。如所屬技術領域中具有通常知識者輕易理解的是，對於陣列(array)及結構(struct)之支援亦可不設置有額外邏輯。
解譯器使用下文標題為「產生算術基元」之 章節中介紹之乘法、加法及特定構建塊將表達式增強成算術閘語言。各導線將具有一指定位元寬度。以1位元寬度來說明，導線代表一二進位變數。
用於在一區塊鏈上實施之類C語言程式之算術增強
我們現在詳細描述用於建構一算術電路之程序，該算術電路代表由一C原始碼表達之功能性。在該程式碼之各階段，一非預期行為(例如，遺漏符號、語法錯誤或運算子不明)將導致程式執行隨著一適當代碼錯誤立即終止。
預處理
如圖2所示，一智慧合約可由多個檔案及庫所組成。協定之第一步驟涉及建立單一原始檔案，其含有實施合約所需之全指令集。個別子步驟可列示如下：
●將所有評論移除。
●將標頭宣告從標頭檔案匯入至原始檔案。
●將全部原始檔案合併。
●解決或評估預處理器C指示詞及巨集。其包括#define指示詞及條件式#ifdef指示詞。
此步驟結束時，必須知道所有預處理器常數之實際值。原始碼中使用之變數之值必須 僅 取決於合約之輸入之值。此外，原始碼中進入點之宣告必須具有以下語法：
Figure 107139685-A0305-02-0024-1
類型inputType及outputType係由使用者定義。以下原始碼方塊展示一智慧合約之一簡單實例，其含有介於兩個無符號整數輸入之間的單一加總運算。
Figure 107139685-A0305-02-0024-2
輸出可由不同類型之變數表示，端視特定合約而定。在上面之例子中，單一輸出係單純地連接至算術運算之結果。
整數及實數
在此說明性實施例中，為了簡單起見，我們假設僅介於諸(帶正負號或無符號)整數之間的運算可用。如果移除此假設，則必須延伸電路構建塊(請參照「產生算術基元」章節)。因此，必須將介於諸實數之間的運算轉換成介於諸整數之間的運算。我們來思考一合約之以下部分：「檢查員工之平均薪資是否大於3.25萬美元。」
此敘述需要一除法(除以N名員工)才能運算平均值。然而，可將此敘述轉換成介於諸整數之間的以下 表達式：
Figure 107139685-A0305-02-0025-10
>32500．N
其中s i 代表第i名員工之薪資。
建立全域符號表
在電腦科學中，一符號表係一種資料結構，由一編譯器/解譯器用於使原始碼中之各識別符(符號)與其宣告相關資訊產生關聯。在此第二步驟中，解譯器偵檢原始檔案中宣告之所有全域符號：
●函數
●結構(或類別)
●請注意：類別(OOP語言，諸如C++)之使用需要附加邏輯才能檢查public、protected及private區段之範疇。
●常數
●(亦允許全域變數，但不建議。contract(...)函數之範疇應視為一獨立黑盒子。其行為不應該取決於外部變數)。
對於這些符號中之各者，建置一局部符號階層，代表該等符號之識別符之內部宣告。此階段結束時，可直接定址表中之各全域符號(名稱、類型及值)以供進一步處理。
偵檢合約之進入點
該等全域符號之一必須是合約之進入點(「預處理」章節中之Contract函數)。針對期望語法檢查其參數之名稱、數量及類型。附加邏輯可包括檢查合約內之所有輸入結構是否都已用、以及所有輸出結構是否都連結至合約之一些部分。
逐行評估
各軟體碼行係獨立進行分析。局部符號代表識別符之內部宣告，並且係包括在全域符號表之階層中。更詳細地說，此階段負責以下任務：
●類型解碼，包括結構與陣列、基本類型(布林、整數等)及指標之宣告。
●表達式解碼，例如一元或二元運算、常數、識別符、資料結構及函數呼叫。
●表達式評估，即不取決於輸入值之(數值)表達式評估。
●記憶體分配，即用於合約功能性所需資料結構之暫時儲存分配。
此階段從一空間(即已用記憶體)及時間(即運算子優先順序)觀點連結算術表達式之所有敘述。因此，將各輸出變數表達為施用於輸入變數之邏輯與算術運算之組合。
建立顯式算術表達式
使用「逐行」章節中定義之資料結構，將一通用算術/邏輯表達式e收合，以便根據以下語法採用顯式形式表示：OPN(OPN-1(...(OP1(OP0))...))
根據此語法，將一任意運算子OP i+1 施用於運算子OP i 後之e。
舉例來說，給定以下軟體碼：
Figure 107139685-A0305-02-0027-5
可將顯式表達式e表達為：out 0 =(‘？(<15(ADD(ADD(ADD in 0 in 1 )in 0 )in 1 ))
50(MUL(MUL in 0 in 1 )in 1 ))
如「產生算術基元」章節中之說明，表達式e係用於建立用以代表合約功能性所需之算術基元。
產生算術基元
在此階段，解譯器已準備好在用於產生表達式e之運算與電路上實施這些功能性所需之結構之間進行一對一映射。
建立電路所需之一重要參數係位元寬度 n bit ，即用於代表一帶正負號(或無符號)整數之位元數量。不同電腦架構之特徵在於不同之 n bit 值。如果一用戶端未知悉一工作者之一較佳位元寬度值，則其值將連同附加資訊予以任意選擇並且在電路之標頭中指定，如圖4所示。(正如針對一特定目標架構進行編譯，知悉位元寬度值可導致電路之實施及執行更有效率)。
版本(version)欄位提供與用於在電路中建立一特定構建塊之特定演算法有關之重要資訊。在我們的說明性實作態樣中，我們選擇帶正負號整數之二的補數二進位表示型態。
加法及乘法運算
加法及乘法運算係一對一映射到電路中之加法及乘法閘。給定兩個 n 位元導線輸入，一附加導線輸出需要 n+1位元，並且一乘法導線輸出需要2 n 位元。舉例來說，可將介於兩條 n 位元 導線a與b之間的一乘法表示為：MUL[ida idb]TO[idc]
(電路中之每個算術或布林導線x可藉由一值id x 來單義地識別。至於二進位變數，我們從值零開始計數。結果c將自動表示在2 n bit 位元上。
布林運算
全布林閘集合可使用算術閘來運算。給定兩個布林值a及b，以下等式有效：
●AND(a,b)=ab
●NAND(a,b)=1-ab
●OR(a,b)=1-(1-a)(1-b)
●NOR(a,b)=(1-a)(1-b)
●XOR(a,b)=(1-a)b+(1-b)a
除了XOR運算子，各布林閘僅需要一次乘法。所有算術運算都是在1位元寬導線上進行。
n 位元寬輸入上之按位元布林運算需要 n 個1位元乘法(對於AND)或加法(對於OR)。從最低有效輸出位元開始，接著將各元素乘以二並加到下一個元素，以建置所產生之 n 位元整數值(請參照「導線壓縮」章節)。
導線擴張
導線擴張通常用於將一算術導線a轉譯成一 n a 位元輸出導線，其中 n a 係可由a表達之最大值之以2為基數之對數。舉例來說，我們來思考一合約之以下部分：「檢查變數<a>是否為偶數。」
如果 n a =4，則使用如圖5所示之導線擴張來實施此敘述。假設a 0 代表a之最低有效位元，則該敘述之輸出等於a 0 本身。此電路構建塊可表達為：EXPAND[ida]TO[ida3 ida2 ida1 ida0]
更仔細觀察該電路，清楚可知的是，進一步處理僅需要a之一個位元，而其餘1位元導線則可予以移除。解譯器可僅產生合約其餘部分中使用之個別1位元導 線。圖5展示代表「檢查變數<a>是否為偶數」敘述之一4位元導線擴張器之一實作態樣。
解譯器為優化之導線擴張器施用一特定語法：EXPAND[ida]TO[0->ida0]
也就是說，僅採用最低有效之1位元導線(即編號為零之識別符)，並且向其指派識別符id a0 。 n a 越大，優化可越有效。(在此上下文中，我們將優化定義為節省空間之可能性，該空間是用來儲存或傳輸用於代表算術電路之低階指示詞。
導線壓縮
導線壓縮係用於將1位元導線a i 組合回到一 n a 位元輸出導線：
Figure 107139685-A0305-02-0030-6
此構建塊由常數之加法與乘法所組成，因此QAP多項式之尺寸不受影響(請參照Genaro R.,et al(2013)Quadratic Span Programs and Succinct NIZKs Without PCPs)。假設 n a =256且識別符在[id a0 ,id a255 ]範圍內連序，則代表此構建塊之一優化方法如下：COMPRESS[ida0：ida255]TO[ida]
然後，藉由id a 識別所產生之導線a。
否定運算
比較兩個變數需要否定運算，因為可將這兩個變數之差與值零作比較。可將否定 n bit 位元導線實施成乘以常數-1。此常數必須表示為：
Figure 107139685-A0305-02-0031-7
等於零運算
可將一 n bit 位元導線a之構建塊實施如下：● n bit 位元上之導線擴張(a 0 ,...,a nbit-1 )；●否定各1位元導線(a i →b i )；●乘以所產生之b i 條導線：
Figure 107139685-A0305-02-0031-8
因此，當且僅當a=0時，1位元變數c=1。
與零運算作比較
可使用簡單之方程式規則將一「大於」運算變換成一「低於」運算。在這二的補數表示型態中，此運算對應於檢查兩個帶正負號整數之差為正或負(或在「低於或等於」運算之情況下，檢查是否等於零)。差值c=a-b之正負號之判別式係採用二進位表示型態由最高有效位元x給定：負數之特徵在於x=1，而正數之特徵在於x=0：EXPAND[idc]TO[nbit-1->x]
取決於比較類型(正之於負)，需要否定二進位值x。
條件敘述
一高階語言中之一條件敘述可採用以下形式來表達：IF(S c )S a ELSE S b
由於敘述S c 取決於合約之輸入，因此S a 與S b 兩分支都必須實施在電路中。邏輯流程如圖6所示。取決於敘述Sc之(二進位)輸出，將會執行敘述Sa或敘述Sb。二進位運算x+1係用於否定x。
產生常數
常數值不取決於電路之輸入導線。我們使用形式為mul-by-const-c之專屬一元乘法閘，提供以下附加電路系統以產生合約所需之常數值：
●常數零係藉由將一輸入導線乘以零來運算。(合約必須具有至少一個輸入。因此，具有識別符1之輸入(例如：圖7中之in 1 )可用於產生常數零)。
●常數一係藉由將常數零加一來運算。
●任何附加常數c i 係藉由在常數一上使用mul-by-const-ci來運算。
由於電路總是加常數零及一，因此 k 個任意常數之實作態樣需要k+2個閘。此程序如圖7所示。根據本發明之一實施例提供之一常數產生器模組負責建立由算術電路使用之常數。在實例中，產生三個常數(C1、C2及C3) 加上預設值一(1)及零(0)。
常數具有如二的補數標準所指定之一已知位元寬度。
現請參照圖8，提供有一運算裝置2600之一說明性、簡化方塊圖，其可用於實踐本揭露之至少一項實施例。在各項實施例中，運算裝置2600可用於實施以上所示及所述系統中任何一者。舉例而言，可為了當作一資料伺服器、一網頁伺服器、一可攜式運算裝置、一個人電腦、或任何電子運算裝置使用而組配運算裝置2600。如圖8所示，運算裝置2600可包括具有一或多個層級之快取記憶體及一記憶體控制器之一或多個處理器(集體標示為2602)，可將其組配成與包括主記憶體2608及永續性儲存器2610之一儲存子系統2606通訊。主記憶體2608可包括動態隨機存取記憶體(DRAM)2618及唯讀記憶體(ROM)2620，如所示。儲存子系統2606及快取記憶體2602可用於儲存資訊，諸如與本揭露中所述交易及區塊相關聯之細節。(多個)處理器2602可用於提供如本揭露所述任何實施例之步驟或功能性。
(多個)處理器2602亦可與一或多個使用者介面輸入裝置2612、一或多個使用者介面輸出裝置2614及網路介面子系統2616通訊。
一匯流排子系統2604可提供一種用於使運算裝置2600之各種組件及子系統能夠如希望彼此通訊之機制。雖然將匯流排子系統2604示意性展示為單一匯流 排，匯流排子系統之替代實施例仍可利用多條匯流排。
網路介面子系統2616可向其他運算裝置及網路提供一介面。網路介面子系統2616可當作用於從出自運算裝置2600之其他系統接收資料及將資料傳送至該等其他系統之一介面。舉例而言，網路介面子系統2616可使一資料技術人員能夠將裝置連接至一網路，使得該資料技術人員在一遠距位置(諸如一資料中心)時，可有能力將資料傳送至該裝置及從該裝置接收資料。
使用者介面輸入裝置2612可包括一或多個使用者輸入裝置，諸如鍵盤；指標裝置，諸如一整合式滑鼠、軌跡球、觸控板、或圖形輸入板；一掃描器；一條碼掃描器；一併入顯示器之觸控螢幕；諸如語音辨識系統、麥克風之音訊輸入裝置；以及其他類型之輸入裝置。一般而言，「輸入裝置」一詞之使用係意欲包括用於將資訊輸入至運算裝置2600之所有可能類型之裝置及機制。
一或多個使用者介面輸出裝置2614可包括一顯示子系統、一列印機、或諸如音訊輸出裝置等非視覺化顯示器。顯示子系統可以是一陰極射線管(CRT)、諸如液晶顯示器(LCD)之一平板裝置、發光二極體(LED)顯示器、或一投射或其他顯示裝置。一般而言，「輸出裝置」一詞之使用係意欲包括用於將資訊從運算裝置2600輸出之所有可能類型之裝置及機制。一或多個使用者介面輸出裝置2614舉例而言，可用於呈現使用者介面以在可能適當的情況下促進使用者與進行所述程序及其中變體之應用程 式互動。
儲存子系統2606可提供用於儲存基本程式設計及資料構造之一電腦可讀儲存媒體，該等基本程式設計及資料構造可提供本揭露之至少一項實施例之功能性。該等應用程式(程式、程式碼模組、指令)在受一或多個處理器執行時，可以提供本揭露之一或多項實施例之功能性，並且可予以儲存在儲存子系統2606中。這些應用程式模組或指令可由一或多個處理器2602執行。儲存子系統2606可另外提供用於儲存根據本揭露所用資料之一儲存庫。舉例而言，主記憶體2608及快取記憶體2602可為程式及資料提供依電性儲存。永續性儲存器2610可為程式及資料提供永續(非依電性)儲存，並且可包括快閃記憶體、一或多個固態驅動機、一或多個磁性硬碟機、具有相關聯可移除式媒體之一或多個軟碟機、具有相關聯可移除式媒體之一或多個光學驅動機(例如：CD-ROM或DVD或藍光)驅動機、以及其他相似之儲存媒體。此類程式及資料可包括用於實行如本揭露所述一或多項實施例之步驟之程式、以及與如本揭露所述交易及區塊相關聯之資料。
運算裝置2600可呈各種類型，包括一可攜式電腦裝置、平板電腦、一工作站、或下面所述之任何其他裝置。另外，運算裝置2600可包括可透過一或多個連接埠(例如：USB、一耳機插孔、Lightning連接器等)連接至運算裝置2600之另一裝置。可連接至運算裝置2600之裝置可包括組配來接受光纖連接器之複數個連接埠。因此，此裝 置可組配成將光學信號轉換成電氣信號，可透過將裝置連接至運算裝置2600之連接埠傳送該電氣信號以供處理。由於電腦及網路之本質不斷變化，為了說明裝置之較佳實施例，圖8所示運算裝置2600之說明僅意欲作為一特定實例。許多其他組態有可能比圖8所示系統具有更多或更少組件。
應知上述實施例說明而不是限制本發明，並且所屬技術領域中具有通常知識者將能夠設計許多替代實施例而不脫離如隨附申請專利範圍所定義之本發明之範疇。在請求項中，置放於括號內的任何參照符號不得視為限制請求項。「包含」一詞及其變體、及類似者不排除存在任何請求項或本說明書中整體所列者外之元件或步驟。在本說明書中，「包含」意味著「包括或由以下所組成」，並且「包含」之變體意味著「包括或由以下所組成」。元件之單數參照不排除此類元件之複數參照，反之亦然。本發明可藉助於包含數個相異元件之硬體、及藉由一適當程式規劃之電腦來實施。在列舉數個構件之裝置請求項中，這些構件中有數個可藉由相同硬體項目來具體實現。在互不相同之附屬項中明載某些量測的唯一事實不在於指出這些量測之一組合無法用於產生利益。
特此以參考方式併入本文中包括公布、專利申請、及專利在內所引用之所有參照，其程度猶如將各參照個別且具體地指為要以參考方式併入，並且在本文中將其完整提出。這包括以下編號之英國專利申請案： GB1719998.5、GB 1718505.9、GB 1720768.9

Claims (15)

  1. 一種電腦實施之方法，其包含以下步驟：處理一部分原始碼以產生一算術電路，其中：該原始碼係採用一高階程式設計語言撰寫，並且進一步地其中該原始碼代表一智慧合約；以及該算術電路包含布置來代表該原始碼中所表達功能性其中一些或全部之一或多個算術閘，其中該算術電路係獨立於架構。
  2. 如請求項1之方法，其中：該算術電路係該原始碼之一機器可執行版本，並且係布置來運算一結果。
  3. 如請求項1或2之方法，其中該處理步驟包含：評估該原始碼中提供之一或多個常數，以提供包含布林及/或算術運算子之一或多個表達式。
  4. 如請求項1或2之方法，且其更包含以下步驟：使用該算術電路提供一硬體及/或軟體電路。
  5. 如請求項1或2之方法，其中：該算術電路包含連接至算術閘之n位元導線。
  6. 如請求項1或2之方法，其中該方法更包含預處理該原始碼以判定一或多個常數，該預處理包含以下步驟中一或多者： 移除評論；將標頭宣告從標頭檔案匯入至原始檔案；將多個原始檔案合併；解決或評估指示詞及巨集。
  7. 如請求項1或2之方法，其中該方法更包含以下步驟：偵檢該原始碼中宣告之所有全域變數，其中一全域變數係有關於供執行之一函數、一結構或類別、一常數及/或一進入點。
  8. 如請求項1或2之方法，其中該方法更包含以下步驟：產生一符號表以使該原始碼中提供之各符號(即識別符)與該原始碼中提供之宣告資訊相關聯，該表中之該等符號係全域及/或局部符號。
  9. 如請求項1或2之方法，其中該方法更包含以下步驟：進行該原始碼之一逐行評估，導致一算術及/或邏輯表達式，其將一或多個輸出變數表達為施用於一或多個輸入變數之邏輯及/或算術運算之一組合。
  10. 如請求項9之方法，其中該逐行評估包含以下子步驟：類型解碼；表達式解碼；表達式評估；及/或為該功能性所需之資料結構分配記憶體。
  11. 如請求項9之方法，且其更包含以下步 驟：將該表達式之該等算術及/或邏輯運算映射至算術閘。
  12. 如請求項11之方法，其中該映射步驟包含以下子步驟：進行一導線擴張；及/或進行一導線壓縮。
  13. 如請求項1或2之方法，且其更包含以下步驟：使用該算術電路產生包含一多項式集合之一二次程式，該等多項式提供該電路之一描述。
  14. 如請求項13之方法，且其更包含以下步驟：使用一或多個輸入將該二次程式提供給一實體以執行該二次程式。
  15. 一種電腦實施之系統，其係布置來進行前述請求項1至14中任一項之步驟，較佳的是，其中該系統包含布置來進行該原始碼之處理之一解譯器。
TW107139685A 2017-11-09 2018-11-08 電腦實施方法及系統 TWI837103B (zh)

Applications Claiming Priority (12)

Application Number Priority Date Filing Date Title
GBGB1718505.9A GB201718505D0 (en) 2017-11-09 2017-11-09 Computer-implemented system and method
GB1718505.9 2017-11-09
GB1719998.5 2017-11-30
GBGB1719998.5A GB201719998D0 (en) 2017-11-30 2017-11-30 Computer-Implemented system and method
GB1720768.9 2017-12-13
GBGB1720768.9A GB201720768D0 (en) 2017-12-13 2017-12-13 Computer-implemented system and method
GBGB1801753.3A GB201801753D0 (en) 2018-02-02 2018-02-02 Computer-implemented system and method
GB1801753.3 2018-02-02
GB1805948.5 2018-04-10
GBGB1805948.5A GB201805948D0 (en) 2018-04-10 2018-04-10 Computer-implemented system and method
GBGB1806444.4A GB201806444D0 (en) 2018-04-20 2018-04-20 Computer-implemented system and method
GB1806444.4 2018-04-20

Publications (2)

Publication Number Publication Date
TW201923648A TW201923648A (zh) 2019-06-16
TWI837103B true TWI837103B (zh) 2024-04-01

Family

ID=64100702

Family Applications (2)

Application Number Title Priority Date Filing Date
TW107139685A TWI837103B (zh) 2017-11-09 2018-11-08 電腦實施方法及系統
TW107139662A TWI806918B (zh) 2017-11-09 2018-11-08 用於簡化可執行指令以優化可驗證計算之系統及相關方法與儲存媒體

Family Applications After (1)

Application Number Title Priority Date Filing Date
TW107139662A TWI806918B (zh) 2017-11-09 2018-11-08 用於簡化可執行指令以優化可驗證計算之系統及相關方法與儲存媒體

Country Status (9)

Country Link
US (11) US11575511B2 (zh)
EP (9) EP4092953A1 (zh)
JP (17) JP2021502636A (zh)
KR (8) KR102738013B1 (zh)
CN (9) CN111316595B (zh)
SG (5) SG11202004149UA (zh)
TW (2) TWI837103B (zh)
WO (5) WO2019092545A1 (zh)
ZA (1) ZA202002575B (zh)

Families Citing this family (79)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9430909B2 (en) 2014-04-08 2016-08-30 Micro-Gaming Ventures, LLC Location-based wagering via remote devices
US11783679B2 (en) 2014-04-08 2023-10-10 Micro-Gaming Ventures, LLC Location-based wagering via remote devices
US10903997B2 (en) 2017-10-19 2021-01-26 Autnhive Corporation Generating keys using controlled corruption in computer networks
WO2019092552A1 (en) 2017-11-09 2019-05-16 nChain Holdings Limited Systems and methods for ensuring correct execution of computer program using a mediator computer system
KR102738013B1 (ko) 2017-11-09 2024-12-05 엔체인 홀딩스 리미티드 확인 키를 변경으로부터 보호하고 정확성 증명의 유효성을 확인하기 위한 시스템
GB201720946D0 (en) 2017-12-15 2018-01-31 Nchain Holdings Ltd Computer-implemented system and method
KR102810891B1 (ko) 2017-12-13 2025-05-20 엔체인 홀딩스 리미티드 암호 자료를 안전하게 공유하기 위한 시스템 및 방법
CN110032568B (zh) * 2018-12-20 2020-05-12 阿里巴巴集团控股有限公司 数据结构的读取及更新方法、装置、电子设备
WO2020197514A1 (en) * 2019-03-27 2020-10-01 Koc Universitesi A distributed hash table based blockchain architecture for resource constrained environments
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
GB201907392D0 (en) 2019-05-24 2019-07-10 Nchain Holdings Ltd Proof-of-work
GB201907396D0 (en) * 2019-05-24 2019-07-10 Nchain Holdings Ltd Hash function attacks
US11570002B2 (en) 2019-05-29 2023-01-31 International Business Machines Corporation Reduced-step blockchain verification of media file
US11516000B2 (en) * 2019-05-29 2022-11-29 International Business Machines Corporation Approximate hash verification of unused blockchain output
US11711202B2 (en) 2019-05-29 2023-07-25 International Business Machines Corporation Committing data to blockchain based on approximate hash verification
US11429738B2 (en) 2019-05-29 2022-08-30 International Business Machines Corporation Blockchain endorsement with approximate hash verification
US11539527B2 (en) 2019-05-29 2022-12-27 International Business Machines Corporation Peer node recovery via approximate hash verification
EP3754899B1 (en) 2019-06-20 2022-03-02 Telefónica Iot & Big Data Tech, S.A. Method and system for inter-dlt networks trust enhancement
WO2019170175A2 (en) * 2019-06-28 2019-09-12 Alibaba Group Holding Limited System and method for executing different types of blockchain contracts
CN110445755A (zh) * 2019-07-04 2019-11-12 杭州复杂美科技有限公司 交易攻击的防御方法、设备和存储介质
GB201913143D0 (en) * 2019-09-12 2019-10-30 Nchain Holdings Ltd Running a program from a blockchain
GB2587190B (en) 2019-09-12 2021-12-01 Nchain Holdings Ltd Storing a program on a blockchain
JP7284064B2 (ja) * 2019-10-16 2023-05-30 株式会社日立製作所 コンソーシアムブロックチェーンシステム、計算機、トランザクション承認方法
CN111143859A (zh) * 2020-01-07 2020-05-12 杭州宇链科技有限公司 一种采集可信数据的模组以及数据传输方法
US11792022B2 (en) 2020-02-21 2023-10-17 International Business Machines Corporation Resolution of conflicting data
CN115066672A (zh) * 2020-02-21 2022-09-16 松下电器（美国）知识产权公司 控制方法、分析装置及程序
US12175462B2 (en) * 2020-02-21 2024-12-24 International Business Machines Corporation Resolution of conflicting data
US11188316B2 (en) * 2020-03-09 2021-11-30 International Business Machines Corporation Performance optimization of class instance comparisons
CN111506783B (zh) 2020-04-08 2023-12-22 百度在线网络技术（北京）有限公司 区块链中事务请求处理方法、装置、设备和介质
CN111768187A (zh) * 2020-08-31 2020-10-13 支付宝(杭州)信息技术有限公司 一种部署智能合约的方法、区块链节点和存储介质
CA3091660A1 (en) * 2020-08-31 2021-11-03 Polymath Inc. Method, system, and medium for blockchain-enabled atomic settlement
CN112926978A (zh) * 2020-09-07 2021-06-08 陈建芸 基于区块链通信的支付信息处理方法及系统
US12141125B2 (en) * 2020-09-29 2024-11-12 International Business Machines Corporation Transaction reordering in blockchain
US11029920B1 (en) * 2020-10-21 2021-06-08 Chariot Technologies Lab, Inc. Execution of a conditional statement by an arithmetic and/or bitwise unit
US12517712B2 (en) 2020-10-21 2026-01-06 Chariot Technologies Lab, Inc. Execution of a conditional statement by an arithmetic and/or bitwise unit
US11456871B2 (en) * 2020-11-03 2022-09-27 Provide Technologies, Inc. System and method for autonomous mapping of enterprise identity
KR102346292B1 (ko) * 2020-11-11 2022-01-03 엘에스웨어(주) 키 정보를 이용한 트랜잭션 분류 시스템 및 방법
EP4256751A1 (en) * 2020-12-02 2023-10-11 Trock, Stanislav Blockchain
KR102346293B1 (ko) * 2020-12-08 2022-01-03 엘에스웨어(주) 공통 키셋정보를 이용한 트랜잭션 분산처리를 위한 블록체인 시스템 및 수행방법
GB2602010A (en) * 2020-12-15 2022-06-22 Nchain Holdings Ltd Generating and validating blockchain transactions
CN113222747B (zh) * 2020-12-31 2024-01-26 上海零数众合信息科技有限公司 一种区块链隐私交易方法
US11144978B1 (en) * 2021-02-25 2021-10-12 Mythical, Inc. Systems and methods to support custom bundling of virtual items within an online game
GB2606526A (en) * 2021-05-10 2022-11-16 Nchain Licensing Ag Multi-party blockchain address scheme
US12041190B2 (en) * 2021-06-25 2024-07-16 Prateek GOEL System and method to manage large data in blockchain
CN113469690B (zh) * 2021-07-23 2024-03-26 佳乔(深圳)投资有限公司 一种基于区块链的交易结算方法
CA3227058A1 (en) * 2021-07-27 2023-02-02 Julien Marc PECORARO Systems and methods for asset authentication and management
CN113610474B (zh) * 2021-08-16 2023-09-22 傲林科技有限公司 一种基于事件网的库存管理方法和管理系统
CN113779578B (zh) 2021-09-13 2024-01-19 支付宝(杭州)信息技术有限公司 移动端应用的智能混淆方法和系统
US20230130347A1 (en) * 2021-10-26 2023-04-27 Mastercard Asia/Pacific Pte. Ltd. Methods and systems for generating and validating transactions on a distributed ledger
US20230298064A1 (en) * 2022-01-26 2023-09-21 Seek Xr, Inc. Systems and methods for facilitating redemption of unique digital asset utility
CN114676464A (zh) * 2022-02-11 2022-06-28 蚂蚁区块链科技(上海)有限公司 数据验证的方法及装置
CN116820419A (zh) * 2022-03-22 2023-09-29 瑞昱半导体股份有限公司 源代码校验方法及非暂态计算机可读存储介质装置
GB2618106A (en) * 2022-04-27 2023-11-01 Nchain Licensing Ag Messaging protocol for compact script transactions
US11818207B1 (en) 2022-07-08 2023-11-14 T-Mobile Innovations Llc Methods and systems for ledger based content delivery using a mobile edge computing (MEC) server
US12470552B1 (en) 2022-07-27 2025-11-11 Wells Fargo Bank, N.A. Secure data processing using data packages generated by edge devices
CN114978514B (zh) * 2022-07-27 2022-11-01 杭州友恭科技有限公司 密钥管理方法、系统、装置、电子装置和存储介质
US12301558B1 (en) 2022-08-23 2025-05-13 Wells Fargo Bank, N.A. Secure generation of authentication datasets from network activity
US12299093B1 (en) 2022-08-23 2025-05-13 Wells Fargo Bank, N.A. Machine-learning for real-time and secure analysis of digital metrics
US12200132B1 (en) 2022-08-25 2025-01-14 Wells Fargo Bank, N.A. Secure multi-verification of biometric data in a distributed computing environment
US12347095B1 (en) 2022-08-26 2025-07-01 Wells Fargo Bank, N.A. Sensor data processing for monitoring device performance
US12248545B1 (en) 2022-09-01 2025-03-11 Wells Fargo Bank, N.A. Secure digital authorization via generated datasets
JP2024044220A (ja) * 2022-09-20 2024-04-02 富士通株式会社 電力取引プログラム、電力取引方法および電力取引装置
US11792259B1 (en) 2022-09-28 2023-10-17 T-Mobile Innovations Llc Methods and systems for distributing rendering across devices in a customer premise
US12469197B2 (en) 2022-09-28 2025-11-11 T-Mobile Innovations Llc Methods and systems for partitioning media content across different network slices in a network
CN115801288B (zh) * 2023-01-10 2023-04-18 南方科技大学 一种基于区块链和零知识证明的验证方法、系统及设备
GB2627758A (en) * 2023-02-28 2024-09-04 Nchain Licensing Ag Verification of scalar multiplication of elliptic curve points in script
GB2627757A (en) * 2023-02-28 2024-09-04 Nchain Licensing Ag Verification of scalar multiplication of elliptic curve points in script
GB2627756A (en) * 2023-02-28 2024-09-04 Nchain Licensing Ag Verification of scalar multiplication of elliptic curve points in script
CN116610362B (zh) * 2023-04-27 2024-02-23 合芯科技(苏州)有限公司 一种处理器指令集译码方法、系统、设备和存储介质
US20240386372A1 (en) * 2023-05-19 2024-11-21 Rockwell Automation Technologies, Inc. Industrial supply chain modeling
US20240386511A1 (en) * 2023-05-19 2024-11-21 Rockwell Automation Technologies, Inc. Industrial manufacturing smart contracts
US12488017B2 (en) 2023-05-24 2025-12-02 Rockwell Automation Technologies, Inc. Multi-tenant database replication and sharding
WO2024249467A2 (en) * 2023-05-31 2024-12-05 Visa International Service Association System, method, and computer program product for key-value commitments from accumulators and vector commitments
US20240411900A1 (en) 2023-06-08 2024-12-12 Auradine, Inc. End-to-end hardware acceleration for zkp from witness generation to proof generation
KR102677928B1 (ko) * 2023-07-13 2024-06-25 쿠팡 주식회사 서버 및 그의 정보 관리 방법
US20260046133A1 (en) * 2024-06-04 2026-02-12 Bank Of America Corporation A method and system for verifying user authorization using zero-proof verification
CN119396369B (zh) * 2024-09-12 2026-01-02 中国第一汽车股份有限公司 策略代码生成方法、装置、电子设备及可读存储介质
CN120874039B (zh) * 2025-09-23 2026-02-13 天聚地合(苏州)科技股份有限公司 Rpa脚本的验证方法、系统、存储介质及设备

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5920830A (en) * 1997-07-09 1999-07-06 General Electric Company Methods and apparatus for generating test vectors and validating ASIC designs
US6519754B1 (en) * 1999-05-17 2003-02-11 Synplicity, Inc. Methods and apparatuses for designing integrated circuits
US20040015739A1 (en) * 2001-08-07 2004-01-22 Ulrich Heinkel Testbench for the validation of a device under test
US7281017B2 (en) * 2002-06-21 2007-10-09 Sumisho Computer Systems Corporation Views for software atomization
TWM543413U (zh) * 2016-12-05 2017-06-11 Taiwan United Financial Technology Co Ltd 利用區塊鏈技術進行交易的網路借貸平台

Family Cites Families (180)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4667290A (en) 1984-09-10 1987-05-19 501 Philon, Inc. Compilers using a universal intermediate language
JPH03126133A (ja) 1989-10-11 1991-05-29 Matsushita Electric Ind Co Ltd コンパイラ処理方法
JPH05252336A (ja) 1992-03-04 1993-09-28 Toshiba Corp 画像形成装置
US5499191A (en) * 1992-06-15 1996-03-12 Minc Incorporated Multi-level logic optimization in programmable logic devices
US5297150A (en) 1992-06-17 1994-03-22 International Business Machines Corporation Rule-based method for testing of programming segments
US8639625B1 (en) * 1995-02-13 2014-01-28 Intertrust Technologies Corporation Systems and methods for secure transaction management and electronic rights protection
JPH08305547A (ja) * 1995-05-11 1996-11-22 Oki Electric Ind Co Ltd Ｐｌｄによるコンピュータおよびコンパイラおよびオペレーティングシステム
US6064928A (en) 1997-04-24 2000-05-16 Automation Systems Laboratory, Inc. Mechanical sensor diagnostic method and system
US6161180A (en) 1997-08-29 2000-12-12 International Business Machines Corporation Authentication for secure devices with limited cryptography
US7360080B2 (en) * 2000-11-03 2008-04-15 International Business Machines Corporation Non-transferable anonymous credential system with optional anonymity revocation
US7181017B1 (en) 2001-03-23 2007-02-20 David Felsher System and method for secure three-party communications
AU2002357655A1 (en) * 2001-10-11 2003-04-22 California Institute Of Technology Method and apparatus for an asynchronous pulse logic circuit
US7209555B2 (en) 2001-10-25 2007-04-24 Matsushita Electric Industrial Co., Ltd. Elliptic curve converting device, elliptic curve converting method, elliptic curve utilization device and elliptic curve generating device
US7085701B2 (en) 2002-01-02 2006-08-01 International Business Machines Corporation Size reduction techniques for vital compliant VHDL simulation models
US6983456B2 (en) * 2002-10-31 2006-01-03 Src Computers, Inc. Process for converting programs in high-level programming languages to a unified executable for hybrid computing platforms
US20050004899A1 (en) 2003-04-29 2005-01-06 Adrian Baldwin Auditing method and service
US7178118B2 (en) * 2003-05-30 2007-02-13 Synplicity, Inc. Method and apparatus for automated circuit design
US20060149962A1 (en) 2003-07-11 2006-07-06 Ingrian Networks, Inc. Network attached encryption
US7059517B2 (en) 2003-12-31 2006-06-13 Hewlett-Packard Development Company, L.P. On-line PIN verification using polynomials
US7672460B2 (en) * 2004-01-22 2010-03-02 Nec Corporation Mix-net system
US7664957B2 (en) 2004-05-20 2010-02-16 Ntt Docomo, Inc. Digital signatures including identity-based aggregate signatures
US7590236B1 (en) 2004-06-04 2009-09-15 Voltage Security, Inc. Identity-based-encryption system
US7697691B2 (en) * 2004-07-14 2010-04-13 Intel Corporation Method of delivering Direct Proof private keys to devices using an on-line service
US20060075109A1 (en) * 2004-09-28 2006-04-06 Matthew Hartley Methodology, system and computer readable medium for masking network connection data
US20160004820A1 (en) 2005-02-01 2016-01-07 Newsilike Media Group, Inc. Security facility for maintaining health care data pools
US8200700B2 (en) 2005-02-01 2012-06-12 Newsilike Media Group, Inc Systems and methods for use of structured and unstructured distributed data
US8874477B2 (en) 2005-10-04 2014-10-28 Steven Mark Hoffberg Multifactorial optimization system and method
CN101331706B (zh) * 2005-12-13 2012-09-05 皇家飞利浦电子股份有限公司 安全阈值解密协议计算
TW200725415A (en) 2005-12-30 2007-07-01 Tatung Co Ltd Method for automatically translating high level programming language into hardware description language
WO2007102518A1 (ja) * 2006-03-07 2007-09-13 The University Of Tokushima 算術符号化装置、算術符号化方法、算術符号化プログラム及びプログラムを格納したコンピュータで読み取り可能な記録媒体
EP2033316A4 (en) 2006-06-21 2010-08-11 Element Cxi Llc CONSTRUCTION OF A FAULT TOLERANT INTEGIRER CIRCUIT
US7926040B2 (en) 2006-09-06 2011-04-12 International Business Machines Corporation Method and system for timing code execution in a korn shell script
WO2008053650A1 (fr) 2006-10-30 2008-05-08 Nec Corporation Dispositif de cryptage par blocs d'une clé commune, procédé, programme et support d'enregistrement
FR2918525A1 (fr) 2007-07-06 2009-01-09 France Telecom Procede asymetrique de chiffrement ou de verification de signature.
GB2450869B (en) * 2007-07-09 2012-04-25 Hewlett Packard Development Co Establishing a trust relationship between computing entities
US8543885B2 (en) 2007-11-18 2013-09-24 Lg Electronics Inc. Methods of joint coding in mobile communication system
US8923510B2 (en) 2007-12-28 2014-12-30 Intel Corporation Method and apparatus for efficiently implementing the advanced encryption standard
US8336036B2 (en) 2008-11-21 2012-12-18 Korea University Industrial & Academic Collaboration Foundation System and method for translating high programming level languages code into hardware description language code
US8165287B2 (en) 2008-12-30 2012-04-24 King Fahd University Of Petroleum & Minerals Cryptographic hash functions using elliptic polynomial cryptography
US8189771B2 (en) 2009-01-12 2012-05-29 King Fahd University Of Petroleum & Minerals Hash functions with elliptic polynomial hopping
FR2947404B1 (fr) 2009-06-30 2011-12-16 Sagem Securite Cryptographie par parametrisation sur une courbe elliptique
FR2948661B1 (fr) 2009-07-31 2011-07-29 Arkema France Composition a base de sulfure organique a odeur masquee
JP5159752B2 (ja) 2009-12-03 2013-03-13 セイコープレシジョン株式会社 通信データの検証装置及びそのコンピュータプログラム
US8189775B2 (en) 2010-02-18 2012-05-29 King Fahd University Of Petroleum & Minerals Method of performing cipher block chaining using elliptic polynomial cryptography
US8667301B2 (en) * 2010-04-01 2014-03-04 Apple Inc. Obfuscating transformations on data array content and addresses
EP2566053A4 (en) 2010-04-27 2013-11-13 Nec Corp ENCODING DEVICE, ERROR CORRECTING CODE CONFIGURATION METHOD, AND PROGRAM THEREOF
US10515567B2 (en) 2010-06-01 2019-12-24 Ternarylogic Llc Cryptographic machines with N-state lab-transformed switching devices
EP2721766A4 (en) 2011-03-18 2015-01-28 Certicom Corp SECURE FINANCIAL TRANSACTIONS
US8924966B1 (en) * 2011-03-31 2014-12-30 Emc Corporation Capture/revert module for complex assets of distributed information technology infrastructure
US9569771B2 (en) 2011-04-29 2017-02-14 Stephen Lesavich Method and system for storage and retrieval of blockchain blocks using galois fields
CA2832204C (en) 2011-05-03 2019-10-01 Panther Payments, LLC Method and system for facilitating person-to-person payments
US8607129B2 (en) 2011-07-01 2013-12-10 Intel Corporation Efficient and scalable cyclic redundancy check circuit using Galois-field arithmetic
JP5697153B2 (ja) 2011-08-04 2015-04-08 キヤノンマーケティングジャパン株式会社 情報処理システム、携帯端末、制御方法、及びプログラム
US8745376B2 (en) 2011-10-14 2014-06-03 Certicom Corp. Verifying implicit certificates and digital signatures
US9215076B1 (en) * 2012-03-27 2015-12-15 Amazon Technologies, Inc. Key generation for hierarchical data access
US20150379510A1 (en) 2012-07-10 2015-12-31 Stanley Benjamin Smith Method and system to use a block chain infrastructure and Smart Contracts to monetize data transactions involving changes to data included into a data supply chain.
BR112015010016A2 (pt) * 2012-11-07 2017-07-11 Koninklijke Philips Nv compilador, computador, método de compilação e programa de computador
US9306738B2 (en) * 2012-12-21 2016-04-05 Microsoft Technology Licensing, Llc Managed secure computations on encrypted data
EP2946329A4 (en) * 2013-01-16 2016-08-31 Mcafee Inc MALIGNANT SCRIPT LANGUAGE CODE DETECTION IN A NETWORK ENVIRONMENT
US8683193B1 (en) 2013-03-01 2014-03-25 Robert Hansen Strict communications transport security
US9141823B2 (en) * 2013-03-15 2015-09-22 Veridicom, Sa De Cv Abstraction layer for default encryption with orthogonal encryption logic session object; and automated authentication, with a method for online litigation
US20140321644A1 (en) 2013-04-29 2014-10-30 Her Majesty The Queen In Right Of Canada, As Represented By The Minister Of National Defence Method and system for calculations on encrypted data
US11127001B2 (en) 2013-05-09 2021-09-21 Wayne Fueling Systems Llc Systems and methods for secure communication
US9553982B2 (en) 2013-07-06 2017-01-24 Newvoicemedia, Ltd. System and methods for tamper proof interaction recording and timestamping
US9026978B1 (en) 2013-10-24 2015-05-05 Cadence Design Systems, Inc. Reverse interface logic model for optimizing physical hierarchy under full chip constraint
JP5842255B2 (ja) * 2013-12-12 2016-01-13 国立大学法人東京工業大学 プログラミング言語による論理回路記述から論理回路を生成するための装置及び方法
JP6095584B2 (ja) 2014-01-15 2017-03-15 日本電信電話株式会社 マルチパーティ計算システム、秘匿計算装置、マルチパーティ計算方法及びプログラム
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
US9830580B2 (en) * 2014-03-18 2017-11-28 nChain Holdings Limited Virtual currency system
US10320781B2 (en) 2016-12-08 2019-06-11 Sensoriant, Inc. System and methods for sharing and trading user data and preferences between computer programs and other entities while preserving user privacy
US9645794B2 (en) 2014-09-23 2017-05-09 Texas Instruments Incorporated Homogeneous atomic pattern for double, add, and subtract operations for digital authentication using elliptic curve cryptography
US10409827B2 (en) * 2014-10-31 2019-09-10 21, Inc. Digital currency mining circuitry having shared processing logic
US10025926B2 (en) 2014-11-19 2018-07-17 The Mitre Corporation Side-channel leakage evaluator and analysis kit
US20160162897A1 (en) 2014-12-03 2016-06-09 The Filing Cabinet, LLC System and method for user authentication using crypto-currency transactions as access tokens
CN104580240A (zh) 2015-01-22 2015-04-29 杭州安存网络科技有限公司 聊天证据固定方法及装置
PT3259871T (pt) 2015-02-20 2020-11-10 Ericsson Telefon Ab L M Método para proporcionar um valor de dispersão para uma parte de dados, dispositivo eletrónico e programa de computador
EP3073670B1 (en) 2015-03-27 2020-09-02 Black Gold Coin, Inc. A system and a method for personal identification and verification
HK1249791A1 (zh) * 2015-03-31 2018-11-09 Nasdaq, Inc. 区块链交易记录的系统和方法
US10911235B2 (en) 2015-03-31 2021-02-02 Nec Corporation Method for verifying information
US20160321751A1 (en) * 2015-04-28 2016-11-03 Domus Tower, Inc. Real-time settlement of securities trades over append-only ledgers
US20160342977A1 (en) * 2015-05-20 2016-11-24 Vennd.io Pty Ltd Device, method and system for virtual asset transactions
JP2017004044A (ja) 2015-06-04 2017-01-05 富士通株式会社 ライセンス管理プログラム、ライセンス管理方法、およびライセンス管理システム
CN106293892B (zh) 2015-06-26 2019-03-19 阿里巴巴集团控股有限公司 分布式流计算系统、方法和装置
WO2017008829A1 (en) 2015-07-10 2017-01-19 Nec Europe Ltd. A method and a system for reliable computation of a program
US10339523B2 (en) 2015-07-14 2019-07-02 Fmr Llc Point-to-point transaction guidance 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
US11488147B2 (en) 2015-07-14 2022-11-01 Fmr Llc Computationally efficient transfer processing and auditing apparatuses, methods and systems
US20170048209A1 (en) 2015-07-14 2017-02-16 Fmr Llc Crypto Key Recovery and Social Aggregating, Fractionally Efficient Transfer Guidance, Conditional Triggered Transaction, Datastructures, Apparatuses, Methods and Systems
US20170091756A1 (en) 2015-07-14 2017-03-30 Fmr Llc Point-to-Point Transaction Guidance Apparatuses, Methods and Systems
US10366204B2 (en) * 2015-08-03 2019-07-30 Change Healthcare Holdings, Llc System and method for decentralized autonomous healthcare economy platform
DE102015114215A1 (de) 2015-08-27 2017-03-02 Rwe Ag Versorgungssystem und verfahren zum betreiben eines versorgungssystems
US20170091726A1 (en) * 2015-09-07 2017-03-30 NXT-ID, Inc. Low bandwidth crypto currency transaction execution and synchronization method and system
AU2016332385A1 (en) * 2015-09-30 2018-03-15 Sekisui Chemical Co., Ltd. Interlayer for laminated glass, and laminated glass
US20180331832A1 (en) 2015-11-05 2018-11-15 Allen Pulsifer Cryptographic Transactions System
US20170132619A1 (en) 2015-11-06 2017-05-11 SWFL, Inc., d/b/a "Filament" Systems and methods for autonomous device transacting
US10048952B2 (en) 2015-11-11 2018-08-14 Oracle International Corporation Compiler optimized data model evaluation
FR3043811B1 (fr) 2015-11-16 2017-11-10 Morpho Procede d'identification d'une entite
US20170140408A1 (en) 2015-11-16 2017-05-18 Bank Of America Corporation Transparent self-managing rewards program using blockchain and smart contracts
US10841082B2 (en) * 2015-11-24 2020-11-17 Adi BEN-ARI System and method for blockchain smart contract data privacy
US9992028B2 (en) 2015-11-26 2018-06-05 International Business Machines Corporation System, method, and computer program product for privacy-preserving transaction validation mechanisms for smart contracts that are included in a ledger
JP2017111591A (ja) 2015-12-16 2017-06-22 株式会社ソシオネクスト 設計方法、設計プログラム及び設計装置
US11423498B2 (en) 2015-12-16 2022-08-23 International Business Machines Corporation Multimedia content player with digital rights management while maintaining privacy of users
US9715373B2 (en) 2015-12-18 2017-07-25 International Business Machines Corporation Dynamic recompilation techniques for machine learning programs
US11604889B2 (en) * 2015-12-22 2023-03-14 Intel Corporation Efficient and secure sharing of large data repositories
US10044696B2 (en) 2015-12-22 2018-08-07 Mcafee, Llc Simplified sensor integrity
US9483596B1 (en) * 2016-01-08 2016-11-01 International Business Machines Corporation Multi power synthesis in digital circuit design
US9960920B2 (en) 2016-01-26 2018-05-01 Stampery Inc. Systems and methods for certification of data units and/or certification verification
US10108812B2 (en) 2016-01-28 2018-10-23 Nasdaq, Inc. Systems and methods for securing and disseminating time sensitive information using a blockchain
IL278834B2 (en) * 2016-02-23 2023-09-01 Nchain Holdings Ltd Automatic registration and management method for smart contracts based on 'block chain'
US12107952B2 (en) * 2016-02-23 2024-10-01 Nchain Licensing Ag Methods and systems for efficient transfer of entities on a peer-to-peer distributed ledger using the blockchain
SG11201805542TA (en) 2016-02-23 2018-09-27 Nchain Holdings Ltd Secure multiparty loss resistant storage and transfer of cryptographic keys for blockchain based systems in conjunction with a wallet management system
MX2018010056A (es) 2016-02-23 2019-01-21 Nchain Holdings Ltd Un metodo y sistema para asegurar software de computadora usando un cuadro hash distribuido y una cadena de bloques.
US10387988B2 (en) 2016-02-26 2019-08-20 Google Llc Compiler techniques for mapping program code to a high performance, power efficient, programmable image processing hardware platform
US11170371B2 (en) 2016-03-03 2021-11-09 Nec Corporation Method for managing data in a network of nodes
CN109154885B (zh) 2016-03-21 2023-05-12 澳大利亚国家Ict有限公司 区块链平台上的业务处理执行
US11017387B2 (en) 2016-03-24 2021-05-25 International Business Machines Corporation Cryptographically assured zero-knowledge cloud services for elemental transactions
US11017388B2 (en) 2016-03-25 2021-05-25 International Business Machines Corporation Cryptographically assured zero-knowledge cloud service for composable atomic transactions
US10839096B2 (en) 2016-03-28 2020-11-17 International Business Machines Corporation Cryptographically provable zero-knowledge content distribution network
EP3437002A4 (en) 2016-03-31 2019-08-21 Clause, Inc. SYSTEM AND METHOD FOR THE PRODUCTION AND EXECUTION OF DATA-CONTROLLED LEGAL AGREEMENTS
ES2835784T3 (es) 2016-04-05 2021-06-23 Zamna Tech Limited Método y sistema para gestionar información personal dentro de sistemas informáticos independientes y redes digitales
US10545739B2 (en) 2016-04-05 2020-01-28 International Business Machines Corporation LLVM-based system C compiler for architecture synthesis
WO2017178956A1 (en) 2016-04-11 2017-10-19 nChain Holdings Limited A method for secure peer-to-peer communication on a blockchain
US12288203B2 (en) * 2016-04-14 2025-04-29 American Express Travel Related Services Company, Inc. Systems and methods for an electronic wallet payment tool
US10529041B2 (en) * 2016-04-18 2020-01-07 Rs Ltd. System and method for managing transactions in dynamic digital documents
SG10202010720VA (en) * 2016-04-29 2020-12-30 Nchain Holdings Ltd Implementing logic gate functionality using a blockchain
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
US10046228B2 (en) 2016-05-02 2018-08-14 Bao Tran Smart device
WO2017190795A1 (en) 2016-05-06 2017-11-09 Rwe International Se System for evaluating telemetry data
US20170337319A1 (en) * 2016-05-20 2017-11-23 Ecole polytechnique fédérale de Lausanne (EPFL) System and Method for Optimization of Digital Circuits with Timing and Behavior Co-Designed by Introduction and Exploitation of False Paths
US9774578B1 (en) * 2016-05-23 2017-09-26 Accenture Global Solutions Limited Distributed key secret for rewritable blockchain
US20170344988A1 (en) 2016-05-24 2017-11-30 Ubs Ag System and method for facilitating blockchain-based validation
CN107438002B (zh) 2016-05-27 2022-02-11 索尼公司 基于区块链的系统以及系统中的电子设备和方法
US11107088B2 (en) * 2016-05-27 2021-08-31 Chronicled, Inc. Open registry for internet of things
US10447478B2 (en) 2016-06-06 2019-10-15 Microsoft Technology Licensing, Llc Cryptographic applications for a blockchain system
FR3052286B1 (fr) 2016-06-06 2018-06-15 Morpho Procede de verification d'un droit d'acces d'un individu
US10963869B2 (en) * 2016-07-14 2021-03-30 International Business Machines Corporation System and method of cryptographically provable zero knowledge social networking
KR101795696B1 (ko) 2016-07-14 2017-11-09 주식회사 코인플러그 메신저 서비스를 통하여 송수신되는 데이터에 대한 기록 및 검증 서비스를 제공하는 방법, 및 이를 이용한 서버
US20180018738A1 (en) 2016-07-14 2018-01-18 Digital Asset Holdings Digital asset platform
US10417217B2 (en) 2016-08-05 2019-09-17 Chicago Mercantile Exchange Inc. Systems and methods for blockchain rule synchronization
US10832247B2 (en) 2016-09-15 2020-11-10 American Express Travel Related Services Company, Inc. Systems and methods for blockchain based payment networks
US10740844B2 (en) 2016-09-26 2020-08-11 Shapeshift Ag System and method of managing trustless asset portfolios
CN106506146A (zh) 2016-10-26 2017-03-15 北京瑞卓喜投科技发展有限公司 基于区块链技术的交易信息校验方法、装置及系统
CN106534317B (zh) 2016-11-17 2019-09-03 杭州云象网络技术有限公司 一种基于区块链技术的灾备云存储系统构建方法
MX2019007003A (es) * 2016-12-15 2019-11-28 Walmart Apollo Llc Metodo y aparato para compras colaborativas.
CN106780032A (zh) * 2016-12-16 2017-05-31 杭州云象网络技术有限公司 一种多链场景下的区块链链间资产转移方法
WO2018127456A2 (en) 2017-01-06 2018-07-12 Koninklijke Philips N.V. Pinocchio / trinocchio on authenticated data
EP3566389B1 (en) 2017-01-06 2021-08-18 Koninklijke Philips N.V. Distributed privacy-preserving verifiable computation
CN106790253A (zh) * 2017-01-25 2017-05-31 中钞信用卡产业发展有限公司北京智能卡技术研究院 基于区块链的认证方法和装置
WO2018165155A1 (en) * 2017-03-09 2018-09-13 Walmart Apollo, Llc System and methods for three dimensional printing with blockchain controls
WO2018170341A1 (en) 2017-03-15 2018-09-20 NuID, Inc. Methods and systems for universal storage and access to user-owned credentials for trans-institutional digital authentication
WO2018187408A1 (en) * 2017-04-07 2018-10-11 Walmart Apollo, Llc System for recording ownership of digital works and providing backup copies
US20180294956A1 (en) * 2017-04-07 2018-10-11 Walmart Apollo, Llc Systems and Methods for Data Backup and Authentication Using Blockchain
KR101882802B1 (ko) 2017-04-17 2018-07-27 주식회사 코인플러그 Utxo 기반 프로토콜을 이용한 블록체인 기반의 문서 관리 방법 및 이를 이용한 문서 관리 서버
US10419209B1 (en) 2017-04-26 2019-09-17 Wells Fargo Bank, N.A. Parallel assurance of blockchain signatures
CN107274184A (zh) 2017-05-11 2017-10-20 上海点融信息科技有限责任公司 基于零知识证明的区块链数据处理
CN107040545B (zh) 2017-05-26 2019-05-31 中国人民解放军信息工程大学 工程文件全生命周期安全保护方法
CN107179932A (zh) 2017-05-26 2017-09-19 福建师范大学 基于fpga高层次综合指令的优化方法及其系统
ES2907567T3 (es) * 2017-06-22 2022-04-25 Softhale Nv Dispositivo de inhalación con boquilla multilíquido
CN107329815B (zh) 2017-06-26 2020-08-04 浙江工业大学 一种基于BP-Tabu搜索的云任务负载均衡调度方法
CN107330775A (zh) * 2017-07-05 2017-11-07 贵州大学 一种基于比特币协议的首价密封交易方法
US10476879B2 (en) * 2017-07-26 2019-11-12 International Business Machines Corporation Blockchain authentication via hard/soft token verification
US20190205898A1 (en) * 2017-07-31 2019-07-04 Chronicled, Inc Decentralized confidential transfer system, method and device
CN107426234A (zh) 2017-08-08 2017-12-01 武汉协鑫新能源电力设计有限公司 一种基于区块链技术的绿色电力认证机制
US10268829B2 (en) 2017-08-11 2019-04-23 Dragonchain, Inc. Security systems and methods based on cryptographic utility token inventory tenure
US10135607B1 (en) * 2017-08-11 2018-11-20 Dragonchain, Inc. Distributed ledger interaction systems and methods
US10296248B2 (en) * 2017-09-01 2019-05-21 Accenture Global Solutions Limited Turn-control rewritable blockchain
US10333710B2 (en) 2017-09-12 2019-06-25 Qed-It Systems Ltd. Method and system for determining desired size of private randomness using Tsallis entropy
US20190098013A1 (en) * 2017-09-25 2019-03-28 Walmart Apollo, Llc System and Methods for Location Verification with Blockchain Controls
US10521616B2 (en) 2017-11-08 2019-12-31 Analog Devices, Inc. Remote re-enrollment of physical unclonable functions
KR102738013B1 (ko) 2017-11-09 2024-12-05 엔체인 홀딩스 리미티드 확인 키를 변경으로부터 보호하고 정확성 증명의 유효성을 확인하기 위한 시스템
GB201720946D0 (en) 2017-12-15 2018-01-31 Nchain Holdings Ltd Computer-implemented system and method
CN108009441B (zh) 2017-11-23 2023-05-30 创新先进技术有限公司 资源转移和资金转移的方法和装置
US10949511B2 (en) 2017-11-30 2021-03-16 Bank Of America Corporation Multicomputer processing for data authentication using a blockchain approach
US20190180276A1 (en) 2017-12-07 2019-06-13 Bank Of America Corporation Automated Event Processing Computing Platform for Handling and Enriching Blockchain Data
US10715317B2 (en) 2017-12-12 2020-07-14 International Business Machines Corporation Protection of confidentiality, privacy and financial fairness in a blockchain based decentralized identity management system
FR3075534B1 (fr) 2017-12-14 2020-01-10 CopSonic Dispositif de stockage de cles numeriques pour signer des transactions sur une chaine de blocs
FR3098947B1 (fr) 2019-07-19 2021-09-10 Idemia Identity & Security France Procédé de traitement d’une transaction émise depuis une entité de preuve
US20210342490A1 (en) * 2020-05-04 2021-11-04 Cerebri AI Inc. Auditable secure reverse engineering proof machine learning pipeline and methods
US11226799B1 (en) * 2020-08-31 2022-01-18 International Business Machines Corporation Deriving profile data for compiler optimization
CN113779578B (zh) * 2021-09-13 2024-01-19 支付宝(杭州)信息技术有限公司 移动端应用的智能混淆方法和系统

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5920830A (en) * 1997-07-09 1999-07-06 General Electric Company Methods and apparatus for generating test vectors and validating ASIC designs
US6519754B1 (en) * 1999-05-17 2003-02-11 Synplicity, Inc. Methods and apparatuses for designing integrated circuits
US20040015739A1 (en) * 2001-08-07 2004-01-22 Ulrich Heinkel Testbench for the validation of a device under test
US7281017B2 (en) * 2002-06-21 2007-10-09 Sumisho Computer Systems Corporation Views for software atomization
TWM543413U (zh) * 2016-12-05 2017-06-11 Taiwan United Financial Technology Co Ltd 利用區塊鏈技術進行交易的網路借貸平台

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
期刊 Kosba, A., et al. Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts IEEE Symposium on Security and Privacy(SP) DOI 10.1109/SP.2016.55 2016 pp 839-858; *
期刊 Parno, B., et al. ,Pinocchio: Nearly Practical Verifiable Computation, IEEE Symposium on Security and Privacy 2013 pages 238-252 *

Also Published As

Publication number Publication date
EP3707871A1 (en) 2020-09-16
EP3707855A1 (en) 2020-09-16
CN119155068A (zh) 2024-12-17
WO2019092545A1 (en) 2019-05-16
CN111316595B (zh) 2024-09-03
JP2026062692A (ja) 2026-04-10
JP2021502636A (ja) 2021-01-28
WO2019092561A1 (en) 2019-05-16
WO2019092544A1 (en) 2019-05-16
WO2019092543A1 (en) 2019-05-16
US11658801B2 (en) 2023-05-23
US20230318804A1 (en) 2023-10-05
SG11202004149UA (en) 2020-06-29
JP2025157352A (ja) 2025-10-15
JP2024099659A (ja) 2024-07-25
JP7791258B2 (ja) 2025-12-23
JP7208989B2 (ja) 2023-01-19
US20200366492A1 (en) 2020-11-19
JP2021502634A (ja) 2021-01-28
EP4092953A1 (en) 2022-11-23
US12219044B2 (en) 2025-02-04
CN111316595A (zh) 2020-06-19
JP2023179687A (ja) 2023-12-19
SG11202004148PA (en) 2020-06-29
KR20200086284A (ko) 2020-07-16
JP2025011223A (ja) 2025-01-23
CN118413305A (zh) 2024-07-30
JP7477674B2 (ja) 2024-05-01
JP7534024B2 (ja) 2024-08-14
KR102738013B1 (ko) 2024-12-05
KR20200079503A (ko) 2020-07-03
KR20250005540A (ko) 2025-01-09
US20230318805A1 (en) 2023-10-05
KR20200086282A (ko) 2020-07-16
KR20200080265A (ko) 2020-07-06
TWI806918B (zh) 2023-07-01
US12200103B2 (en) 2025-01-14
EP4546718A3 (en) 2025-05-14
KR20250151595A (ko) 2025-10-21
EP4312403A2 (en) 2024-01-31
CN111345005A (zh) 2020-06-26
JP7826419B2 (ja) 2026-03-09
JP2023036962A (ja) 2023-03-14
JP2021502745A (ja) 2021-01-28
WO2019092542A1 (en) 2019-05-16
US20200348916A1 (en) 2020-11-05
KR102743526B1 (ko) 2024-12-17
EP3707856A1 (en) 2020-09-16
EP3707623B1 (en) 2025-05-14
KR20250005429A (ko) 2025-01-09
EP4637076A1 (en) 2025-10-22
US20210192514A1 (en) 2021-06-24
US20210377041A1 (en) 2021-12-02
JP2021502746A (ja) 2021-01-28
EP3707852B1 (en) 2024-06-12
JP2024156763A (ja) 2024-11-06
EP3707871B1 (en) 2022-05-18
CN111345004B (zh) 2023-12-01
JP7221954B2 (ja) 2023-02-14
ZA202002575B (en) 2023-12-20
EP4312403A3 (en) 2024-02-21
KR20250005502A (ko) 2025-01-09
US11635950B2 (en) 2023-04-25
JP7572468B2 (ja) 2024-10-23
US20240413971A1 (en) 2024-12-12
US12407693B2 (en) 2025-09-02
JP7787937B2 (ja) 2025-12-17
JP2023052834A (ja) 2023-04-12
EP3707852A1 (en) 2020-09-16
SG11202004146WA (en) 2020-06-29
CN111406379A (zh) 2020-07-10
US20250358294A1 (en) 2025-11-20
US20230269070A1 (en) 2023-08-24
JP7234229B2 (ja) 2023-03-07
US12309168B2 (en) 2025-05-20
JP2021502747A (ja) 2021-01-28
SG11202004147RA (en) 2020-06-29
JP2025169358A (ja) 2025-11-12
CN111345004A (zh) 2020-06-26
US11575511B2 (en) 2023-02-07
JP2023182741A (ja) 2023-12-26
KR102869606B1 (ko) 2025-10-10
SG11202004153UA (en) 2020-06-29
JP2023075152A (ja) 2023-05-30
US20200266985A1 (en) 2020-08-20
CN117640170A (zh) 2024-03-01
CN111316594A (zh) 2020-06-19
JP2026035866A (ja) 2026-03-04
EP3707623A1 (en) 2020-09-16
EP4546718A2 (en) 2025-04-30
CN121333548A (zh) 2026-01-13
US20240313947A1 (en) 2024-09-19
TW201923648A (zh) 2019-06-16
TW201923567A (zh) 2019-06-16
KR20200086281A (ko) 2020-07-16

Similar Documents

Publication Publication Date Title
TWI837103B (zh) 電腦實施方法及系統
CN111919390B (zh) 用于算术电路的串行化的计算机实现的系统和方法
US20260129051A1 (en) Arithmetic enhancement of c-like smart contracts for verifiable computation
KR102960805B1 (ko) 검증 가능한 계산을 위한 c-형 스마트 계약의 산술 연산 강화
HK40103210A (zh) 用於可证实计算的类似c的智能合约的算术增强

Legal Events

Date Code Title Description
MM4A Annulment or lapse of patent due to non-payment of fees