add initial bls12381 examples #54

examples/cpp/CMakeLists.txt

@@ -119,3 +119,5 @@ add_example_without_proving(balances_tree_cpp_example SOURCES balances_tree.cpp
 
 add_example_without_proving(eddsa_signature_verification_cpp SOURCES eddsa_signature_verification.cpp INPUT eddsa_signature_verification.inp)
 add_example_without_proving(zkbridge_cpp SOURCES zkbridge.cpp INPUT zkbridge.inp)
+
+# add_example_with_proving(bls12_381_curve_add SOURCES bls12_381_curve_add.cpp INPUT bls12_381_curve_add.inp)

examples/cpp/bls12_381_curve_add.cpp

@@ -0,0 +1,15 @@
+[[circuit]] __zkllvm_curve_bls12381 add(__zkllvm_curve_bls12381 a, __zkllvm_curve_bls12381 b) {
+    return a + b;
+}
+
+
+// #include <nil/crypto3/algebra/curves/bls12.hpp>
+
+// using namespace nil::crypto3::algebra::curves;
+
+// [[circuit]] typename bls12<381>::template g1_type<>::value_type hash_to_curve(
+//     typename bls12<381>::template g1_type<>::value_type a,
+//     typename bls12<381>::template g1_type<>::value_type b) {
+
+//     return a + b;
+// }

examples/cpp/bls12_381_field_add.cpp

@@ -0,0 +1,20 @@
+#include <nil/crypto3/algebra/fields/bls12/base_field.hpp>
+
+using namespace nil::crypto3::algebra::fields;
+
+[[circuit]] typename bls12_base_field<381>::value_type add(
+    typename bls12_base_field<381>::value_type a,
+    typename bls12_base_field<381>::value_type b) {
+
+    return a + b;
+}
+
+
+
+
+// [[circuit]] typename ed25519::template g1_type<nil::crypto3::algebra::curves::coordinates::affine>::value_type curve_mul(
+//         typename ed25519::template g1_type<nil::crypto3::algebra::curves::coordinates::affine>::value_type point,
+//         typename ed25519::scalar_field_type::value_type scalar) {
+
+//     return point * scalar;
+// }

examples/inputs/bls12_381_curve_add.inp

@@ -0,0 +1,4 @@
+[
+    {"curve":[1, 1]},
+    {"curve":[1, 1]}
+]

examples/inputs/bls12_381_field_add.inp

@@ -0,0 +1,2 @@
+[ {"field":"999"},
+    {"field":"0x1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaaa"} ]