GB201718505D0 - Computer-implemented system and method - Google Patents

Computer-implemented system and method

Info

Publication number
GB201718505D0
GB201718505D0 GBGB1718505.9A GB201718505A GB201718505D0 GB 201718505 D0 GB201718505 D0 GB 201718505D0 GB 201718505 A GB201718505 A GB 201718505A GB 201718505 D0 GB201718505 D0 GB 201718505D0
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
GBGB1718505.9A
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 GBGB1718505.9A priority Critical patent/GB201718505D0/en
Publication of GB201718505D0 publication Critical patent/GB201718505D0/en
Priority to EP22170376.2A priority patent/EP4092953A1/en
Priority to CN201880072692.7A priority patent/CN111406379A/en
Priority to PCT/IB2018/058432 priority patent/WO2019092542A1/en
Priority to CN201880072801.5A priority patent/CN111316595B/en
Priority to EP18796783.1A priority patent/EP3707852B1/en
Priority to KR1020207014203A priority patent/KR20200080265A/en
Priority to SG11202004149UA priority patent/SG11202004149UA/en
Priority to EP18797157.7A priority patent/EP3707623A1/en
Priority to US16/762,461 priority patent/US20210377041A1/en
Priority to US16/762,471 priority patent/US11658801B2/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 JP2020524541A priority patent/JP7221954B2/en
Priority to JP2020524430A priority patent/JP7234229B2/en
Priority to PCT/IB2018/058437 priority patent/WO2019092545A1/en
Priority to US16/762,466 priority patent/US11575511B2/en
Priority to PCT/IB2018/058434 priority patent/WO2019092544A1/en
Priority to EP18796782.3A priority patent/EP3707871B1/en
Priority to EP23216404.6A priority patent/EP4312403A3/en
Priority to US16/762,475 priority patent/US11635950B2/en
Priority to SG11202004148PA priority patent/SG11202004148PA/en
Priority to CN202410422365.7A priority patent/CN118413305A/en
Priority to CN202311496467.5A priority patent/CN117640170A/en
Priority to KR1020207014213A priority patent/KR20200079503A/en
Priority to CN201880072678.7A priority patent/CN111345004B/en
Priority to JP2020524517A priority patent/JP2021502636A/en
Priority to KR1020207014108A priority patent/KR20200086282A/en
Priority to SG11202004147RA priority patent/SG11202004147RA/en
Priority to EP18797158.5A priority patent/EP3707855A1/en
Priority to JP2020524532A priority patent/JP7208989B2/en
Priority to CN201880072773.7A priority patent/CN111316615B/en
Priority to PCT/IB2018/058491 priority patent/WO2019092552A1/en
Priority to KR1020207014130A priority patent/KR20200080263A/en
Priority to EP24175020.7A priority patent/EP4395229A1/en
Priority to SG11202004150XA priority patent/SG11202004150XA/en
Priority to US16/762,487 priority patent/US11546162B2/en
Priority to CN202410094181.2A priority patent/CN118041602A/en
Priority to EP18800331.3A priority patent/EP3707872B1/en
Priority to JP2020524628A priority patent/JP7208990B2/en
Priority to CN201880072729.6A priority patent/CN111316594A/en
Priority to KR1020207014106A priority patent/KR20200086281A/en
Priority to PCT/IB2018/058583 priority patent/WO2019092561A1/en
Priority to SG11202004153UA priority patent/SG11202004153UA/en
Priority to EP18800333.9A priority patent/EP3707856A1/en
Priority to JP2020524561A priority patent/JP2021502747A/en
Priority to US16/762,490 priority patent/US20210192514A1/en
Priority to TW107139685A priority patent/TWI837103B/en
Priority to TW107139703A priority patent/TWI770307B/en
Priority to TW107139662A priority patent/TWI806918B/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/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

GBGB1718505.9A 2017-11-09 2017-11-09 Computer-implemented system and method Ceased GB201718505D0 (en)

Priority Applications (65)

