GB201801753D0 - Computer-implemented system and method - Google Patents

Computer-implemented system and method

Info

Publication number
GB201801753D0
GB201801753D0 GBGB1801753.3A GB201801753A GB201801753D0 GB 201801753 D0 GB201801753 D0 GB 201801753D0 GB 201801753 A GB201801753 A GB 201801753A GB 201801753 D0 GB201801753 D0 GB 201801753D0
Authority
GB
United Kingdom
Prior art keywords
computer
implemented system
implemented
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Ceased
Application number
GBGB1801753.3A
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Nchain Holdings Ltd
Original Assignee
Nchain Holdings Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Nchain Holdings Ltd filed Critical Nchain Holdings Ltd
Priority to GBGB1801753.3A priority Critical patent/GB201801753D0/en
Publication of GB201801753D0 publication Critical patent/GB201801753D0/en
Priority to CN201880072678.7A priority patent/CN111345004B/en
Priority to EP18797157.7A priority patent/EP3707623A1/en
Priority to KR1020207014203A priority patent/KR20200080265A/en
Priority to CN202410422365.7A priority patent/CN118413305A/en
Priority to CN202311496467.5A priority patent/CN117640170A/en
Priority to SG11202004149UA priority patent/SG11202004149UA/en
Priority to KR1020207014209A priority patent/KR20200086284A/en
Priority to PCT/IB2018/058433 priority patent/WO2019092543A1/en
Priority to CN201880073019.5A priority patent/CN111345005A/en
Priority to SG11202004146WA priority patent/SG11202004146WA/en
Priority to SG11202004148PA priority patent/SG11202004148PA/en
Priority to JP2020524430A priority patent/JP7234229B2/en
Priority to PCT/IB2018/058434 priority patent/WO2019092544A1/en
Priority to EP23216404.6A priority patent/EP4312403A3/en
Priority to US16/762,475 priority patent/US11635950B2/en
Priority to JP2020524541A priority patent/JP7221954B2/en
Priority to EP22170376.2A priority patent/EP4092953A1/en
Priority to SG11202004147RA priority patent/SG11202004147RA/en
Priority to PCT/IB2018/058432 priority patent/WO2019092542A1/en
Priority to JP2020524517A priority patent/JP2021502636A/en
Priority to KR1020207014213A priority patent/KR20200079503A/en
Priority to EP18797158.5A priority patent/EP3707855A1/en
Priority to KR1020207014108A priority patent/KR20200086282A/en
Priority to JP2020524532A priority patent/JP7208989B2/en
Priority to US16/762,466 priority patent/US11575511B2/en
Priority to EP18796783.1A priority patent/EP3707852B1/en
Priority to US16/762,461 priority patent/US20210377041A1/en
Priority to EP18796782.3A priority patent/EP3707871B1/en
Priority to CN201880072801.5A priority patent/CN111316595B/en
Priority to US16/762,471 priority patent/US11658801B2/en
Priority to PCT/IB2018/058437 priority patent/WO2019092545A1/en
Priority to CN201880072692.7A priority patent/CN111406379A/en
Priority to PCT/IB2018/058583 priority patent/WO2019092561A1/en
Priority to KR1020207014106A priority patent/KR20200086281A/en
Priority to CN201880072729.6A priority patent/CN111316594A/en
Priority to JP2020524561A priority patent/JP2021502747A/en
Priority to SG11202004153UA priority patent/SG11202004153UA/en
Priority to EP18800333.9A priority patent/EP3707856A1/en
Priority to US16/762,490 priority patent/US20210192514A1/en
Priority to TW107139685A priority patent/TWI837103B/en
Priority to TW107139662A priority patent/TWI806918B/en
Priority to ZA2020/02575A priority patent/ZA202002575B/en
Priority to JP2023000947A priority patent/JP7572468B2/en
Priority to JP2023014319A priority patent/JP7534024B2/en
Priority to US18/105,672 priority patent/US20230269070A1/en
Priority to JP2023026258A priority patent/JP7477674B2/en
Priority to US18/130,373 priority patent/US20230318804A1/en
Priority to US18/134,276 priority patent/US20230318805A1/en
Priority to JP2023173507A priority patent/JP2023182741A/en
Priority to JP2023176820A priority patent/JP2023179687A/en
Priority to JP2024067707A priority patent/JP2024099659A/en
Priority to US18/667,910 priority patent/US20240313947A1/en
Ceased legal-status Critical Current

Links

GBGB1801753.3A 2017-11-09 2018-02-02 Computer-implemented system and method Ceased GB201801753D0 (en)

Priority Applications (53)

