We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b871b25 commit fbcf74fCopy full SHA for fbcf74f
1 file changed
barretenberg/cpp/src/barretenberg/stdlib/protogalaxy_verifier/protogalaxy_recursive_verifier.test.cpp
@@ -272,7 +272,10 @@ class ProtogalaxyRecursiveTests : public testing::Test {
272
// No tampering
273
break;
274
case InstanceTamperingMode::Wires:
275
- prover_inst->polynomials.w_l.at(1) += NativeFF(1);
+ // Tamper with each row to ensure a non-trivial (non-skippable) value is effected
276
+ for (auto& val : prover_inst->polynomials.w_l.coeffs()) {
277
+ val += NativeFF(1);
278
+ }
279
run_oink();
280
is_valid = check_accumulator_target_sum_manual(prover_inst);
281
// Reset so that PG runs Oink on this instance
0 commit comments