Invention Grant
- Patent Title: Arithmetic enhancement of C-like smart contracts for verifiable computation
-
Application No.: US16762475Application Date: 2018-10-29
-
Publication No.: US11635950B2Publication Date: 2023-04-25
- Inventor: Alexandra Covaci , Simone Madeo , Patrick Motylinski , Stephane Vincent
- Applicant: nChain Licensing AG
- Applicant Address: CH Zug
- Assignee: nChain Licensing AG
- Current Assignee: nChain Licensing AG
- Current Assignee Address: CH Zug
- Agency: Davis Wright Tremaine LLP
- Priority: GB1718505 20171109,GB1719998 20171130,GB1720768 20171213,GB1801753 20180202,GB1805948 20180410,GB1806444 20180420
- International Application: PCT/IB2018/058437 WO 20181029
- International Announcement: WO2019/092545 WO 20190516
- Main IPC: G06F8/41
- IPC: G06F8/41 ; G06F9/445 ; H04L9/06 ; H04L9/32 ; H04L9/40 ; G06Q20/40 ; G06F16/27 ; H04L9/30 ; H04L9/00
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.
Public/Granted literature
- US20200348916A1 ARITHMETIC ENHANCEMENT OF C-LIKE SMART CONTRACTS FOR VERIFIABLE COMPUTATION Public/Granted day:2020-11-05
Information query
