https://howtorust.com/implementing-an-arithmetic-circuit-compiler-in-rust/