System for simplifying executable instructions for optimised verifiable computation

1. A computer-implemented method comprising:

obtaining a set of conditions encoded in a first programming language, wherein the set of conditions represents a smart contract;

converting the set of conditions into a programmatic set of conditions encoded in a second programming language;

precompiling the programmatic set of conditions into precompiled program code;

transforming the precompiled program code into an arithmetic circuit which represents the smart contract, wherein the arithmetic circuit comprises inputs associated with input values to the smart contract represented by the first set of conditions;

reducing the arithmetic circuit to form a reduced arithmetic circuit; and

storing the reduced arithmetic circuit.

2. The computer-implemented method according to claim 1 , wherein reducing the arithmetic circuit involves minimising the arithmetic circuit to produce the reduced arithmetic circuit.

3. The computer-implemented method according to claim 1 , wherein the arithmetic circuit is a directed acyclical graph comprising:

a set of nodes representing logic gates and inputs; and

a set of edges connecting nodes in the set of nodes, individual edges in the set representing respective wires between the logic gates and the inputs.

4. The computer-implemented method according to claim 3 , wherein:

the arithmetic circuit includes a logic submodule that includes a proper subset of the set of nodes; and

reducing the arithmetic circuit includes reducing the logic submodule separately from the rest of the arithmetic circuit.

5. The computer-implemented method according to claim 4 , wherein the wires between logic gates in the logic submodule are 1-bit in width.

6. The computer-implemented method according to claim 4 , wherein:

the arithmetic circuit further includes another logic submodule that includes another subset of the set of nodes, the proper subset of nodes and the other subset of nodes being nonintersecting; and

reducing the arithmetic circuit further includes reducing the logic submodule using a first processor core in parallel with reducing the other logic submodule using a second processor core.

7. The computer-implemented method according to claim 6 , further comprising allocating the logic submodule to the first processor core and allocating the other logic submodule to the second processor core in accordance with a heuristic for optimising computational resource usage.

8. The computer-implemented method according to claim 7 , wherein the heuristic is a longest processing time greedy algorithm.

9. The computer-implemented method according to claim 1 , wherein reducing the arithmetic circuit includes:

determining a set of prime implicants of the arithmetic circuit;

expressing the set of prime implicants as a product of sums that includes a first product term and a second product term; and

simplifying the first product term and the second product term.

10. The computer-implemented method according to claim 9 , wherein simplifying the first product term and the second product term is performed by applying a Boolean minimisation rule to the first product term and the second product term.

11. The computer-implemented method according to claim 1 , wherein the second programming language is C++.

12. The computer-implemented method according to claim 1 , wherein the first programming language is a computer programming language devised for composing machine-readable financial contracts.

13. The computer-implemented method according to claim 1 , further comprising:

generating a quadratic program that includes a set of polynomials that describes the reduced arithmetic circuit; and

generating a set of parameters to be used by a node in a blockchain network in performance of the quadratic program.

14. A system, comprising:

a processor; and

memory including executable instructions that, as a result of being executed by the processor, causes the system to:

obtain a set of conditions encoded in a first programming language, wherein the set of conditions represents a smart contract;

convert the set of conditions into a programmatic set of conditions encoded in a second programming language;

precompile the programmatic set of conditions into precompiled program code;

transform the precompiled program code into an arithmetic circuit which represents the smart contract, wherein the arithmetic circuit comprises inputs associated with input values to the smart contract represented by the first set of conditions;

reduce the arithmetic circuit to form a reduced arithmetic circuit; and

store the reduced arithmetic circuit.

15. A non-transitory computer-readable storage medium having stored thereon executable instructions that, as a result of being executed by a processor of a computer system, cause the computer system to at least:

obtain a set of conditions encoded in a first programming language, wherein the set of conditions represents a smart contract;

convert the set of conditions into a programmatic set of conditions encoded in a second programming language;

precompile the programmatic set of conditions into precompiled program code;

transform the precompiled program code into an arithmetic circuit which represents the smart contract, wherein the arithmetic circuit comprises inputs associated with input values to the smart contract represented by the first set of conditions;

reduce the arithmetic circuit to form a reduced arithmetic circuit; and

store the reduced arithmetic circuit.

16. A system, comprising:

