Skip to content

fix: leaf circuit (tower module)#1372

Open
kunxian-xia wants to merge 6 commits into
feat/recursion-v2from
fix/recursion-v2
Open

fix: leaf circuit (tower module)#1372
kunxian-xia wants to merge 6 commits into
feat/recursion-v2from
fix/recursion-v2

Conversation

@kunxian-xia

Copy link
Copy Markdown
Collaborator

No description provided.

@kunxian-xia kunxian-xia changed the title wip: leaf circuit fix fix: leaf circuit (tower module) Jun 26, 2026
## 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

- [x] 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).
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.

1 participant