NChain Licensing AG (20240413971). SYSTEM FOR SIMPLIFYING EXECUTABLE INSTRUCTIONS FOR OPTIMISED VERIFIABLE COMPUTATION

SYSTEM FOR SIMPLIFYING EXECUTABLE INSTRUCTIONS FOR OPTIMISED VERIFIABLE COMPUTATION

Organization Name

nChain Licensing AG

Inventor(s)

Alexandra Covaci of Canterbury (GB)

Simone Madeo of London (GB)

Patrick Motylinski of London (GB)

Stephane Vincent of Luxembourg (LU)

SYSTEM FOR SIMPLIFYING EXECUTABLE INSTRUCTIONS FOR OPTIMISED VERIFIABLE COMPUTATION

This abstract first appeared for US patent application 20240413971 titled 'SYSTEM FOR SIMPLIFYING EXECUTABLE INSTRUCTIONS FOR OPTIMISED VERIFIABLE COMPUTATION

Original Abstract Submitted

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.