- 专利标题： Arithmetic enhancement of C-like smart contracts for verifiable computation
-
申请号： US16762475申请日： 2018-10-29
-
公开(公告)号： US11635950B2公开(公告)日： 2023-04-25
- 发明人: Alexandra Covaci , Simone Madeo , Patrick Motylinski , Stephane Vincent
- 申请人： nChain Licensing AG
- 申请人地址： CH Zug
- 专利权人： nChain Licensing AG
- 当前专利权人： nChain Licensing AG
- 当前专利权人地址： CH Zug
- 代理机构： Davis Wright Tremaine LLP
- 优先权： GB1718505 20171109,GB1719998 20171130,GB1720768 20171213,GB1801753 20180202,GB1805948 20180410,GB1806444 20180420
- 国际申请： PCT/IB2018/058437 WO 20181029
- 国际公布： WO2019/092545 WO 20190516
- 主分类号： G06F8/41
- IPC分类号： G06F8/41 ; G06F9/445 ; H04L9/06 ; H04L9/32 ; H04L9/40 ; G06Q20/40 ; G06F16/27 ; H04L9/30 ; H04L9/00
摘要：
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.
公开/授权文献
信息查询
