logo

For the Inventor, By the Inventor

The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Patent No.:

US 12200103 B1

PDFFull Text
Date of Patent:
Jan. 14, 2025

Filed:

Feb. 03, 2023

System for simplifying executable instructions for optimised verifiable computation

Applicant:

Nchain Licensing Ag, Zug, CH;

Inventors:

Alexandra Covaci, Canterbury, GB;

Simone Madeo, London, GB;

Patrick Motylinski, London, GB;

Stephane Vincent, Luxembourg, LU;

Assignee:

NCHAIN LICENSING AG, Zug, CH;

Attorney:

Tarolli, Sundheim, Covell & Tummino LLP

Primary Examiner:

Mahfuzur Rahman

Int. Cl.
CPC ...
H04L 29/06 (2006.01); G06F 8/41 (2018.01); G06F 9/445 (2018.01); G06F 16/27 (2019.01); G06Q 20/06 (2012.01); G06Q 20/40 (2012.01); H04L 9/06 (2006.01); H04L 9/30 (2006.01); H04L 9/32 (2006.01); H04L 9/40 (2022.01); H04L 9/00 (2022.01);
U.S. Cl.
CPC ...
H04L 9/0618 (2013.01); G06F 8/44 (2013.01); G06F 8/447 (2013.01); G06F 8/451 (2013.01); G06F 9/44521 (2013.01); G06F 16/27 (2019.01); G06Q 20/065 (2013.01); G06Q 20/401 (2013.01); G06Q 20/405 (2013.01); H04L 9/0637 (2013.01); H04L 9/0643 (2013.01); H04L 9/30 (2013.01); H04L 9/3218 (2013.01); H04L 9/3236 (2013.01); H04L 9/3239 (2013.01); H04L 9/3247 (2013.01); H04L 9/3263 (2013.01); H04L 63/12 (2013.01); H04L 9/3066 (2013.01); H04L 9/50 (2022.05); H04L 2209/34 (2013.01); H04L 2209/56 (2013.01);
Abstract

The invention relates to distributed ledger technologies such as consensus-based blockchains. Computer-implemented methods for reducing arithmetic circuits derived from smart contracts are described. The invention is implemented using a blockchain network, which may be, for example, a Bitcoin blockchain. A set of conditions encoded in a first programming language is obtained. The set of conditions is converted into a programmatic set of conditions encoded in a second programming language. The programmatic set of conditions is precompiled into precompiled program code. The precompiled program code is transformed into an arithmetic circuit. The arithmetic circuit is reduced to form a reduced arithmetic circuit, and the reduced arithmetic circuit is stored.

Find Patent Forward Citations

Loading…