add ed25519_field_add example, disable ed25519 curve add example #127

CblPOK-git · CblPOK-git · commit ec0904cc9480 · 2023-07-05T16:11:27.000Z
diff --git a/examples/cpp/CMakeLists.txt b/examples/cpp/CMakeLists.txt
@@ -75,5 +75,6 @@ add_example(pallas_curve_addition_cpp_example
 #add_example(pallas_curve_mul_add_cpp_example
 #            SOURCES pallas_curve_examples/pallas_curve_mul_add.cpp
 #            INPUT pallas_curve_examples/pallas_curve_mul_add.inp)
-add_example(ed25519_curve_add_cpp SOURCES ed25519_curve_add.cpp INPUT ed25519_curve_add.inp)
+#add_example(ed25519_curve_add_cpp SOURCES ed25519_curve_add.cpp INPUT ed25519_curve_add.inp)
+add_example(ed25519_field_add_cpp SOURCES ed25519_field_add.cpp INPUT ed25519_field_add.inp)
 add_example(strlen_cpp_example SOURCES strlen.cpp INPUT strlen.inp)
diff --git a/examples/cpp/ed25519_field_add.cpp b/examples/cpp/ed25519_field_add.cpp
@@ -0,0 +1,4 @@
+[[circuit]] __zkllvm_field_curve25519_base curve_addition(__zkllvm_field_curve25519_base a,
+                                                            __zkllvm_field_curve25519_base b) {
+    return a + b;
+}
diff --git a/examples/inputs/ed25519_field_add.inp b/examples/inputs/ed25519_field_add.inp
@@ -0,0 +1,2 @@
+[ {"field":"28228228228228228228228"},
+  {"field":"28228228228228228228228"} ]
