Skip to content

Add Public Value Logic to Recursion #1149

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

Merged
kunxian-xia merged 42 commits into from
Dec 4, 2025
Merged

Add Public Value Logic to Recursion #1149

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
42 commits
Select commit Hold shift + click to select a range
cfff75e
add ecc
darth-cy Nov 19, 2025
6d6c4b8
add gkr section
darth-cy Nov 19, 2025
4bdebaa
add gkr section
darth-cy Nov 20, 2025
6ee3a2b
fix selector
darth-cy Nov 20, 2025
396acd3
fix selector
darth-cy Nov 20, 2025
1846a86
fmt
darth-cy Nov 20, 2025
ae2dd31
clippy
darth-cy Nov 20, 2025
05d44b1
keep unit tests
darth-cy Nov 20, 2025
590b7c5
Remove debug flag
darth-cy Nov 20, 2025
a0ce0be
Merge branch 'master' into feat/recursion_ecc
darth-cy Nov 20, 2025
e4e4037
Add ecc arithmetics
darth-cy Nov 23, 2025
a85aad8
ecc arithmetics
darth-cy Nov 23, 2025
03ad436
ignore test
darth-cy Nov 24, 2025
4cc787c
Correct assertions
darth-cy Nov 24, 2025
bfedf5f
Correct assertions
darth-cy Nov 24, 2025
ac93404
Merge branch 'master' into feat/recursion_ecc
darth-cy Nov 25, 2025
4697e12
update bin compilation name
darth-cy Nov 25, 2025
48113d7
cargo dependency
darth-cy Nov 25, 2025
672693c
Complete rewriting aggregation with new dependency
darth-cy Nov 27, 2025
0bce2db
fmt
darth-cy Nov 27, 2025
57fcee8
Localize OpenVM dependency for debug
darth-cy Nov 30, 2025
21b5e85
Finish PI operations
darth-cy Nov 30, 2025
e731d61
Remove debug flags
darth-cy Nov 30, 2025
3551d25
Migrating to new v1.4.1 dependency with native sumcheck
darth-cy Dec 1, 2025
6bff857
Add back u16 adaptor
darth-cy Dec 1, 2025
a326718
Feat: use openvm gpu prover for recursion (#1158)
kunxian-xia Dec 1, 2025
2c299a8
openvm-cuda-backend is optional
kunxian-xia Dec 1, 2025
b446799
Recover internal recursion
darth-cy Dec 1, 2025
a22757c
Add debug flags
darth-cy Dec 1, 2025
4bdc652
Merge remote-tracking branch 'origin/master' into feat/recursion_pi
kunxian-xia Dec 3, 2025
682b199
update openvm-*
kunxian-xia Dec 3, 2025
ee26e4a
comment out batch_verify
kunxian-xia Dec 3, 2025
4473001
e2e_aggregate
kunxian-xia Dec 3, 2025
9ae35d6
Correct phantom air capacity
darth-cy Dec 3, 2025
e34167f
Merge branch 'master' into feat/recursion_pi
darth-cy Dec 3, 2025
78fef90
fmt
darth-cy Dec 3, 2025
f8470b6
clippy
darth-cy Dec 3, 2025
7225d00
Add the final ec sum infinity check
darth-cy Dec 4, 2025
0f3f4a2
clippy
darth-cy Dec 4, 2025
bc7e700
Ignore a test
darth-cy Dec 4, 2025
30357ce
clippy
kunxian-xia Dec 4, 2025
53b87f3
clippy
kunxian-xia Dec 4, 2025
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
2 changes: 1 addition & 1 deletion .github/workflows/integration.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -167,7 +167,7 @@ jobs:
env:
RUSTFLAGS: "-C opt-level=3"
run: |
cargo run --release --package ceno_recursion --bin e2e -- --platform=ceno --max-cycle-per-shard=1600 examples/target/riscv32im-ceno-zkvm-elf/release/examples/keccak_syscall
cargo run --release --package ceno_recursion --bin e2e_aggregate -- --platform=ceno --max-cycle-per-shard=1600 examples/target/riscv32im-ceno-zkvm-elf/release/examples/keccak_syscall

- name: Install cargo make
run: |
Expand Down
Loading