GB201806444D0 - Computer-implemented system and method - Google Patents

Computer-implemented system and method

Info

Publication number
GB201806444D0
GB201806444D0 GBGB1806444.4A GB201806444A GB201806444D0 GB 201806444 D0 GB201806444 D0 GB 201806444D0 GB 201806444 A GB201806444 A GB 201806444A GB 201806444 D0 GB201806444 D0 GB 201806444D0
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
GBGB1806444.4A
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 GBGB1806444.4A priority Critical patent/GB201806444D0/en
Publication of GB201806444D0 publication Critical patent/GB201806444D0/en
Priority to JP2020524517A priority patent/JP2021502636A/en
Priority to KR1020207014213A priority patent/KR20200079503A/en
Priority to CN201880072692.7A priority patent/CN111406379A/en
Priority to JP2020524541A priority patent/JP7221954B2/en
Priority to US16/762,471 priority patent/US11658801B2/en
Priority to PCT/IB2018/058434 priority patent/WO2019092544A1/en
Priority to EP18796782.3A priority patent/EP3707871B1/en
Priority to EP18797158.5A priority patent/EP3707855A1/en
Priority to US16/762,475 priority patent/US11635950B2/en
Priority to CN201880073019.5A priority patent/CN111345005A/en
Priority to KR1020207014108A priority patent/KR20200086282A/en
Priority to SG11202004148PA priority patent/SG11202004148PA/en
Priority to JP2020524430A priority patent/JP7234229B2/en
Priority to EP18796783.1A priority patent/EP3707852A1/en
Priority to PCT/IB2018/058432 priority patent/WO2019092542A1/en
Priority to SG11202004149UA priority patent/SG11202004149UA/en
Priority to EP22170376.2A priority patent/EP4092953A1/en
Priority to EP18797157.7A priority patent/EP3707623A1/en
Priority to US16/762,466 priority patent/US11575511B2/en
Priority to CN201880072801.5A priority patent/CN111316595A/en
Priority to KR1020207014203A priority patent/KR20200080265A/en
Priority to PCT/IB2018/058433 priority patent/WO2019092543A1/en
Priority to PCT/IB2018/058437 priority patent/WO2019092545A1/en
Priority to SG11202004146WA priority patent/SG11202004146WA/en
Priority to CN201880072678.7A priority patent/CN111345004B/en
Priority to KR1020207014209A priority patent/KR20200086284A/en
Priority to SG11202004147RA priority patent/SG11202004147RA/en
Priority to JP2020524532A priority patent/JP7208989B2/en
Priority to EP23216404.6A priority patent/EP4312403A3/en
Priority to CN202311496467.5A priority patent/CN117640170A/en
Priority to US16/762,461 priority patent/US20210377041A1/en
Priority to PCT/IB2018/058491 priority patent/WO2019092552A1/en
Priority to CN201880072773.7A priority patent/CN111316615B/en
Priority to JP2020524628A priority patent/JP7208990B2/en
Priority to KR1020207014130A priority patent/KR20200080263A/en
Priority to EP18800331.3A priority patent/EP3707872A1/en
Priority to SG11202004150XA priority patent/SG11202004150XA/en
Priority to US16/762,487 priority patent/US11546162B2/en
Priority to SG11202004153UA priority patent/SG11202004153UA/en
Priority to EP18800333.9A priority patent/EP3707856A1/en
Priority to CN201880072729.6A priority patent/CN111316594A/en
Priority to KR1020207014106A priority patent/KR20200086281A/en
Priority to US16/762,490 priority patent/US20210192514A1/en
Priority to JP2020524561A priority patent/JP2021502747A/en
Priority to PCT/IB2018/058583 priority patent/WO2019092561A1/en
Priority to TW107139662A priority patent/TWI806918B/en
Priority to TW107139703A priority patent/TWI770307B/en
Priority to TW107139685A priority patent/TWI837103B/en
Priority to ZA2020/02575A priority patent/ZA202002575B/en
Priority to US18/091,193 priority patent/US20230216833A1/en
Priority to JP2023001009A priority patent/JP2023036963A/en
Priority to JP2023000947A priority patent/JP2023036962A/en
Priority to JP2023014319A priority patent/JP2023052834A/en
Priority to US18/105,672 priority patent/US20230269070A1/en
Priority to JP2023026258A priority patent/JP2023075152A/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
Ceased legal-status Critical Current

Links

GBGB1806444.4A 2017-11-09 2018-04-20 Computer-implemented system and method Ceased GB201806444D0 (en)

Priority Applications (60)

