Integral arithmetics example added. #122

Author: nkaskov

examples/CMakeLists.txt

@@ -57,6 +57,7 @@ function(add_example example_target)
 endfunction()
 
 add_example(arithmetics_example SOURCES arithmetics.cpp INPUT arithmetics.inp)
+add_example(integral_arithmetics_example SOURCES integral_arithmetics.cpp INPUT integral_arithmetics.inp)
 add_example(poseidon_example SOURCES poseidon.cpp INPUT poseidon.inp)
 add_example(merkle_tree_poseidon_example SOURCES merkle_tree_poseidon.cpp INPUT merkle_tree_poseidon.inp)
 add_example(merkle_tree_sha2_256_example SOURCES merkle_tree_sha2_256.cpp INPUT merkle_tree_sha2_256.inp)

examples/integral_arithmetics.cpp

@@ -0,0 +1,16 @@
+int pow(int a, int n) {
+    if (n == 0)
+        return 1;
+
+    int res = 1;
+    for (int i = 0; i < n; ++i) {
+        res *= a;
+    }
+    return res;
+}
+
+[[circuit]] int int_arithmetic_example(int a, int b) {
+    int c = (a + b) * a + b * (a + b) * (a + b);
+    const int constant = 77;
+    return c * c * c * (b - a) + pow(a, 2) + constant;
+}

examples/integral_arithmetics.inp

@@ -0,0 +1,4 @@
+[
+  {"int": 5},
+  {"int": 11}
+]