minor changes #41

NilFoundation · May 31, 2023 · ee832b5 · ee832b5
1 parent 667b55f
commit ee832b5
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 1 deletion.
diff --git 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
@@ -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
@@ -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;