Application Number Priority Date Filing Date Title
GBGB1806444.4A GB201806444D0 (en) 2018-04-20 2018-04-20 Computer-implemented system and method
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
CN201880072692.7A CN111406379A (en) 2017-11-09 2018-10-29 Arithmetic enhancement of C-like intelligent contracts for verifiable computing
JP2020524541A JP7221954B2 (en) 2017-11-09 2018-10-29 A system for protecting verification keys from modification and validating proofs 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/058434 WO2019092544A1 (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
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
US16/762,475 US11635950B2 (en) 2017-11-09 2018-10-29 Arithmetic enhancement of C-like smart contracts for verifiable computation
CN201880073019.5A CN111345005A (en) 2017-11-09 2018-10-29 System for recording verification key on block chain
KR1020207014108A KR20200086282A (en) 2017-11-09 2018-10-29 Enhanced arithmetic operations in C-type smart contracts for verifiable calculations
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
EP18796783.1A EP3707852A1 (en) 2017-11-09 2018-10-29 Arithmetic enhancement of c-like smart contracts for verifiable computation
PCT/IB2018/058432 WO2019092542A1 (en) 2017-11-09 2018-10-29 System for simplifying executable instructions for optimised verifiable computation
SG11202004149UA SG11202004149UA (en) 2017-11-09 2018-10-29 Arithmetic enhancement of c-like smart contracts for verifiable computation
EP22170376.2A EP4092953A1 (en) 2017-11-09 2018-10-29 System for recording verification keys on a blockchain
EP18797157.7A EP3707623A1 (en) 2017-11-09 2018-10-29 System for simplifying executable instructions for optimised verifiable computation
US16/762,466 US11575511B2 (en) 2017-11-09 2018-10-29 System for simplifying executable instructions for optimised verifiable computation
CN201880072801.5A CN111316595A (en) 2017-11-09 2018-10-29 System for protecting a verification key from alteration and verifying the validity of a proof of correctness
KR1020207014203A KR20200080265A (en) 2017-11-09 2018-10-29 System for recording the confirmation key on the blockchain
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
PCT/IB2018/058437 WO2019092545A1 (en) 2017-11-09 2018-10-29 Arithmetic enhancement of c-like smart contracts for verifiable computation
SG11202004146WA SG11202004146WA (en) 2017-11-09 2018-10-29 System for simplifying executable instructions for optimised verifiable computation
CN201880072678.7A CN111345004B (en) 2017-11-09 2018-10-29 System for simplifying executable instructions to optimize verifiable computing
KR1020207014209A KR20200086284A (en) 2017-11-09 2018-10-29 System to simplify executable instructions for optimized verifiable calculations
SG11202004147RA SG11202004147RA (en) 2017-11-09 2018-10-29 System for securing verification key from alteration and verifying validity of a proof of correctness
JP2020524532A JP7208989B2 (en) 2017-11-09 2018-10-29 A system for recording verification keys on the blockchain
EP23216404.6A EP4312403A3 (en) 2017-11-09 2018-10-29 Arithmetic enhancement of c-like smart contracts for verifiable computation
CN202311496467.5A CN117640170A (en) 2017-11-09 2018-10-29 System for simplifying executable instructions to optimize verifiable computing
US16/762,461 US20210377041A1 (en) 2017-11-09 2018-10-29 System for recording verification keys on a blockchain
PCT/IB2018/058491 WO2019092552A1 (en) 2017-11-09 2018-10-30 Systems and methods for ensuring correct execution of computer program using a mediator computer system
CN201880072773.7A CN111316615B (en) 2017-11-09 2018-10-30 System and method for ensuring correct execution of a computer program using a mediator computer system
JP2020524628A JP7208990B2 (en) 2017-11-09 2018-10-30 Systems and methods for ensuring correct execution of computer programs using mediator computer systems
KR1020207014130A KR20200080263A (en) 2017-11-09 2018-10-30 Systems and methods for ensuring the correct execution of computer programs using mediator computer systems
EP18800331.3A EP3707872A1 (en) 2017-11-09 2018-10-30 Systems and methods for ensuring correct execution of computer program using a mediator computer system
SG11202004150XA SG11202004150XA (en) 2017-11-09 2018-10-30 Systems and methods for ensuring correct execution of computer program using a mediator computer system
US16/762,487 US11546162B2 (en) 2017-11-09 2018-10-30 Systems and methods for ensuring correct execution of computer program using a mediator computer system
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
CN201880072729.6A CN111316594A (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
US16/762,490 US20210192514A1 (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
PCT/IB2018/058583 WO2019092561A1 (en) 2017-11-09 2018-11-01 Distributed computing system and method
TW107139662A TWI806918B (en) 2017-11-09 2018-11-08 System for simplifying executable instructions for optimised verifiable computation and related method and storage medium
TW107139703A TWI770307B (en) 2017-11-09 2018-11-08 Systems and methods for ensuring correct execution of computer program using a mediator computer system
TW107139685A TWI837103B (en) 2017-11-09 2018-11-08 Computer-implemented method and system
ZA2020/02575A ZA202002575B (en) 2017-11-09 2020-05-08 System for recording verification keys on a blockchain
US18/091,193 US20230216833A1 (en) 2017-11-09 2022-12-29 Systems and methods for ensuring correct execution of computer program using a mediator computer system
JP2023001009A JP2023036963A (en) 2017-11-09 2023-01-06 System and method for ensuring correct execution of computer program using mediator computer system
JP2023000947A JP2023036962A (en) 2017-11-09 2023-01-06 System for recording verification key on blockchain
JP2023014319A JP2023052834A (en) 2017-11-09 2023-02-02 System for securing verification key from alternation and verifying validity of proof of correctness
US18/105,672 US20230269070A1 (en) 2017-11-09 2023-02-03 System for simplifying executable instructions for optimised verifiable computation
JP2023026258A JP2023075152A (en) 2017-11-09 2023-02-22 System for simplifying executable instructions for optimized verifiable computation
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

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
GBGB1806444.4A GB201806444D0 (en) 2018-04-20 2018-04-20 Computer-implemented system and method

Publications (1)

Publication Number Publication Date
GB201806444D0 true GB201806444D0 (en) 2018-06-06

Family

ID=62236129

Family Applications (1)

Application Number Title Priority Date Filing Date
GBGB1806444.4A Ceased GB201806444D0 (en) 2017-11-09 2018-04-20 Computer-implemented system and method

Country Status (1)

Country Link
GB (1) GB201806444D0 (en)

Similar Documents

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

Legal Events

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