-
Notifications
You must be signed in to change notification settings - Fork 43
Pull requests: scroll-tech/ceno
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
refactor(zkvm,gkr): simplify chip finalize flow
#1302
opened Apr 10, 2026 by
dreamATD
Collaborator
Loading…
refactor(zkvm,gkr): dedup ECC proof preparation and simplify main-eval wiring
#1301
opened Apr 10, 2026 by
hero78119
Collaborator
Loading…
refactor(ecc): soundness fix of wiring ecc evaluations to gkr-circuit
#1300
opened Apr 10, 2026 by
hero78119
Collaborator
Loading…
refactor(rotation): move rotation proof to chip level and unify selec…
#1299
opened Apr 9, 2026 by
hero78119
Collaborator
Loading…
fix(soundness): bind sumcheck/tower evaluations to Fiat-Shamir transcript
#1294
opened Apr 4, 2026 by
MavenRain
Loading…
feat: GPU witness generation (RV32IM + Keccak + ShardRam)
#1259
opened Mar 3, 2026 by
Velaciela
Collaborator
Loading…
#1084 follow up: verifier check on dynamic init table
#1223
opened Jan 12, 2026 by
hero78119
Collaborator
Loading…
improve arithmetics efficiency of expression
#1122
opened Nov 7, 2025 by
hero78119
Collaborator
Loading…
Address review comments in #1061
#1108
opened Oct 31, 2025 by
kunxian-xia
Collaborator
Loading…
1 of 3 tasks
Additional testing for changes due to rayon being replaced by p3::maybe-rayon
#1080
opened Oct 1, 2025 by
Sahilgill24
•
Draft
Docs: explain prover's design for precompiles
#1033
opened Aug 24, 2025 by
kunxian-xia
Collaborator
Loading…
[DONT' MERGE] simple
babybear arithmetic examples
#997
opened Aug 4, 2025 by
kunxian-xia
Collaborator
Loading…
Fix an example code in doc comments (cargo test tries to run it)
#928
opened Apr 28, 2025 by
yczhangsjtu
Collaborator
Loading…
Add binary exec to generate test vectors for verifier
#916
opened Apr 23, 2025 by
yczhangsjtu
Collaborator
Loading…
Previous Next
ProTip!
no:milestone will show everything without a milestone.