Skip to content

Pull requests: scroll-tech/ceno

New pull request New
49 Open 883 Closed
49 Open 883 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Forked Transcript in Recursion V2
#1284 opened Mar 30, 2026 by darth-cy Loading…
1
misc: unify flow of prod check across all chip
#1283 opened Mar 29, 2026 by hero78119 Loading…
unify logup sum across table/non-table chip
#1282 opened Mar 28, 2026 by hero78119 Loading…
commit pi as hash digest
#1281 opened Mar 27, 2026 by hero78119 Loading…
refactor(zkvm): canonicalize PI transcript/opening flow via instance_value + PublicValues
#1277 opened Mar 25, 2026 by hero78119 Loading…
refactor(zkvm): store one chip proof per circuit
#1271 opened Mar 20, 2026 by hero78119 • Draft
1
[recursion] ceno recursion v2
#1263 opened Mar 6, 2026 by hero78119 • Draft
feat: Make StepRecord use repr(C) layout
#1260 opened Mar 4, 2026 by Velaciela Loading…
5
feat: GPU witness generation (RV32IM + Keccak + ShardRam)
#1259 opened Mar 3, 2026 by Velaciela Loading…
8
[recursion] refactor with static inline
#1252 opened Feb 6, 2026 by hero78119 Loading…
feat: group expressions by selectors
#1251 opened Feb 1, 2026 by spherel Loading…
#1084 follow up: verifier check on dynamic init table
#1223 opened Jan 12, 2026 by hero78119 Loading…
5
lw/sw single chip
#1219 opened Jan 7, 2026 by hero78119 Loading…
1
Add Root and Halo2 Prover/Verifier
#1193 opened Dec 11, 2025 by darth-cy Loading…
10
GKR Cycle Reduction for Keccak_syscall Example
#1179 opened Dec 8, 2025 by darth-cy Loading…
2
feat: add more tests
#1146 opened Nov 21, 2025 by lightsing • Draft
improve arithmetics efficiency of expression
#1122 opened Nov 7, 2025 by hero78119 Loading…
6
Address review comments in #1061
#1108 opened Oct 31, 2025 by kunxian-xia Loading…
1 of 3 tasks
3
Additional testing for changes due to rayon being replaced by p3::maybe-rayon
#1080 opened Oct 1, 2025 by Sahilgill24 • Draft
3
ci test for non-u16limb-circuit
#1049 opened Sep 1, 2025 by hero78119 Loading…
Docs: explain prover's design for precompiles
#1033 opened Aug 24, 2025 by kunxian-xia Loading…
4
[DONT' MERGE] simple babybear arithmetic examples
#997 opened Aug 4, 2025 by kunxian-xia Loading…
[Experiment] new crates subprotocols
#960 opened May 30, 2025 by hero78119 • Draft
docs (README.md): fix typo
#958 opened May 28, 2025 by gap-editor Loading…
[EXPERIMENT] experiment 4-1 logup/product arguments
#932 opened Apr 30, 2025 by hero78119 • Draft
ProTip! Mix and match filters to narrow down what you’re looking for.