From ee832b572b92fb5defcba041e9740c3cb619ece5 Mon Sep 17 00:00:00 2001
From: CblPOK-git <aleksandr.cherenkov.3@gmail.com>
Date: Wed, 31 May 2023 09:26:36 +0000
Subject: [PATCH] minor changes #41

---
 include/nil/blueprint/hashes/sha2_512.hpp |  3 ++-
 include/nil/blueprint/parser.hpp          | 16 ++++++++++++++++
 include/nil/blueprint/public_input.hpp    |  1 +
 3 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/include/nil/blueprint/hashes/sha2_512.hpp b/include/nil/blueprint/hashes/sha2_512.hpp
index 3f6fbf97..752905a7 100644
--- a/include/nil/blueprint/hashes/sha2_512.hpp
+++ b/include/nil/blueprint/hashes/sha2_512.hpp
@@ -82,7 +82,8 @@ namespace nil {
                 components::generate_assignments(sha2_512_component_instance, assignmnt, sha2_512_instance_input, start_row);
 
             using reduction_component_type = components::reduction<
-                crypto3::zk::snark::plonk_constraint_system<BlueprintFieldType, ArithmetizationParams>, BlueprintFieldType, 9>;
+                crypto3::zk::snark::plonk_constraint_system<BlueprintFieldType, ArithmetizationParams>, BlueprintFieldType, 9,
+                basic_non_native_policy<BlueprintFieldType>>;
 
             reduction_component_type reduction_component_instance({0, 1, 2, 3, 4, 5, 6, 7, 8}, {0}, {});
 
diff --git a/include/nil/blueprint/parser.hpp b/include/nil/blueprint/parser.hpp
index 4983e83f..5013d964 100644
--- a/include/nil/blueprint/parser.hpp
+++ b/include/nil/blueprint/parser.hpp
@@ -275,6 +275,22 @@ namespace nil {
                         handle_sha2_512_component<BlueprintFieldType, ArithmetizationParams>(inst, frame, bp, assignmnt, start_row);
                         return true;
                     }
+                    case llvm::Intrinsic::assigner_curve25519_affine_addition: {
+                        assert(false&&"intrinsic is not implemented yet");
+                        return false;
+                    }
+                    case llvm::Intrinsic::assigner_curve25519_affine_subtraction: {
+                        assert(false&&"intrinsic is not implemented yet");
+                        return false;
+                    }
+                    case llvm::Intrinsic::assigner_curve25519_affine_double: {
+                        assert(false&&"intrinsic is not implemented yet");
+                        return false;
+                    }
+                    case llvm::Intrinsic::assigner_curve25519_affine_scalar_mul: {
+                        assert(false&&"intrinsic is not implemented yet");
+                        return false;
+                    }
                     case llvm::Intrinsic::memcpy: {
                         Pointer<var> dst = resolve_pointer(frame, inst->getOperand(0));
                         llvm::Value *src_val = inst->getOperand(1);
diff --git a/include/nil/blueprint/public_input.hpp b/include/nil/blueprint/public_input.hpp
index 46fb8dbe..92f4dd60 100644
--- a/include/nil/blueprint/public_input.hpp
+++ b/include/nil/blueprint/public_input.hpp
@@ -281,6 +281,7 @@ namespace nil {
                         arg_len = getStdArrayLen(arg_type);
                         if (arg_len == 0) {
                             std::cerr << "Got pointer argument, only pointers to std::array are supported" << std::endl;
+                            assert(false && "Got pointer argument, only pointers to std::array are supported");
                             return false;
                         }
                         is_array = true;