Skip to content

recursion-v2: bind batch main verifier constraints #1377

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

Open
hero78119 wants to merge 32 commits into
base: feat/recursion-v2-merge-master
Choose a base branch
from
Open

recursion-v2: bind batch main verifier constraints #1377

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
32 commits
Select commit Hold shift + click to select a range
3d3094e
Complete recursion v2 main prefix migration
hero78119 Jul 3, 2026
942fa53
Bind main global sumcheck to final claim
hero78119 Jul 3, 2026
50badb2
checkpoint recursion main frontload baseline
hero78119 Jul 3, 2026
f83c458
Harden recursion v2 batch main constraints
hero78119 Jul 4, 2026
eb54d88
fix and consistent tower challenge
hero78119 Jul 4, 2026
dc01b26
Add multi-row main selector AIR
hero78119 Jul 6, 2026
4a492d1
Implement recursion v2 selector formula evaluation
hero78119 Jul 6, 2026
45a3d32
Constrain main selector quark evaluation
hero78119 Jul 6, 2026
4d95848
Constrain main selector eq_lte evaluation
hero78119 Jul 6, 2026
89c4492
recursion-v2: bind selector point producers
hero78119 Jul 6, 2026
ae325ed
recursion-v2: bind ecc bridge selector points
hero78119 Jul 6, 2026
2819b43
recursion-v2: bind ecc rt replay in air
hero78119 Jul 6, 2026
fa9f023
Split ECC RT verifier AIR
hero78119 Jul 6, 2026
46c2cd0
Clean up batch placeholders and enforce tower eval
hero78119 Jul 6, 2026
f79fd33
Fix tower replay weighted fold semantics
hero78119 Jul 6, 2026
0cb7869
recursion-v2: wire pcs verifier airs
hero78119 Jul 7, 2026
99ef296
recursion-v2: bind pcs sumcheck claims
hero78119 Jul 7, 2026
6575f28
recursion-v2: bind jagged assist input
hero78119 Jul 7, 2026
e61a90d
Add jagged PCS claim AIR
hero78119 Jul 7, 2026
b78e71c
recursion-v2: bind PCS helper AIRs
hero78119 Jul 7, 2026
729724c
recursion-v2: bind jagged assist q operand
hero78119 Jul 7, 2026
e3b7e9a
recursion-v2: bind basefold final expected claim
hero78119 Jul 7, 2026
c665bab
recursion-v2: bind basefold final codeword rows
hero78119 Jul 7, 2026
f1a63ca
pcs in recursion
hero78119 Jul 7, 2026
25abcc0
test: cover pcs preflight soundness bindings
hero78119 Jul 7, 2026
8c2c5de
remove local patch
hero78119 Jul 7, 2026
b05a9de
Fix recursion v2 two-shard aggregation
hero78119 Jul 7, 2026
a21b506
Add recursion v2 rotation replay debug logs
hero78119 Jul 7, 2026
5f70e8b
chores: ci happy
hero78119 Jul 8, 2026
10da1d9
chore: remove debugging utility CENO_REC_V2_REAL_VK_DIGEST
hero78119 Jul 8, 2026
70a9ede
Merge pull request #1378 from scroll-tech/feat/recursion_pcs
hero78119 Jul 8, 2026
16b97e5
cleanup
hero78119 Jul 8, 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
22 changes: 11 additions & 11 deletions ceno_recursion_v2/Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

185 changes: 0 additions & 185 deletions ceno_recursion_v2/src/batch_constraint/expr_eval/constraints_folding/air.rs
View file
Open in desktop

This file was deleted.

5 changes: 0 additions & 5 deletions ceno_recursion_v2/src/batch_constraint/expr_eval/constraints_folding/mod.rs
View file
Open in desktop

This file was deleted.

Loading
Loading