Application Number Priority Date Filing Date Title
GBGB1718505.9A GB201718505D0 (en) 2017-11-09 2017-11-09 Computer-implemented system and method
EP22170376.2A EP4092953A1 (en) 2017-11-09 2018-10-29 System for recording verification keys on a blockchain
CN201880072692.7A CN111406379A (en) 2017-11-09 2018-10-29 Arithmetic enhancement of C-like intelligent contracts for verifiable computing
PCT/IB2018/058432 WO2019092542A1 (en) 2017-11-09 2018-10-29 System for simplifying executable instructions for optimised verifiable computation
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
EP18796783.1A EP3707852B1 (en) 2017-11-09 2018-10-29 Arithmetic enhancement of c-like smart contracts for verifiable computation
KR1020207014203A KR20200080265A (en) 2017-11-09 2018-10-29 System for recording the confirmation key on the blockchain
SG11202004149UA SG11202004149UA (en) 2017-11-09 2018-10-29 Arithmetic enhancement of c-like smart contracts for verifiable computation
EP18797157.7A EP3707623A1 (en) 2017-11-09 2018-10-29 System for simplifying executable instructions for optimised verifiable computation
US16/762,461 US20210377041A1 (en) 2017-11-09 2018-10-29 System for recording verification keys on a blockchain
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
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
JP2020524541A JP7221954B2 (en) 2017-11-09 2018-10-29 A system for protecting verification keys from modification and validating proofs of correctness
JP2020524430A JP7234229B2 (en) 2017-11-09 2018-10-29 A System for Simplifying Executable Instructions for Optimized Verifiable Computation
PCT/IB2018/058437 WO2019092545A1 (en) 2017-11-09 2018-10-29 Arithmetic enhancement of c-like smart contracts for verifiable computation
US16/762,466 US11575511B2 (en) 2017-11-09 2018-10-29 System for simplifying executable instructions for optimised verifiable computation
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
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
SG11202004148PA SG11202004148PA (en) 2017-11-09 2018-10-29 System for recording verification keys on a 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
KR1020207014213A KR20200079503A (en) 2017-11-09 2018-10-29 System for protecting validation keys from change and validating proof of accuracy
CN201880072678.7A CN111345004B (en) 2017-11-09 2018-10-29 System for simplifying executable instructions to optimize verifiable computing
JP2020524517A JP2021502636A (en) 2017-11-09 2018-10-29 Arithmetic enhancement of C-like smart contracts for verifiable calculations
KR1020207014108A KR20200086282A (en) 2017-11-09 2018-10-29 Enhanced arithmetic operations in C-type smart contracts for 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
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
JP2020524532A JP7208989B2 (en) 2017-11-09 2018-10-29 A system for recording verification keys on the blockchain
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
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
KR1020207014130A KR20200080263A (en) 2017-11-09 2018-10-30 Systems and methods for ensuring the correct execution of computer programs using mediator computer systems
EP24175020.7A EP4395229A1 (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
CN202410094181.2A CN118041602A (en) 2017-11-09 2018-10-30 System and method for ensuring correct execution of a computer program using a mediator computer system
EP18800331.3A EP3707872B1 (en) 2017-11-09 2018-10-30 Systems and methods for ensuring correct execution of 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
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
PCT/IB2018/058583 WO2019092561A1 (en) 2017-11-09 2018-11-01 Distributed computing system and method
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
JP2020524561A JP2021502747A (en) 2017-11-09 2018-11-01 Distributed computing systems and methods
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
TW107139703A TWI770307B (en) 2017-11-09 2018-11-08 Systems and methods for ensuring correct execution of computer program using a mediator computer 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
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 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
GBGB1718505.9A GB201718505D0 (en) 2017-11-09 2017-11-09 Computer-implemented system and method

Publications (1)

Publication Number Publication Date
GB201718505D0 true GB201718505D0 (en) 2017-12-27

Family

ID=60788234

Family Applications (1)

Application Number Title Priority Date Filing Date
GBGB1718505.9A Ceased GB201718505D0 (en) 2017-11-09 2017-11-09 Computer-implemented system and method

Country Status (1)

Country Link
GB (1) GB201718505D0 (en)

Similar Documents

Publication Publication Date Title
GB201711878D0 (en) Computer - implemented system and method
GB201711879D0 (en) Computer-implemented system and method
GB201709188D0 (en) Computer-Implemented system and method
GB201709760D0 (en) Computer-Implemented system and method
GB201713046D0 (en) Computer-implemented system and method
GB201709367D0 (en) Computer-implemented system and method
GB201707296D0 (en) Computer-implemented system and method
GB201706132D0 (en) Computer-implemented system and method
GB201707168D0 (en) Computer-implemented system and method
GB201705621D0 (en) Computer-implemented system and method
GB201705749D0 (en) Computer-implemented system and method
GB201710176D0 (en) Computer-implemented system and method
GB201705858D0 (en) Computer-implemented system and method
GB201706071D0 (en) Computer-implemented system and method
GB201709848D0 (en) Computer-implemented system and method
GB201711867D0 (en) Computer-implemented system and method
GB201709845D0 (en) Computer-implemented system and method
GB201713031D0 (en) Computer-implemented system and method
GB201709219D0 (en) Computer-implemented system and method
GB201712493D0 (en) Computer-Implemented system and method
GB201718505D0 (en) Computer-implemented system and method
GB201713363D0 (en) Computer-implemented system and method
GB201713084D0 (en) Computer-implemented system and method
GB201713086D0 (en) Computer-implemented system and method
GB201710974D0 (en) Computer-implemented system and method

Legal Events

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