SG11201903387RA - Systems and methods for implementing deterministic finite automata (dfas) via a blockchain - Google Patents

Systems and methods for implementing deterministic finite automata (dfas) via a blockchain

Info

Publication number
SG11201903387RA
SG11201903387RA SG11201903387RA SG11201903387RA SG11201903387RA SG 11201903387R A SG11201903387R A SG 11201903387RA SG 11201903387R A SG11201903387R A SG 11201903387RA SG 11201903387R A SG11201903387R A SG 11201903387RA SG 11201903387R A SG11201903387R A SG 11201903387RA
Authority
SG
Singapore
Prior art keywords
blockchain
international
october
machine
churchill
Prior art date
Application number
SG11201903387RA
Inventor
Craig Steven Wright
Pedro Jimenez-Delgado
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 GBGB1618234.7A external-priority patent/GB201618234D0/en
Priority claimed from GBGB1618235.4A external-priority patent/GB201618235D0/en
Priority claimed from GBGB1618233.9A external-priority patent/GB201618233D0/en
Application filed by Nchain Holdings Ltd filed Critical Nchain Holdings Ltd
Publication of SG11201903387RA publication Critical patent/SG11201903387RA/en

Links

Classifications

    • 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/448—Execution paradigms, e.g. implementations of programming paradigms
    • 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/448—Execution paradigms, e.g. implementations of programming paradigms
    • G06F9/4498—Finite state machines
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/27—Replication, distribution or synchronisation of data between databases or within a distributed database system; Distributed database system architectures therefor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q20/00—Payment architectures, schemes or protocols
    • G06Q20/38—Payment protocols; Details thereof
    • G06Q20/389—Keeping log of transactions for guaranteeing non-repudiation of a transaction
    • 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/1408—Network architectures or network communication protocols for network security for detecting or protecting against malicious traffic by monitoring network traffic
    • H04L63/1416—Event detection, e.g. attack signature detection
    • 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]

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Business, Economics & Management (AREA)
  • Computer Security & Cryptography (AREA)
  • Accounting & Taxation (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Signal Processing (AREA)
  • Databases & Information Systems (AREA)
  • Computing Systems (AREA)
  • Finance (AREA)
  • General Business, Economics & Management (AREA)
  • Strategic Management (AREA)
  • Computer Hardware Design (AREA)
  • Data Mining & Analysis (AREA)
  • Financial Or Insurance-Related Operations Such As Payment And Settlement (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Complex Calculations (AREA)
  • Chair Legs, Seat Parts, And Backrests (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Signal Processing For Digital Recording And Reproducing (AREA)
  • Compression Or Coding Systems Of Tv Signals (AREA)

Abstract

INTERNATIONAL APPLICATION PUBLISHED UNDER THE PATENT COOPERATION TREATY (PCT) (19) World Intellectual Property :::` , MD HIM 0 11101 HOE 3E1 0 01111011111111101111011E011 OEN Organization International Bureau (10) International Publication Number 03 (43) International Publication Date .....•\"\"- WO 2018/078584 Al 03 May 2018 (03.05.2018) WIP0 I PCT (51) International Patent Classification: (72) Inventors: WRIGHT, Craig Steven; C/o Urquhart-Dykes GOOF 9 / 4 4 (2018.01) & Lord LLP, 7th Floor Churchill House, Churchill Way, (21) International Application Number: Cardiff CF10 2HH (GB). JIMENEZ-DELGADO, Pedro; PCT/IB2017/056696 C/o Urquhart-Dykes & Lord LLP, 7th Floor Churchill House, Churchill Way, Cardiff CF10 2HH (GB). (22) International Filing Date: (81) Designated States (unless otherwise indicated, for every 27 October 2017 (27.10.2017) kind of national protection available): AE, AG, AL, AM, (25) Filing Language: English AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, (26) Publication Language: English CA, CH, CL, CN, CO, CR, CU, CZ, DE, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, (30) Priority Data: HR, HU, ID, IL, IN, IR, IS, JO, JP, KE, KG, KH, KN, KP, 1618233.9 28 October 2016 (28.10.2016) GB KR, KW, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, 1618234.7 28 October 2016 (28.10.2016) GB MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, 1618235.4 28 October 2016 (28.10.2016) GB OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, (71) Applicant: NCHAIN HOLDINGS LIMITED [AG/AG]; TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW. Fitzgerald House, 44 Church Street, St. John's (AG). (54) Title: SYSTEMS AND METHODS FOR IMPLEMENTING DETERMINISTIC FINITE AUTOMATA (DFAS) VIA A _ BLOCKCHAIN = — FIGURE 1 2 = _ Blockchain DFA = ):- . 6/ ' ' ' ) •s. 4 Agen 4„ . o u a c ., o , , .•••• = ' '<i• 4- 4 e ee 4- • q> \"ie o Agent 6, , ,, = 0 0 , 0 4, • World = N . Agen t = = = = DHT Il 1 71 - (57) : The invention relates to a technique for implementing, controlling and automating a task or process on a blockchain such = in as, but not limited to, the Bitcoin blockchain. The invention is particularly suited for, but not limited to, automated execution of contracts 00 such as smart contracts for financial agreements. However, other types of tasks and non-fmancial contracts can be implemented. The IN invention can be viewed as the implementation or incarnation of a state machine or DFA on a blockchain by using the unspent outputs of 0 ---, blockchain Transactions to represents the states of the machine, and spending of those outputs as the transition of the machine from one GC state to another. The invention provides a technical realisation and implementation of a mathematical model of computation conceived 1-1 C as an abstract machine that can be in one of a fmite set of states, and can change from one state to another (transition) when a triggering ei event of a fmite set (called input) occurs. The invention comprises compilation and codification techniques for the DFA implementation. C [Continued on next page] WO 2018/078584 Al MIDEDIMOMOIDEIREIDIONOMBIONOHINVOIS (84) Designated States (unless otherwise indicated, for every kind of regional protection available): ARIPO (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW), Eurasian (AM, AZ, BY, KG, KZ, RU, TJ, TM), European (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR), OAPI (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG). Published: — with international search report (Art. 21(3))
SG11201903387RA 2016-10-28 2017-10-27 Systems and methods for implementing deterministic finite automata (dfas) via a blockchain SG11201903387RA (en)

Applications Claiming Priority (4)

Application Number Priority Date Filing Date Title
GBGB1618234.7A GB201618234D0 (en) 2016-10-28 2016-10-28 Computer-implemented system and method
GBGB1618235.4A GB201618235D0 (en) 2016-10-28 2016-10-28 Computer-implemented system and method
GBGB1618233.9A GB201618233D0 (en) 2016-10-28 2016-10-28 Computer-implemented system and method
PCT/IB2017/056696 WO2018078584A1 (en) 2016-10-28 2017-10-27 Systems and methods for implementing deterministic finite automata (dfas) via a blockchain

Publications (1)

Publication Number Publication Date
SG11201903387RA true SG11201903387RA (en) 2019-05-30

Family

ID=60320936

Family Applications (1)

Application Number Title Priority Date Filing Date
SG11201903387RA SG11201903387RA (en) 2016-10-28 2017-10-27 Systems and methods for implementing deterministic finite automata (dfas) via a blockchain

Country Status (10)

Country Link
US (1) US20190279197A1 (en)
EP (2) EP4068085A1 (en)
JP (4) JP6646764B2 (en)
KR (3) KR20240027155A (en)
CN (2) CN109923521A (en)
AU (2) AU2017349752B2 (en)
SG (1) SG11201903387RA (en)
TW (1) TWI816647B (en)
WO (1) WO2018078584A1 (en)
ZA (1) ZA201902686B (en)

Families Citing this family (30)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20190279197A1 (en) * 2016-10-28 2019-09-12 nChain Holdings Limited Systems and methods for implementing deterministic finite automata (dfas) via a blockchain
JP7254701B2 (en) * 2017-01-31 2023-04-10 エヌチェーン ライセンシング アーゲー Computer-implemented system and method for generating and extracting user-related data stored on a blockchain
US11474837B2 (en) 2018-04-09 2022-10-18 Advanced New Technologies Co., Ltd. Method and apparatus for efficient programming of electronic payment processing
CN108764864A (en) * 2018-04-09 2018-11-06 阿里巴巴集团控股有限公司 A kind of method, apparatus and equipment for configuring payment flow, executing payment flow
CN108664650B (en) 2018-05-17 2020-05-22 百度在线网络技术（北京）有限公司 Transaction processing method, device, equipment and storage medium of block chain network
CN108712263B (en) * 2018-06-11 2021-05-25 北京京东尚科信息技术有限公司 Information verification method, device, system and computer readable storage medium
CN110659110B (en) * 2018-06-28 2021-12-03 本无链科技(深圳)有限公司 Block chain based distributed computing method and system
CN109146679B (en) 2018-06-29 2023-11-10 创新先进技术有限公司 Intelligent contract calling method and device based on block chain and electronic equipment
US20210194890A1 (en) 2018-09-14 2021-06-24 Telefonaktiebolaget Lm Ericsson (Publ) In a distributed computing system with untrusted entities method and apparatus for enabling coordinated executions of actions
US11474854B2 (en) * 2018-10-30 2022-10-18 International Business Machines Corporation Transformation of inter-organization process for execution via blockchain
EP3874432B1 (en) 2018-10-31 2023-09-20 Commonwealth Scientific and Industrial Research Organisation Monitoring a manufacturing process
ES2880455T3 (en) * 2018-11-27 2021-11-24 Advanced New Technologies Co Ltd Function as a service (FAAS) platform in chain networks
US11303454B2 (en) 2018-11-28 2022-04-12 International Business Machines Corporation Producing and verifying computational determinations using a distributed ledger
US11139980B2 (en) 2018-11-28 2021-10-05 International Business Machines Corporation Immutably storing computational determinations using distributed ledgers
CN110060112A (en) * 2018-12-13 2019-07-26 阿里巴巴集团控股有限公司 Invoice creation method and device, electronic equipment based on block chain
EP3767514A1 (en) * 2019-06-26 2021-01-20 Indian Institute of Technology Bombay Method for scaling computation in blockchain by delaying transaction execution
WO2019170174A2 (en) 2019-06-27 2019-09-12 Alibaba Group Holding Limited Implementing a blockchain-based workflow
CN110473095A (en) * 2019-07-31 2019-11-19 阿里巴巴集团控股有限公司 Bill state method for pushing and device, electronic equipment, storage medium based on block chain
CN110458538B (en) * 2019-07-31 2021-09-24 创新先进技术有限公司 State machine maintenance method and device based on block chain, electronic equipment and storage medium
KR102386921B1 (en) * 2019-09-30 2022-04-20 주식회사 미버스랩스 Computer-readable recording medium that recorded block data
TWI707573B (en) * 2019-11-14 2020-10-11 財團法人資訊工業策進會 Apparatus for adding data to blockchain, data verification apparatus, and data verification method
US11544252B2 (en) * 2019-12-17 2023-01-03 Akamai Technologies, Inc. High performance distributed system of record with extended transaction processing capability
KR20220143879A (en) * 2020-02-19 2022-10-25 엔체인 라이센싱 아게 Platform service validation
GB202002305D0 (en) 2020-02-19 2020-04-01 Nchain Holdings Ltd Smart contracts
US20220374974A1 (en) * 2021-05-24 2022-11-24 International Business Machines Corporation Securely paying for stored energy
CN113780779A (en) * 2021-08-31 2021-12-10 杭州协能科技股份有限公司 Data state control method and system and echelon battery data state control method
WO2023148042A1 (en) 2022-02-07 2023-08-10 Nchain Licensing Ag Blockchain based privacy enhanced outsourced data storage
GB2622241A (en) * 2022-09-08 2024-03-13 Nchain Licensing Ag Blockchain state machine
GB2622240A (en) * 2022-09-08 2024-03-13 Nchain Licensing Ag Blockchain state machine
CN115801020B (en) * 2023-02-13 2023-04-11 鹏城实验室 Definite finite state automaton compression method, matching method, device and medium

Family Cites Families (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB2443240B (en) * 2006-10-27 2009-05-06 3Com Corp Signature checking using deterministic finite state machines
US8707252B1 (en) * 2008-09-03 2014-04-22 Emc Corporation Techniques for automatic generation of parsing code
US10338558B2 (en) * 2014-10-17 2019-07-02 21, Inc. Sequential logic circuitry with reduced dynamic power consumption
US20160292680A1 (en) * 2015-04-05 2016-10-06 Digital Asset Holdings Digital asset intermediary electronic settlement platform
US9397985B1 (en) * 2015-04-14 2016-07-19 Manifold Technology, Inc. System and method for providing a cryptographic platform for exchanging information
CN105809062B (en) * 2016-03-01 2019-01-25 布比（北京）网络技术有限公司 A kind of building of contract executes method and device
US11170371B2 (en) * 2016-03-03 2021-11-09 Nec Corporation Method for managing data in a network of nodes
CN105893042A (en) * 2016-03-31 2016-08-24 北京航空航天大学 Intelligent contract implementation method based on block chain
GB201607477D0 (en) * 2016-04-29 2016-06-15 Eitc Holdings Ltd A method and system for controlling the performance of a contract using a distributed hash table and a peer to peer distributed ledger
US20190279197A1 (en) * 2016-10-28 2019-09-12 nChain Holdings Limited Systems and methods for implementing deterministic finite automata (dfas) via a blockchain

Also Published As

Publication number Publication date
JP2020080158A (en) 2020-05-28
AU2017349752A1 (en) 2019-05-23
AU2022252826A1 (en) 2022-11-10
WO2018078584A1 (en) 2018-05-03
KR20240027155A (en) 2024-02-29
CN116627545A (en) 2023-08-22
JP6646764B2 (en) 2020-02-14
TW201820241A (en) 2018-06-01
AU2017349752B2 (en) 2022-11-10
KR102427013B1 (en) 2022-07-29
JP7387781B2 (en) 2023-11-28
EP3532924A1 (en) 2019-09-04
TWI816647B (en) 2023-10-01
US20190279197A1 (en) 2019-09-12
KR20220108214A (en) 2022-08-02
JP2019522264A (en) 2019-08-08
JP2024023300A (en) 2024-02-21
EP4068085A1 (en) 2022-10-05
KR20190071778A (en) 2019-06-24
CN109923521A (en) 2019-06-21
KR102639537B1 (en) 2024-02-23
ZA201902686B (en) 2020-12-23
JP2022071122A (en) 2022-05-13
EP3532924B1 (en) 2022-02-09
JP7036844B2 (en) 2022-03-15

Similar Documents

Publication Publication Date Title
SG11201903387RA (en) Systems and methods for implementing deterministic finite automata (dfas) via a blockchain
SG11201806781SA (en) Registry and automated management method for blockchain-enforced smart contracts
SG11201809115RA (en) Implementing logic gate functionality using a blockchain
SG11201806780PA (en) Agent-based turing complete transactions integrating feedback within a blockchain system
SG11201809117QA (en) Operating system for blockchain iot devices
SG11201806785YA (en) Tokenisation method and system for implementing exchanges on a blockchain
SG11201904942YA (en) Blockchain-based service execution method and apparatus, and electronic device
SG11201903631XA (en) Neural network instruction set architecture
SG11201809467UA (en) Digital asset modeling
SG11201806712RA (en) A method and system for securing computer software using a distributed hash table and a blockchain
SG11201809584XA (en) A method and system for verifying ownership of a digital asset using a distributed hash table and a peer-to-peer distributed ledger
SG11201804807VA (en) Computer architecture and method for modifying data intake parameters based on a predictive model
SG11201906372PA (en) Computer-implemented system and method for generating and extracting user related data stored on a blockchain
SG11201806784UA (en) System and method for controlling asset-related actions via a blockchain
SG11201901180WA (en) Systems and methods for providing identity assurance for decentralized applications
SG11201811071VA (en) Blockchain-implemented method and system
SG11201808758TA (en) A method and system for controlling the performance of a contract using a distributed hash table and a peer-to-peer distributed ledger
SG11201903787YA (en) Exploiting input data sparsity in neural network compute units
SG11201903092WA (en) Financial management systems and methods
SG11201908756SA (en) System and method for distributing data records using a blockchain
SG11201811008RA (en) A blockchain-implemented control method and system for controlling an external process or system
SG11201901006RA (en) Systems and methods for enhanced organizational transparency using a credit chain
SG11201908675PA (en) Computer-implemented system and method for performing transaction mixing on a blockchain
SG11201811007TA (en) Blockchain-implemented method and system
SG11201804327TA (en) Dual memory introspection for securing multiple network endpoints