Issued Patents 2025
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12407693 | System for securing verification key from alteration and verifying validity of a proof of correctness | Alexandra COVACI, Simone MADEO, Stephane Vincent | 2025-09-02 |
| 12355889 | Computer-implemented systems and methods for combining blockchain technology with digital twins | Alexandra COVACI, Giuseppe DESTEFANIS, Simone MADEO, 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, Simone MADEO, Stephane Vincent | 2025-07-01 |
| 12314716 | Computer-implemented systems and methods for serialisation of arithmetic circuits | Alexandra COVACI, Simone MADEO, Stephane Vincent, Craig Steven Wright | 2025-05-27 |
| 12309257 | System and method for authenticating off-chain data based on proof verification | Alexandra COVACI, Simone MADEO, Stephane Vincent, Craig Steven Wright | 2025-05-20 |
| 12309168 | Arithmetic enhancement of C-like smart contracts for verifiable computation | Alexandra COVACI, Simone MADEO, Stephane Vincent | 2025-05-20 |
| 12301660 | Fast propagation of recent transactions over a blockchain network | Giuseppe DESTEFANIS, Stephane Vincent, Craig Steven Wright | 2025-05-13 |
| 12294644 | System and method for multi-party generation of blockchain-based smart contract | Alexandra COVACI, Simone MADEO, Stephane Vincent | 2025-05-06 |
| 12273324 | Systems and methods for ensuring correct execution of computer program using a mediator computer system | Alexandra COVACI, Simone MADEO, Stephane Vincent | 2025-04-08 |
| 12265523 | Probabilistic relay for efficient propagation in a blockchain network | Simone MADEO, Giuseppe DESTEFANIS, Stephane Vincent | 2025-04-01 |
| 12238206 | System and method for securely sharing cryptographic material | Alexandra COVACI, Simone MADEO, Stephane Vincent | 2025-02-25 |
| 12219044 | System for securing verification key from alteration and verifying validity of a proof of correctness | Alexandra COVACI, Simone MADEO, Stephane Vincent | 2025-02-04 |
| 12200103 | System for simplifying executable instructions for optimised verifiable computation | Alexandra COVACI, Simone MADEO, Stephane Vincent | 2025-01-14 |
| 12200117 | Credential generation and distribution method and system for a blockchain network | Giuseppe DESTEFANIS, Simone MADEO, Stephane Vincent | 2025-01-14 |
| 12192345 | Credential generation and distribution method and system for a blockchain network | Giuseppe DESTEFANIS, Simone MADEO, Stephane Vincent | 2025-01-07 |