a processor; and

memory including executable instructions that, as a result of being executed by the processor, causes the system to:

obtain a set of conditions encoded in a first programming language, wherein the set of conditions represents a smart contract;

convert the set of conditions into a programmatic set of conditions encoded in a second programming language;

precompile the programmatic set of conditions into precompiled program code;

transform the precompiled program code into an arithmetic circuit which represents the smart contract, wherein the arithmetic circuit comprises inputs associated with input values to the smart contract represented by the first set of conditions;

reduce the arithmetic circuit to form a reduced arithmetic circuit; and

store the reduced arithmetic circuit, wherein reducing the arithmetic circuit involves minimising the arithmetic circuit to produce the reduced arithmetic circuit.

17. A system, comprising:

a processor; and

memory including executable instructions that, as a result of being executed by the processor, causes the system to:

obtain a set of conditions encoded in a first programming language, wherein the set of conditions represents a smart contract;

convert the set of conditions into a programmatic set of conditions encoded in a second programming language;

precompile the programmatic set of conditions into precompiled program code;

transform the precompiled program code into an arithmetic circuit which represents the smart contract, wherein the arithmetic circuit comprises inputs associated with input values to the smart contract represented by the first set of conditions;

reduce the arithmetic circuit to form a reduced arithmetic circuit; and

store the reduced arithmetic circuit, wherein the arithmetic circuit is a directed acyclical graph comprising:

a set of nodes representing logic gates and inputs; and

a set of edges connecting nodes in the set of nodes, individual edges in the set representing respective wires between the logic gates and the inputs.

18. A system, comprising:

a processor; and

memory including executable instructions that, as a result of being executed by the processor, causes the system to:

obtain a set of conditions encoded in a first programming language, wherein the set of conditions represents a smart contract;

convert the set of conditions into a programmatic set of conditions encoded in a second programming language;

precompile the programmatic set of conditions into precompiled program code;

transform the precompiled program code into an arithmetic circuit which represents the smart contract, wherein the arithmetic circuit comprises inputs associated with input values to the smart contract represented by the first set of conditions, wherein the arithmetic circuit is a directed acyclical graph comprising:

a set of nodes representing logic gates and inputs; and

a set of edges connecting nodes in the set of nodes, individual edges in the set representing respective wires between the logic gates and the inputs

reduce the arithmetic circuit to form a reduced arithmetic circuit;

store the reduced arithmetic circuit, the arithmetic circuit includes a logic submodule that includes a proper subset of the set of nodes; and

reduce the arithmetic circuit includes reducing the logic submodule separately from the rest of the arithmetic circuit.

19. A non-transitory computer-readable storage medium having stored thereon executable instructions that, as a result of being executed by a processor of a computer system, cause the computer system to:

obtain a set of conditions encoded in a first programming language, wherein the set of conditions represents a smart contract;

convert the set of conditions into a programmatic set of conditions encoded in a second programming language;

precompile the programmatic set of conditions into precompiled program code;

transform the precompiled program code into an arithmetic circuit which represents the smart contract, wherein the arithmetic circuit comprises inputs associated with input values to the smart contract represented by the first set of conditions;

reduce the arithmetic circuit to form a reduced arithmetic circuit; and

store the reduced arithmetic circuit, wherein reducing the arithmetic circuit involves minimising the arithmetic circuit to produce the reduced arithmetic circuit.

20. A non-transitory computer-readable storage medium having stored thereon executable instructions that, as a result of being executed by a processor of a computer system, cause the computer system to:

obtain a set of conditions encoded in a first programming language, wherein the set of conditions represents a smart contract;

convert the set of conditions into a programmatic set of conditions encoded in a second programming language;

precompile the programmatic set of conditions into precompiled program code;

transform the precompiled program code into an arithmetic circuit which represents the smart contract, wherein the arithmetic circuit comprises inputs associated with input values to the smart contract represented by the first set of conditions;

reduce the arithmetic circuit to form a reduced arithmetic circuit; and

store the reduced arithmetic circuit, wherein the arithmetic circuit is a directed acyclical graph comprising:

a set of nodes representing logic gates and inputs; and

a set of edges connecting nodes in the set of nodes, individual edges in the set representing respective wires between the logic gates and the inputs.