Issued Patents All Time
Showing 1–25 of 49 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 |
| 12309168 | Arithmetic enhancement of C-like smart contracts for verifiable computation | Alexandra COVACI, Simone MADEO, Stephane Vincent | 2025-05-20 |
| 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 |
| 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 |
| 12177356 | Methods and systems for a consistent distributed memory pool in a blockchain network | Giuseppe DESTEFANIS, Simone MADEO, Stephane Vincent, Craig Steven Wright | 2024-12-24 |
| 12170590 | Optimisation of network parameters for enabling network coding | Simone MADEO, Giuseppe DESTEFANIS, Stephane Vincent | 2024-12-17 |
| 12113854 | Computer-implemented system and method for updating a network's knowledge of the network's topology | Stephane Vincent | 2024-10-08 |
| 12081671 | Computer-implemented systems and methods for linking a blockchain to a digital twin | Alexandra COVACI, Giuseppe DESTEFANIS, Simone MADEO, Stephane Vincent | 2024-09-03 |
| 12067540 | Method and system for selectively using network coding for propagating transactions in a blockchain network | Giuseppe DESTEFANIS, Simone MADEO, Stephane Vincent, Craig Steven Wright | 2024-08-20 |
| 12038937 | Computer-implemented system and method for managing transactions over a blockchain network | Giuseppe DESTEFANIS, Simone MADEO, Stephane Vincent | 2024-07-16 |
| 12034806 | Fast propagation of recent transactions over a blockchain network | Giuseppe DESTEFANIS, Stephane Vincent, Craig Steven Wright | 2024-07-09 |
| 12010233 | Computer-implemented systems and methods for combining blockchain technology with digital twins | Alexandra COVACI, Giuseppe DESTEFANIS, Simone MADEO, Stephane Vincent | 2024-06-11 |
| 12007984 | Flow control for probabilistic relay in a blockchain network | Giuseppe DESTEFANIS, Simone MADEO, Stephane Vincent, Alexandra COVACI | 2024-06-11 |
| 12008524 | Method and system of mining blockchain transactions provided by a validator node | Giuseppe DESTEFANIS, Simone MADEO, Stephane Vincent | 2024-06-11 |