Some tests fixed #335

NilFoundation · Apr 10, 2024 · a999296 · a999296
1 parent ffe429f
commit a999296
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 14 deletions.
diff --git a/include/nil/blueprint/components/systems/snark/plonk/flexible/swap.hpp b/include/nil/blueprint/components/systems/snark/plonk/flexible/swap.hpp
@@ -75,12 +75,14 @@ namespace nil {
                     return manifest;
                 }
 
-                constexpr static std::size_t get_rows_amount() {
+                constexpr static std::size_t get_rows_amount(
+                    std::size_t witness_amount
+                ) {
                     return 1;
                 }
 
                 constexpr static const std::size_t gates_amount = 1;
-                const std::size_t rows_amount = get_rows_amount();
+                const std::size_t rows_amount = get_rows_amount(this->witness_amount());
 
                 struct input_type {
 	                std::array<var, 3> inp; // the array of pairs of elements

diff --git a/test/verifiers/placeholder/verifier.cpp b/test/verifiers/placeholder/verifier.cpp
@@ -171,17 +171,6 @@ struct default_zkllvm_params{
                     marshalled_data
             );
         }
-
-        auto filled_val = nil::crypto3::marshalling::types::fill_plonk_constraint_system<Endianness, constraint_system_type>(constraint_system);
-        std::vector<std::uint8_t> cv;
-        cv.resize(filled_val.length(), 0x00);
-        auto write_iter = cv.begin();
-        nil::marshalling::status_type status = filled_val.write(write_iter, cv.size());
-        std::ofstream out;
-        out.open(filename, std::ios_base::binary | std::ios_base::out);
-        out.write(reinterpret_cast<char*>(cv.data()), cv.size());
-        out.close();
-
         return constraint_system;
     }
 
@@ -408,7 +397,7 @@ void test_multiple_arithmetizations(std::string folder_name){
 BOOST_AUTO_TEST_SUITE(blueprint_pallas_test_suite)
 
 BOOST_AUTO_TEST_CASE(basic_test) {
-    test_multiple_arithmetizations<default_zkllvm_params>("../libs/blueprint/test/verifiers/placeholder/data/merkle_tree_poseidon");
+    test_multiple_arithmetizations<default_zkllvm_params>("../../../libs/blueprint/test/verifiers/placeholder/data/merkle_tree_poseidon");
 }
 
 // TODO: add vesta tests