diff --git a/include/nil/blueprint/transpiler/templates/recursive_verifier.hpp b/include/nil/blueprint/transpiler/templates/recursive_verifier.hpp
index d17bec8..3b0c7b0 100644
--- a/include/nil/blueprint/transpiler/templates/recursive_verifier.hpp
+++ b/include/nil/blueprint/transpiler/templates/recursive_verifier.hpp
@@ -474,7 +474,7 @@ typedef __attribute__((ext_vector_type(2)))
 
     // Commitment scheme
     std::array<pallas::base_field_type::value_type, singles_amount> singles = fill_singles(challenges.xi, challenges.eta);
-    std::array<pallas::base_field_type::value_type, unique_points+1> U;
+    std::array<pallas::base_field_type::value_type, unique_points+1> U{pallas::base_field_type::value_type(0)};
 
 $PREPARE_U_AND_V$
 
@@ -539,4 +539,4 @@ typedef __attribute__((ext_vector_type(2)))
     }
 }
 
-#endif //__RECURSIVE_VERIFIER_TEMPLATE_HPP__
\ No newline at end of file
+#endif //__RECURSIVE_VERIFIER_TEMPLATE_HPP__