Skip to content

[recursion] ceno recursion v2 #1263

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
hero78119 wants to merge 64 commits into
base: master
Choose a base branch
from
Draft

[recursion] ceno recursion v2 #1263

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
64 commits
Select commit Hold shift + click to select a range
b2a5415
add system,gkr air
hero78119 Mar 6, 2026
95c6898
ceno_recursion_v2: stub inner agg prover
hero78119 Mar 7, 2026
bb3b9fd
ceno_recursion_v2: wire dependencies and run check
hero78119 Mar 7, 2026
3adbe99
ceno_recursion_v2: flesh out inner test
hero78119 Mar 7, 2026
09942ff
ceno_recursion_v2: move skills folder local
hero78119 Mar 9, 2026
69f31f9
fork proof-shape module and expose required shims
hero78119 Mar 9, 2026
db92602
docs: add proof shape and system specs
hero78119 Mar 9, 2026
93f16f4
wrap BatchConstraintModule around upstream
hero78119 Mar 10, 2026
6ae7bc2
format code
hero78119 Mar 10, 2026
6fc4241
docs: capture planned GKR refactor
hero78119 Mar 10, 2026
b30a493
Add placeholder GKR idx and claims
hero78119 Mar 10, 2026
3815879
Align GKR layer AIR with new loop counters
hero78119 Mar 10, 2026
a525323
feat(gkr): scaffold prod/logup claim splits
hero78119 Mar 11, 2026
e8ee89d
chore(gkr): remove bus extension traits
hero78119 Mar 11, 2026
1cbced2
fix(gkr): correct per-layer loops and logup folding
hero78119 Mar 11, 2026
913c5d4
refactor(gkr): add lambda-prime accumulators
hero78119 Mar 12, 2026
f4b69af
more comment
hero78119 Mar 12, 2026
1f33490
fix(gkr): thread idx through sumcheck
hero78119 Mar 12, 2026
ccf37ef
feat(gkr): echo lambda/mu via layer output
hero78119 Mar 12, 2026
9109a9a
chore(gkr): drop xi sampler wiring
hero78119 Mar 12, 2026
1b3e494
wip more trait type in RecursionProof
hero78119 Mar 12, 2026
349196a
bump p3 to 0.4.1
hero78119 Mar 13, 2026
1625324
stub recursion tracegen path
hero78119 Mar 13, 2026
5848f97
rng stub
hero78119 Mar 13, 2026
41e4037
Populate GKR traces from ZKVM proofs
hero78119 Mar 13, 2026
8ece50a
commit docs change
hero78119 Mar 13, 2026
27b3135
add cuda module
hero78119 Mar 13, 2026
1dde903
Align recursion CPU/CUDA tracegen with upstream
hero78119 Mar 16, 2026
ec7b757
Simplify GKR buses and inventory
hero78119 Mar 16, 2026
7b05252
separate raed/write count constraint
hero78119 Mar 17, 2026
f59d198
Add main module trace wiring
hero78119 Mar 17, 2026
15b5cb0
add main sumcheck final eval airs
hero78119 Mar 17, 2026
77a3162
Refactor expression tracegen for recursion vk
hero78119 Mar 17, 2026
f6f2f23
use upstream SystemParam
hero78119 Mar 18, 2026
2568f0b
simplify and cleanup proof-shape
hero78119 Mar 18, 2026
e643b77
misc: update specs
hero78119 Mar 18, 2026
786a195
wip: investigate unittest output
hero78119 Mar 18, 2026
f631c17
Add diagnostics for subcircuit proving context failures
hero78119 Mar 18, 2026
91cc6ec
wip: unittest debug constraint panic
hero78119 Mar 18, 2026
882580d
Checkpoint local inner-circuit fork scaffold
hero78119 Mar 18, 2026
4cc427e
Re-enable inner pre/post context wiring for proving ctx
hero78119 Mar 18, 2026
6b1a269
Align inner-circuit RecursionProof fork and refresh migration skill
hero78119 Mar 19, 2026
d2bfbed
Fork transcript tracegen for RecursionProof and wire system module
hero78119 Mar 19, 2026
a9ebe3e
Patch stark-backend deps to hero78119 develop-v2 fork
hero78119 Mar 19, 2026
a45fcfe
Make placeholder traces width-correct and use real pow/exp tracegen
hero78119 Mar 19, 2026
e902c5f
misc: fmt
hero78119 Mar 19, 2026
c017ecf
rename gkr -> tower
hero78119 Mar 19, 2026
7bc2858
refactor(system): use local BusInventory in aggregation interfaces
hero78119 Mar 19, 2026
2d9c232
Refactor preflight transcript replay across proof-shape/main/tower
hero78119 Mar 19, 2026
f393565
Scaffold BatchConstraintModule and park system wiring behind TODOs
hero78119 Mar 19, 2026
93593e9
masked cache commit
hero78119 Mar 24, 2026
1c4ffc5
proof-shape: drop pow-bus wiring and align log-height semantics
hero78119 Mar 24, 2026
feb12a8
proof-shape: add CommitAir with commitments-tidx handoff
hero78119 Mar 24, 2026
63e8c37
misc: format
hero78119 Mar 24, 2026
d5e4d09
continuation: observe transcript label via shared utils helper
hero78119 Mar 24, 2026
0f03639
inner-vm-pvs: fork public-values layout and defer bus mapping
hero78119 Mar 24, 2026
e04638c
trace generation for proof shape
darth-cy Mar 25, 2026
059d02f
trace generation for tower
darth-cy Mar 26, 2026
84c67b2
Merge pull request #1279 from scroll-tech/trace/v2_tower
hero78119 Mar 26, 2026
1335f5f
remove debug constraint gating
darth-cy Mar 26, 2026
ebb0ecf
clippy + fmt
darth-cy Mar 26, 2026
e2767ac
build
darth-cy Mar 26, 2026
d547019
clippy
darth-cy Mar 26, 2026
0a22d3c
Merge pull request #1278 from scroll-tech/trace/v2_proof_shape
hero78119 Mar 26, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,3 +15,4 @@ docs/book
# ceno serialized files
*.bin
*.json
*.srs
Loading