Skip to content

Commit bef541f

Browse files
authored
fix: verify accumulated pairing points in native ChonkVerifier (v4 backport) (#21975)
## Summary - Backport of 50ba735 to v4 - Native `ChonkVerifier::verify` was missing `kernel_io.pairing_inputs.check()` — the accumulated pairing points from inner recursive verifications - The recursive verifier already included this check; the native verifier did not - Adds the missing check for parity between native and recursive verification paths
2 parents 9f1ff27 + 30efbfe commit bef541f

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

barretenberg/cpp/src/barretenberg/chonk/chonk_verifier.cpp

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,12 @@ template <> ChonkVerifier<false>::Output ChonkVerifier<false>::verify(const Proo
2727
HidingKernelIO kernel_io;
2828
kernel_io.reconstruct_from_public(verifier.get_public_inputs());
2929

30+
// Check accumulated pairing points from the IVC chain (inner recursive verifications)
31+
if (!kernel_io.pairing_inputs.check()) {
32+
info("ChonkVerifier: verification failed at PI pairing points check");
33+
return false;
34+
}
35+
3036
// Step 2: Perform databus consistency check
3137
const Commitment calldata_commitment = verifier.get_calldata_commitment();
3238
const Commitment return_data_commitment = kernel_io.kernel_return_data;

0 commit comments

Comments
 (0)