A
system and method are provided for converting high-level
source code into arithmetic circuitry representing functions expressed in the
source code. The invention includes a translation / interpretation component for performing the conversion. In a preferred embodiment, the
source code is a
smart contract, such as a contract used in connection with a
blockchain platform. A method according to an embodiment includes the steps of
processing a portion of a high-level source code (e.g., a
smart contract) to generate an arithmetic circuit. The arithmetic circuit includes one or more arithmetic gates arranged to represent at least some of the functions expressed in the source code. The
processing involves evaluating one or more constants provided in the source code to generate one or more expressions containing Boolean and / or
arithmetic operators. The arithmetic circuit includes an n-
bit line connected to the arithmetic gate; it may be used to provide hardware and / or
software circuitry. The arithmetic circuitry may be used to generate quadratic plans that may be executed on the processor.