SYSTEMS AND METHODS FOR IMPLEMENTING DETERMINISTIC FINITE AUTOMATA (DFAS) VIA A BLOCKCHAIN

摘要

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))