Basic ZkSnark circuit using halo2 rust. Provided documentation for better understanding. circuit for x ^ 3 + x + 5 == 35 Hint: x = 3 to make circuit pass