See how common programming concepts can be implemented in circuit compilers
Field elements are the base units in these models
Create two functions to express the operations of these field elements
Compilers compile these functions into arithmetic gates
Regular compilers also do the same thing replacing functions or gadgets with predefined associated circuits.
see my ipad
<aside> 💡 Are circuit programs turing complete?
Loops cannot be defined with unbounded defined
</aside>