diff --git a/include/nil/crypto3/zk/snark/systems/plonk/placeholder/public_input.hpp b/include/nil/crypto3/zk/snark/systems/plonk/placeholder/public_input.hpp index 4c023b1cf..5af5971b2 100644 --- a/include/nil/crypto3/zk/snark/systems/plonk/placeholder/public_input.hpp +++ b/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; diff --git a/test/systems/plonk/placeholder/circuits.hpp b/test/systems/plonk/placeholder/circuits.hpp index 093b2c880..e94f53cce 100644 --- a/test/systems/plonk/placeholder/circuits.hpp +++ b/test/systems/plonk/placeholder/circuits.hpp @@ -478,7 +478,7 @@ namespace nil { test_circuit.lookup_gates.push_back(lookup_gate); plonk_variable pi0(0, 0, false, plonk_variable::column_type::witness); - plonk_variable pi1(1, 0, false, plonk_variable::column_type::witness); + plonk_variable pi1(1, 2, false, plonk_variable::column_type::witness); test_circuit.public_input_gate.push_back(pi0); test_circuit.public_input_gate.push_back(pi1);