Back to results
US 11,635,950 B2Granted
Arithmetic enhancement of C-like smart contracts for verifiable computation
AssigneenChain Licensing AG
InventorsAlexandra Covaci, Simone Madeo, Patrick Motylinski, Stephane Vincent
Life of this patent
Estimating the term…
Abstract
A system converts high level source code into an arithmetic circuit that represents the functionality expressed in the source code, such as a smart contract as used in relation to a blockchain platform. The system processes a portion of high level source code to generate an arithmetic circuit. The arithmetic circuit comprises one or more arithmetic gates arranged to represent at least some of the functionality expressed in the source code.
Claims15
A computer-implemented method comprising the steps:
- processing a portion of source code to generate an arithmetic circuit, including evaluating one or more constants provided in the source code to provide one or more expressions comprising Boolean and/or arithmetic operators, wherein:
- the source code is written in a high level programming language and further wherein the source code represents a smart contract;
- and
- the arithmetic circuit comprises one or more arithmetic gates arranged to represent some or all of the functionality expressed in the source code, wherein the arithmetic circuit is a machine executable version of the source code, and is arranged to compute a result.
1 more element
Dependencies are inferred from the claim text.