x-index full check#335

NilFoundation · Apr 2, 2024 · 7a12a5d · 7a12a5d
1 parent 2361362
commit 7a12a5d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/include/nil/blueprint/components/systems/snark/plonk/verifier/verifier.hpp b/include/nil/blueprint/components/systems/snark/plonk/verifier/verifier.hpp
@@ -532,6 +532,11 @@ namespace nil {
                     (BlueprintFieldType::modulus - 1)/component.fri_domain_size
                 );
 
+                constant_pow_component_type constant_pow_instance(
+                    component.all_witnesses(), std::array<std::uint32_t, 1>({component.C(0)}), std::array<std::uint32_t, 0>(),
+                    (BlueprintFieldType::modulus - 1)/component.fri_domain_size
+                );
+
                 challenges.eta = poseidon_output.output_state[2];
                 row += poseidon_instance.rows_amount;