Application Number Priority Date Filing Date Title
GBGB1801753.3A GB201801753D0 (en) 2018-02-02 2018-02-02 Computer-implemented system and method
CN201880072678.7A CN111345004B (en) 2017-11-09 2018-10-29 System for simplifying executable instructions to optimize verifiable computing
EP18797157.7A EP3707623A1 (en) 2017-11-09 2018-10-29 System for simplifying executable instructions for optimised verifiable computation
KR1020207014203A KR20200080265A (en) 2017-11-09 2018-10-29 System for recording the confirmation key on the blockchain
CN202410422365.7A CN118413305A (en) 2017-11-09 2018-10-29 System for recording verification keys on blockchain
CN202311496467.5A CN117640170A (en) 2017-11-09 2018-10-29 System for simplifying executable instructions to optimize verifiable computing
SG11202004149UA SG11202004149UA (en) 2017-11-09 2018-10-29 Arithmetic enhancement of c-like smart contracts for verifiable computation
KR1020207014209A KR20200086284A (en) 2017-11-09 2018-10-29 System to simplify executable instructions for optimized verifiable calculations
PCT/IB2018/058433 WO2019092543A1 (en) 2017-11-09 2018-10-29 System for securing verification key from alteration and verifying validity of a proof of correctness
CN201880073019.5A CN111345005A (en) 2017-11-09 2018-10-29 System for recording verification key on block chain
SG11202004146WA SG11202004146WA (en) 2017-11-09 2018-10-29 System for simplifying executable instructions for optimised verifiable computation
SG11202004148PA SG11202004148PA (en) 2017-11-09 2018-10-29 System for recording verification keys on a blockchain
JP2020524430A JP7234229B2 (en) 2017-11-09 2018-10-29 A System for Simplifying Executable Instructions for Optimized Verifiable Computation
PCT/IB2018/058434 WO2019092544A1 (en) 2017-11-09 2018-10-29 System for recording verification keys on a blockchain
EP23216404.6A EP4312403A3 (en) 2017-11-09 2018-10-29 Arithmetic enhancement of c-like smart contracts for verifiable computation
US16/762,475 US11635950B2 (en) 2017-11-09 2018-10-29 Arithmetic enhancement of C-like smart contracts for verifiable computation
JP2020524541A JP7221954B2 (en) 2017-11-09 2018-10-29 A system for protecting verification keys from modification and validating proofs of correctness
EP22170376.2A EP4092953A1 (en) 2017-11-09 2018-10-29 System for recording verification keys on a blockchain
SG11202004147RA SG11202004147RA (en) 2017-11-09 2018-10-29 System for securing verification key from alteration and verifying validity of a proof of correctness
PCT/IB2018/058432 WO2019092542A1 (en) 2017-11-09 2018-10-29 System for simplifying executable instructions for optimised verifiable computation
JP2020524517A JP2021502636A (en) 2017-11-09 2018-10-29 Arithmetic enhancement of C-like smart contracts for verifiable calculations
KR1020207014213A KR20200079503A (en) 2017-11-09 2018-10-29 System for protecting validation keys from change and validating proof of accuracy
EP18797158.5A EP3707855A1 (en) 2017-11-09 2018-10-29 System for securing verification key from alteration and verifying validity of a proof of correctness
KR1020207014108A KR20200086282A (en) 2017-11-09 2018-10-29 Enhanced arithmetic operations in C-type smart contracts for verifiable calculations
JP2020524532A JP7208989B2 (en) 2017-11-09 2018-10-29 A system for recording verification keys on the blockchain
US16/762,466 US11575511B2 (en) 2017-11-09 2018-10-29 System for simplifying executable instructions for optimised verifiable computation
EP18796783.1A EP3707852B1 (en) 2017-11-09 2018-10-29 Arithmetic enhancement of c-like smart contracts for verifiable computation
US16/762,461 US20210377041A1 (en) 2017-11-09 2018-10-29 System for recording verification keys on a blockchain
EP18796782.3A EP3707871B1 (en) 2017-11-09 2018-10-29 System for recording verification keys on a blockchain
CN201880072801.5A CN111316595B (en) 2017-11-09 2018-10-29 System for protecting a verification key from alteration and verifying validity of a proof of correctness
US16/762,471 US11658801B2 (en) 2017-11-09 2018-10-29 System for securing verification key from alteration and verifying validity of a proof of correctness
PCT/IB2018/058437 WO2019092545A1 (en) 2017-11-09 2018-10-29 Arithmetic enhancement of c-like smart contracts for verifiable computation
CN201880072692.7A CN111406379A (en) 2017-11-09 2018-10-29 Arithmetic enhancement of C-like intelligent contracts for verifiable computing
PCT/IB2018/058583 WO2019092561A1 (en) 2017-11-09 2018-11-01 Distributed computing system and method
KR1020207014106A KR20200086281A (en) 2017-11-09 2018-11-01 Distributed computing system and method
CN201880072729.6A CN111316594A (en) 2017-11-09 2018-11-01 Distributed computing system and method
JP2020524561A JP2021502747A (en) 2017-11-09 2018-11-01 Distributed computing systems and methods
SG11202004153UA SG11202004153UA (en) 2017-11-09 2018-11-01 Distributed computing system and method
EP18800333.9A EP3707856A1 (en) 2017-11-09 2018-11-01 Distributed computing system and method
US16/762,490 US20210192514A1 (en) 2017-11-09 2018-11-01 Distributed computing system and method
TW107139685A TWI837103B (en) 2017-11-09 2018-11-08 Computer-implemented method and system
TW107139662A TWI806918B (en) 2017-11-09 2018-11-08 System for simplifying executable instructions for optimised verifiable computation and related method and storage medium
ZA2020/02575A ZA202002575B (en) 2017-11-09 2020-05-08 System for recording verification keys on a blockchain
JP2023000947A JP7572468B2 (en) 2017-11-09 2023-01-06 A system for recording verification keys on a blockchain
JP2023014319A JP7534024B2 (en) 2017-11-09 2023-02-02 A system for protecting verification keys from modification and for verifying proofs of correctness
US18/105,672 US20230269070A1 (en) 2017-11-09 2023-02-03 System for simplifying executable instructions for optimised verifiable computation
JP2023026258A JP7477674B2 (en) 2017-11-09 2023-02-22 System for simplifying executable instructions for optimized verifiable computation - Patents.com
US18/130,373 US20230318804A1 (en) 2017-11-09 2023-04-03 Arithmetic enhancement of c-like smart contracts for verifiable computation
US18/134,276 US20230318805A1 (en) 2017-11-09 2023-04-13 System for securing verification key from alteration and verifying validity of a proof of correctness
JP2023173507A JP2023182741A (en) 2017-11-09 2023-10-05 Arithmetic enhancement of c-like smart contracts for verifiable computation
JP2023176820A JP2023179687A (en) 2017-11-09 2023-10-12 Distributed computing system and method
JP2024067707A JP2024099659A (en) 2017-11-09 2024-04-18 System for simplifying executable instructions for optimized verifiable computation
US18/667,910 US20240313947A1 (en) 2017-11-09 2024-05-17 System for securing verification key from alteration and verifying validity of a proof of correctness

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
GBGB1801753.3A GB201801753D0 (en) 2018-02-02 2018-02-02 Computer-implemented system and method

