placeholder_circuit_test_3 changed #180

Author: ETatuzova

include/nil/crypto3/zk/snark/systems/plonk/placeholder/public_input.hpp

@@ -110,7 +110,7 @@ namespace nil {
 
                         for(std::size_t i = 0; i < public_input_gate.size(); i++){
                             const auto &var = public_input_gate[i];
-                            auto key = std::tuple(var.index, var.rotation, var.type);
+                            auto key = std::tuple(var.index, 0, var.type);
                             auto value = columns_at_y[key] - public_input[i];
                             value *= math::polynomial_shift(common_data.lagrange_0, var.rotation, common_data.basic_domain->m).evaluate(challenge);
                             result *= alpha;

test/systems/plonk/placeholder/circuits.hpp

@@ -478,7 +478,7 @@ namespace nil {
                     test_circuit.lookup_gates.push_back(lookup_gate);
 
                     plonk_variable<assignment_type> pi0(0, 0, false,  plonk_variable<assignment_type>::column_type::witness);
-                    plonk_variable<assignment_type> pi1(1, 0, false,  plonk_variable<assignment_type>::column_type::witness);
+                    plonk_variable<assignment_type> pi1(1, 2, false,  plonk_variable<assignment_type>::column_type::witness);
                     test_circuit.public_input_gate.push_back(pi0);
                     test_circuit.public_input_gate.push_back(pi1);