Issued Patents 2025
Showing 1–17 of 17 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12407693 | System for securing verification key from alteration and verifying validity of a proof of correctness | Alexandra COVACI, Patrick MOTYLINSKI, Stephane Vincent | 2025-09-02 |
| 12381947 | Computer-implemented system and method for propagation and communication of data in a network such as a blockchain network | Silvia BARTOLUCCI, Daniel JOSEPH | 2025-08-05 |
| 12355889 | Computer-implemented systems and methods for combining blockchain technology with digital twins | Alexandra COVACI, Giuseppe DESTEFANIS, Patrick MOTYLINSKI, Stephane Vincent | 2025-07-08 |
| 12346298 | Computer-implemented system and method for managing a large distributed memory pool in a blockchain network | Alexandra COVACI, Giuseppe DESTEFANIS, Patrick MOTYLINSKI, Stephane Vincent | 2025-07-01 |
| 12314716 | Computer-implemented systems and methods for serialisation of arithmetic circuits | Alexandra COVACI, Patrick MOTYLINSKI, Stephane Vincent, Craig Steven Wright | 2025-05-27 |
| 12309168 | Arithmetic enhancement of C-like smart contracts for verifiable computation | Alexandra COVACI, Patrick MOTYLINSKI, Stephane Vincent | 2025-05-20 |
| 12309257 | System and method for authenticating off-chain data based on proof verification | Alexandra COVACI, Patrick MOTYLINSKI, Stephane Vincent, Craig Steven Wright | 2025-05-20 |
| 12294644 | System and method for multi-party generation of blockchain-based smart contract | Alexandra COVACI, Patrick MOTYLINSKI, Stephane Vincent | 2025-05-06 |
| 12273354 | Systems and methods for random differential relay and network coding | Silvia BARTOLUCCI | 2025-04-08 |
| 12273455 | Computer-implemented systems and methods for linking a blockchain to a set of digital twins | Silvia BARTOLUCCI | 2025-04-08 |
| 12273324 | Systems and methods for ensuring correct execution of computer program using a mediator computer system | Alexandra COVACI, Patrick MOTYLINSKI, Stephane Vincent | 2025-04-08 |
| 12265523 | Probabilistic relay for efficient propagation in a blockchain network | Patrick MOTYLINSKI, Giuseppe DESTEFANIS, Stephane Vincent | 2025-04-01 |
| 12238206 | System and method for securely sharing cryptographic material | Alexandra COVACI, Patrick MOTYLINSKI, Stephane Vincent | 2025-02-25 |
| 12219044 | System for securing verification key from alteration and verifying validity of a proof of correctness | Alexandra COVACI, Patrick MOTYLINSKI, Stephane Vincent | 2025-02-04 |
| 12200103 | System for simplifying executable instructions for optimised verifiable computation | Alexandra COVACI, Patrick MOTYLINSKI, Stephane Vincent | 2025-01-14 |
| 12200117 | Credential generation and distribution method and system for a blockchain network | Giuseppe DESTEFANIS, Patrick MOTYLINSKI, Stephane Vincent | 2025-01-14 |
| 12192345 | Credential generation and distribution method and system for a blockchain network | Giuseppe DESTEFANIS, Patrick MOTYLINSKI, Stephane Vincent | 2025-01-07 |