Publications (1)

Publication Number Publication Date
GB201801753D0 true GB201801753D0 (en) 2018-03-21

Family

ID=61730924

Family Applications (1)

Application Number Title Priority Date Filing Date
GBGB1801753.3A Ceased GB201801753D0 (en) 2017-11-09 2018-02-02 Computer-implemented system and method

Country Status (1)

Country Link
GB (1) GB201801753D0 (en)

Similar Documents

Publication Publication Date Title
GB201806112D0 (en) Computer-implemented system and method
GB201707788D0 (en) Computer-implemented system and method
GB201919298D0 (en) Computer-implemented system and method
GB201701592D0 (en) Computer-implemented system and method
GB201803706D0 (en) Computer-implemented system and method
GB201808493D0 (en) Computer-Implemented System and Method
GB201703562D0 (en) Computer-implemented system and method
GB201802347D0 (en) Computer-implemented system and method
GB201815816D0 (en) Computer-implemented system and method
GB201912068D0 (en) Computer-implemented system and method
GB201918729D0 (en) Computer-implemented system and method
GB201802148D0 (en) Computer-implemented system and method
GB201800818D0 (en) Computer-implemented system and method
GB201816936D0 (en) Computer-implemented system and method
GB201807835D0 (en) Computer-implemented system and method
GB201820947D0 (en) Computer-implemented system and method
GB201909960D0 (en) Computer-implemented system and method
GB201811968D0 (en) Computer-implemented System and Method
GB201811672D0 (en) Computer-implemented system and method
GB201907180D0 (en) Computer-implemented system and method
GB201906893D0 (en) Computer-Implemented system and method
GB201804479D0 (en) Computer-implemented system and method
GB201913667D0 (en) Computer-implemented system and method
GB201910621D0 (en) Computer-implemented system and method
GB201901391D0 (en) Computer-implemented system and method

Legal Events

Date Code Title Description
AT Applications terminated before publication under section 16(1)