NChain Licensing AG (20240413971). SYSTEM FOR SIMPLIFYING EXECUTABLE INSTRUCTIONS FOR OPTIMISED VERIFIABLE COMPUTATION
SYSTEM FOR SIMPLIFYING EXECUTABLE INSTRUCTIONS FOR OPTIMISED VERIFIABLE COMPUTATION
Organization Name
Inventor(s)
Alexandra Covaci of Canterbury (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.
