Skip to content

fix(recursion-v2): balance tower transcript buses#1373

Merged
kunxian-xia merged 11 commits into
scroll-tech:fix/recursion-v2from
kunxian-xia:fix/tower-e2e-transcript-bus
Jul 2, 2026
Merged

fix(recursion-v2): balance tower transcript buses#1373
kunxian-xia merged 11 commits into
scroll-tech:fix/recursion-v2from
kunxian-xia:fix/tower-e2e-transcript-bus

Conversation

@kunxian-xia

@kunxian-xia kunxian-xia commented Jun 27, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • wire fork/global transcript ownership for tower and main transcript events
  • derive the main transcript claim from the tower replay instead of a placeholder
  • gate placeholder batch transcript samples so single-shard recursion v2 e2e balances buses

contents

  • TowerLayerSumcheckAir
  • TowerInputAir
  • TowerLayerAir

Tests

  • PASS: RUST_MIN_STACK=33554432 CENO_RECURSION_V2_TEST_LOG=logs/e2e-final-fix-tower-e2e-transcript-bus.log scripts/run_e2e_test.sh
  • FAIL: RUST_MIN_STACK=33554432 cargo test 'continuation::tests::prover_integration::agg_prover_two_shards' -- --nocapture
    • fails in VmPvsAir row constraints; log saved at logs/e2e-two-shards.log

Stacked on #1372 (base branch: fix/recursion-v2).

@hero78119 hero78119 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

some quick review

builder.assert_bool(local.is_first_idx);
builder.assert_bool(local.is_first_layer);
builder.assert_bool(local.is_first_round);
builder

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

what the different for chip_idx vs idx?

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

they points to same object, I've removed 'idx'.

.when(local.is_first_idx)
.assert_one(local.is_first_round);

type LoopSubAir = NestedForLoopSubAir<2>;

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

it seems just replace LoopSubAir with it plain version?

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

agent made this change, I haven't checked this part.

@kunxian-xia kunxian-xia merged commit 4de28c7 into scroll-tech:fix/recursion-v2 Jul 2, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants