Skip to content

fix: Fix script for testing vks haven't changed#20852

Merged
federicobarbacovi merged 5 commits into
merge-train/barretenbergfrom
fb/fix_test_chonk_vk_script
Feb 25, 2026
Merged

fix: Fix script for testing vks haven't changed#20852
federicobarbacovi merged 5 commits into
merge-train/barretenbergfrom
fb/fix_test_chonk_vk_script

Conversation

@federicobarbacovi

Copy link
Copy Markdown
Contributor

When verifying the inputs can be proven, we were extracting the exit code of bb prove to a variable that was never used. This meant that the script would always pass, even though the inputs were wrong.

@federicobarbacovi federicobarbacovi self-assigned this Feb 25, 2026
@federicobarbacovi federicobarbacovi marked this pull request as ready for review February 25, 2026 12:14
@notnotraju notnotraju self-requested a review February 25, 2026 12:21

@notnotraju notnotraju left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@federicobarbacovi federicobarbacovi enabled auto-merge (squash) February 25, 2026 12:24
@federicobarbacovi federicobarbacovi added the ci-full Run all master checks. label Feb 25, 2026
@federicobarbacovi federicobarbacovi merged commit 57adc51 into merge-train/barretenberg Feb 25, 2026
19 of 20 checks passed
@federicobarbacovi federicobarbacovi deleted the fb/fix_test_chonk_vk_script branch February 25, 2026 18:50
github-merge-queue Bot pushed a commit that referenced this pull request Feb 27, 2026
BEGIN_COMMIT_OVERRIDE
chore: builders audit response 0 (#20792)
feat: early circuit block deallocation after trace populate (#20776)
fix: Fix script for testing vks haven't changed (#20852)
fix: move debug_incoming_circuit before block deallocation in
Chonk::accumulate (#20876)
refactor: deduplicate debug_incoming_circuit in Chonk::accumulate
(#20870)
fix: denoise causing mysterious error 141 (#20871)
feat: make clang20 preset use zig with glibc 2.35 (#20897)
chore: remove final instances of unneeded +1 in SRS construction
(#20912)
chore: avoid use of size_t in bbapi to be safe (#20916)
chore: Claudebox remedy example (#20922)
END_COMMIT_OVERRIDE
johnathan79717 pushed a commit that referenced this pull request Mar 4, 2026
When verifying the inputs can be proven, we were extracting the exit
code of `bb prove` to a variable that was never used. This meant that
the script would always pass, even though the inputs were wrong.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci-full Run all master checks.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants