Arithmetic circuit (source code)

= Arithmetic circuit

An arithmetic circuit is a <Directed acyclic graph> whose input nodes are <variables> or constants in a <field>, and whose internal gates perform <addition>, <subtraction>, or <multiplication>. Gates may reuse earlier outputs, so the circuit can represent a <polynomial> without listing all its <monomials>.