EVM verifier and recursive verifier gen updated #39

Author: ETatuzova

include/nil/blueprint/transpiler/evm_verifier_gen.hpp

@@ -898,7 +898,7 @@ namespace nil {
                 reps["$LOOKUP_LIBRARY_CALL$"] = _use_lookups ? lookup_library_call :"        //No lookups";
                 reps["$TEST_NAME$"] = _test_name;
                 reps["$MODULUS$"] = to_string(PlaceholderParams::field_type::modulus);
-                reps["$VERIFICATION_KEY1$"] = "0x" + to_string(_common_data.vk.constraint_system_hash);
+                reps["$VERIFICATION_KEY1$"] = "0x" + to_string(_common_data.vk.constraint_system_with_params_hash);
                 reps["$VERIFICATION_KEY2$"] = "0x" + to_string(_common_data.vk.fixed_values_commitment);
                 reps["$BATCHES_NUM$"] = _use_lookups ? "5" :"4";
                 reps["$EVAL_PROOF_OFFSET$"] = _use_lookups ? "0xa1" :"0x79";

include/nil/blueprint/transpiler/lpc_scheme_gen.hpp

@@ -157,7 +157,7 @@ namespace nil {
 
             std::vector<std::uint8_t> init_blob = {};
             nil::crypto3::zk::transcript::fiat_shamir_heuristic_sequential<typename PlaceholderParams::transcript_hash_type> transcript(init_blob);
-            transcript(common_data.vk.constraint_system_hash);
+            transcript(common_data.vk.constraint_system_with_params_hash);
             transcript(common_data.vk.fixed_values_commitment);
             auto etha = transcript.template challenge<typename PlaceholderParams::field_type>();
 

include/nil/blueprint/transpiler/recursive_verifier_generator.hpp

@@ -370,7 +370,7 @@ namespace nil {
 
                 out << "\t{\"array\":[" << std::endl;
                 out << "\t\t" << generate_hash<typename PlaceholderParams::transcript_hash_type>(
-                    vk.constraint_system_hash
+                    vk.constraint_system_with_params_hash
                 ) << "," << std::endl;
                 out << "\t\t" << generate_hash<typename PlaceholderParams::transcript_hash_type>(
                     vk.fixed_values_commitment