GBGB1720768.9A
GB201720768D0
(en)
|
2017-12-13 |
2017-12-13 |
Computer-implemented system and method
|
EP22170376.2A
EP4092953A1
(en)
|
2017-11-09 |
2018-10-29 |
System for recording verification keys on a blockchain
|
PCT/IB2018/058437
WO2019092545A1
(en)
|
2017-11-09 |
2018-10-29 |
Arithmetic enhancement of c-like smart contracts for verifiable computation
|
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
|
EP18796783.1A
EP3707852A1
(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
|
CN201880073019.5A
CN111345005A
(en)
|
2017-11-09 |
2018-10-29 |
System for recording verification key on block chain
|
JP2020524541A
JP7221954B2
(en)
|
2017-11-09 |
2018-10-29 |
A system for protecting verification keys from modification and validating proofs of correctness
|
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
|
JP2020524517A
JP2021502636A
(en)
|
2017-11-09 |
2018-10-29 |
Arithmetic enhancement of C-like smart contracts for verifiable calculations
|
US16/762,475
US11635950B2
(en)
|
2017-11-09 |
2018-10-29 |
Arithmetic enhancement of C-like smart contracts for verifiable computation
|
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
|
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
|
SG11202004149UA
SG11202004149UA
(en)
|
2017-11-09 |
2018-10-29 |
Arithmetic enhancement of c-like smart contracts for verifiable computation
|
EP23216404.6A
EP4312403A3
(en)
|
2017-11-09 |
2018-10-29 |
Arithmetic enhancement of c-like smart contracts for verifiable computation
|
EP18796782.3A
EP3707871B1
(en)
|
2017-11-09 |
2018-10-29 |
System for recording verification keys on a blockchain
|
JP2020524532A
JP7208989B2
(en)
|
2017-11-09 |
2018-10-29 |
A system for recording verification keys on the blockchain
|
PCT/IB2018/058432
WO2019092542A1
(en)
|
2017-11-09 |
2018-10-29 |
System for simplifying executable instructions for optimised verifiable computation
|
KR1020207014209A
KR20200086284A
(en)
|
2017-11-09 |
2018-10-29 |
System to simplify executable instructions for optimized verifiable calculations
|
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
|
JP2020524430A
JP7234229B2
(en)
|
2017-11-09 |
2018-10-29 |
A System for Simplifying Executable Instructions for Optimized Verifiable Computation
|
CN202311496467.5A
CN117640170A
(en)
|
2017-11-09 |
2018-10-29 |
System for simplifying executable instructions to optimize verifiable computing
|
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
|
US16/762,461
US20210377041A1
(en)
|
2017-11-09 |
2018-10-29 |
System for recording verification keys on a blockchain
|
KR1020207014213A
KR20200079503A
(en)
|
2017-11-09 |
2018-10-29 |
System for protecting validation keys from change and validating proof of accuracy
|
US16/762,466
US11575511B2
(en)
|
2017-11-09 |
2018-10-29 |
System for simplifying executable instructions for optimised verifiable computation
|
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/058434
WO2019092544A1
(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
|
SG11202004146WA
SG11202004146WA
(en)
|
2017-11-09 |
2018-10-29 |
System for simplifying executable instructions for optimised verifiable computation
|
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
|
JP2020524628A
JP7208990B2
(en)
|
2017-11-09 |
2018-10-30 |
Systems and methods for ensuring correct execution of computer programs using mediator computer systems
|
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
|
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
|
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
|
US16/762,490
US20210192514A1
(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
|
EP18800333.9A
EP3707856A1
(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
|
PCT/IB2018/058583
WO2019092561A1
(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
|
CN201880072729.6A
CN111316594A
(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
|
SG11202005567QA
SG11202005567QA
(en)
|
2017-12-13 |
2018-12-07 |
System and method for securely sharing cryptographic material
|
EP18833516.0A
EP3725028A1
(en)
|
2017-12-13 |
2018-12-07 |
System and method for securely sharing cryptographic material
|
CN201880080950.6A
CN111466095A
(en)
|
2017-12-13 |
2018-12-07 |
System and method for secure sharing of encrypted material
|
KR1020207017958A
KR20200096248A
(en)
|
2017-12-13 |
2018-12-07 |
Systems and methods for securely sharing cryptographic materials
|
JP2020531060A
JP7453911B2
(en)
|
2017-12-13 |
2018-12-07 |
System and method for securely sharing cryptographic materials
|
PCT/IB2018/059770
WO2019116187A1
(en)
|
2017-12-13 |
2018-12-07 |
System and method for securely sharing cryptographic material
|
US16/772,132
US11683164B2
(en)
|
2017-12-13 |
2018-12-07 |
System and method for securely sharing cryptographic material
|
CN202311311745.5A
CN117478315A
(en)
|
2017-12-13 |
2018-12-12 |
System and method for multiparty generation of blockchain-based smart contracts
|
TW107144802A
TWI794366B
(en)
|
2017-12-13 |
2018-12-12 |
System and method for securely sharing cryptographic material
|
EP21202086.1A
EP4009577A1
(en)
|
2017-12-13 |
2018-12-12 |
System and method for multi-party generation of blockchain-based smart contract
|
US16/772,136
US11271729B2
(en)
|
2017-12-13 |
2018-12-12 |
System and method for multi-party generation of blockchain-based smart contract
|
JP2020531061A
JP7252233B2
(en)
|
2017-12-13 |
2018-12-12 |
Systems and methods for multi-party creation of blockchain-based smart contracts
|
KR1020207017961A
KR20200094173A
(en)
|
2017-12-13 |
2018-12-12 |
System and method for multi-party creation of blockchain-based smart contracts
|
SG11202005564WA
SG11202005564WA
(en)
|
2017-12-13 |
2018-12-12 |
System and method for multi-party generation of blockchain-based smart contract
|
PCT/IB2018/059918
WO2019116246A1
(en)
|
2017-12-13 |
2018-12-12 |
System and method for multi-party generation of blockchain-based smart contract
|
CN201880081012.8A
CN111466100B
(en)
|
2017-12-13 |
2018-12-12 |
System and method for multiparty generation of blockchain-based smart contracts
|
EP18834035.0A
EP3725032B1
(en)
|
2017-12-13 |
2018-12-12 |
System and method for multi-party generation of blockchain-based smart contract
|
ZA2020/02575A
ZA202002575B
(en)
|
2017-11-09 |
2020-05-08 |
System for recording verification keys on a blockchain
|
ZA2020/04256A
ZA202004256B
(en)
|
2017-12-13 |
2020-07-10 |
System and method for multi-party generation of blockchain-based smart contract
|
ZA2020/04255A
ZA202004255B
(en)
|
2017-12-13 |
2020-07-10 |
System and method for securely sharing cryptographic material
|
US17/678,926
US11888976B2
(en)
|
2017-12-13 |
2022-02-23 |
System and method for multi-party generation of blockchain-based smart contract
|
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
|
JP2023000947A
JP2023036962A
(en)
|
2017-11-09 |
2023-01-06 |
System for recording verification key on blockchain
|
JP2023001009A
JP2023036963A
(en)
|
2017-11-09 |
2023-01-06 |
System and method for ensuring correct execution of computer program using mediator computer system
|
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
JP7477674B2
(en)
|
2017-11-09 |
2023-02-22 |
System for simplifying executable instructions for optimized verifiable computation - Patents.com
|
JP2023046632A
JP2023068139A
(en)
|
2017-12-13 |
2023-03-23 |
System and method for multi-party generation of blockchain-based smart contract
|
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
|
US18/199,320
US20230370253A1
(en)
|
2017-12-13 |
2023-05-18 |
System and method for securely sharing cryptographic material
|
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
|