Skip to content

chore(bb): refresh pinned Chonk IVC inputs (fixes nightly debug build)#23956

Closed
AztecBot wants to merge 1 commit into
nextfrom
cb/nightly-debug-chonk-refresh
Closed

chore(bb): refresh pinned Chonk IVC inputs (fixes nightly debug build)#23956
AztecBot wants to merge 1 commit into
nextfrom
cb/nightly-debug-chonk-refresh

Conversation

@AztecBot

@AztecBot AztecBot commented Jun 9, 2026

Copy link
Copy Markdown
Collaborator

What

Refreshes the pinned Chonk IVC inputs to 49442f24d1be75a0 (barretenberg/cpp/scripts/chonk-inputs.hash). The new tarball was regenerated and uploaded by the ci-refresh-chonk post-action from the current protocol circuits, and self-verified by proving the smallest refreshed flow in C++ and bb.js (which re-runs the exact failing test). Single commit, hash-only change.

Why — Nightly Debug Build failure

Nightly Debug Build failed every night for ≥4 days (runs #109#112, Jun 6–9), latest on next HEAD d9b6e71:

Root cause — stale pinned inputs

Accumulating circuit 10/10 (hiding_kernel), the old pinned VK (209dde8e69a27c9f) no longer matched the circuit built from current code:

Pub inputs offset mismatch: 669 vs 673
Commitment mismatch: Q_M / Q_C / Q_L / Q_R / Q_O / Q_4 / Q_5 ...

The kernel public-input layout grew by 4, so KernelIO::reconstruct_from_public read misaligned fields and the databus consistency check in chonk.cpp (process_public_inputs_and_consistency_checks) tripped:

Assertion failed: (kernel_return_data_match)
Reason: kernel_return_data mismatch: proof contains
  { 0x1832...e7ea4, 0x0 } but kernel_calldata commitment is { 0x..01, 0x..02 }

{0x..01, 0x..02} is the BN254 generator (an empty databus column) vs real return data in the proof — the "pinned inputs drifted from the protocol circuits" signal. It surfaces only in the debug nightly because the check is BB_ASSERT_DEBUG (compiled out of release; chonk_inputs.sh check runs --disable_asserts), which is why merge-queue CI stayed green while breaking protocol-circuit PRs merged without ci-refresh-chonk. No bb product code is changed here.

Notes

Ready to merge to next once marked ready-for-review.

@AztecBot AztecBot added ci-draft Run CI on draft PRs. ci-no-fail-fast Sets NO_FAIL_FAST in the CI so the run is not aborted on the first failure ci-refresh-chonk claudebox Owned by claudebox. it can push to this PR. labels Jun 9, 2026
@AztecBot AztecBot force-pushed the cb/nightly-debug-chonk-refresh branch from 40dd610 to 5f4588b Compare June 9, 2026 07:00
@AztecBot

AztecBot commented Jun 9, 2026

Copy link
Copy Markdown
Collaborator Author

Pinned Chonk inputs refreshed to 49442f24d1be75a0. The update commit includes a head-commit --ci-skip marker so the automatic follow-up run does not repeat CI.

Fixes the Nightly Debug Build failure in bbapi_tests ChonkPinnedIvcInputsTest.AllPinnedFlows: the pinned Chonk IVC inputs had drifted from the current protocol circuits (hiding_kernel public-input layout 669 -> 673), tripping the debug-only databus consistency assert in chonk.cpp. Inputs regenerated via the ci-refresh-chonk path; this is the freshly-captured hash.

--ci-skip
@AztecBot AztecBot force-pushed the cb/nightly-debug-chonk-refresh branch from 364cfa0 to 1ce7d66 Compare June 9, 2026 07:21
@AztecBot

Copy link
Copy Markdown
Collaborator Author

Automatically closing this stale claudebox draft PR (no updates for 5+ days). Re-open if still needed.

@AztecBot AztecBot closed this Jun 14, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci-draft Run CI on draft PRs. ci-no-fail-fast Sets NO_FAIL_FAST in the CI so the run is not aborted on the first failure claudebox Owned by claudebox. it can push to this PR.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant