Issued Patents All Time
Showing 1–25 of 26 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12407693 | System for securing verification key from alteration and verifying validity of a proof of correctness | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2025-09-02 |
| 12355889 | Computer-implemented systems and methods for combining blockchain technology with digital twins | Giuseppe DESTEFANIS, Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2025-07-08 |
| 12346298 | Computer-implemented system and method for managing a large distributed memory pool in a blockchain network | Giuseppe DESTEFANIS, Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2025-07-01 |
| 12314716 | Computer-implemented systems and methods for serialisation of arithmetic circuits | Patrick MOTYLINSKI, Simone MADEO, Stephane Vincent, Craig Steven Wright | 2025-05-27 |
| 12309168 | Arithmetic enhancement of C-like smart contracts for verifiable computation | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2025-05-20 |
| 12309257 | System and method for authenticating off-chain data based on proof verification | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent, Craig Steven Wright | 2025-05-20 |
| 12294644 | System and method for multi-party generation of blockchain-based smart contract | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2025-05-06 |
| 12273324 | Systems and methods for ensuring correct execution of computer program using a mediator computer system | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2025-04-08 |
| 12238206 | System and method for securely sharing cryptographic material | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2025-02-25 |
| 12219044 | System for securing verification key from alteration and verifying validity of a proof of correctness | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2025-02-04 |
| 12200103 | System for simplifying executable instructions for optimised verifiable computation | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2025-01-14 |
| 12081671 | Computer-implemented systems and methods for linking a blockchain to a digital twin | Giuseppe DESTEFANIS, Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2024-09-03 |
| 12007984 | Flow control for probabilistic relay in a blockchain network | Giuseppe DESTEFANIS, Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2024-06-11 |
| 12010233 | Computer-implemented systems and methods for combining blockchain technology with digital twins | Giuseppe DESTEFANIS, Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2024-06-11 |
| 11888976 | System and method for multi-party generation of blockchain-based smart contract | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2024-01-30 |
| 11722302 | Computer-implemented systems and methods for combining blockchain technology with digital twins | Giuseppe DESTEFANIS, Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2023-08-08 |
| 11683164 | System and method for securely sharing cryptographic material | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2023-06-20 |
| 11658801 | System for securing verification key from alteration and verifying validity of a proof of correctness | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2023-05-23 |
| 11652634 | Computer-implemented systems and methods for linking a blockchain to a digital twin | Giuseppe DESTEFANIS, Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2023-05-16 |
| 11635950 | Arithmetic enhancement of C-like smart contracts for verifiable computation | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2023-04-25 |
| 11609902 | Flow control for probabilistic relay in a blockchain network | Giuseppe DESTEFANIS, Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2023-03-21 |
| 11575511 | System for simplifying executable instructions for optimised verifiable computation | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2023-02-07 |
| 11546162 | Systems and methods for ensuring correct execution of computer program using a mediator computer system | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2023-01-03 |
| 11416249 | Computer-implemented systems and methods for serialisation of arithmetic circuits | Patrick MOTYLINSKI, Simone MADEO, Stephane Vincent, Craig Steven Wright | 2022-08-16 |
| 11271729 | System and method for multi-party generation of blockchain-based smart contract | Simone MADEO, Patrick MOTYLINSKI, Stephane Vincent | 2022-03-08 |