Skip to content

Pull requests: scroll-tech/ceno

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

More standard library functions
#784 opened Dec 23, 2024 by matthiasgoergens Loading…
Bump env_logger from 0.11.5 to 0.11.6 dependencies Pull requests that update a dependency file
#783 opened Dec 23, 2024 by dependabot bot Queued
Sorting with hints
#764 opened Dec 16, 2024 by matthiasgoergens Draft
WHIR wrapper
#742 opened Dec 12, 2024 by yczhangsjtu Draft
Feat/structural witin add
#740 opened Dec 12, 2024 by 10to4 Loading…
Ecall demo with Keccak-f
#717 opened Dec 9, 2024 by naure Loading…
Fix DynVolatileRamTable::max_len
#716 opened Dec 9, 2024 by matthiasgoergens Loading…
[WIP] add SPARK PCS
#713 opened Dec 9, 2024 by hero78119 Draft
1 of 4 tasks
Upgrade plonky2
#708 opened Dec 6, 2024 by matthiasgoergens Loading…
[WIP] add collapsible for opcode and table prove
#680 opened Dec 3, 2024 by hero78119 Loading…
use assert_satisfied_raw in assert_satisfied_full e2e tests cleanup Refactors, simplifications, hindsight 20/20 tasks. debugging tool
#649 opened Nov 28, 2024 by zemse Loading…
Add num_instances to transcript
#648 opened Nov 27, 2024 by emmorais Loading…
Official Risc-V tests (WIP)
#562 opened Nov 6, 2024 by matthiasgoergens Loading…
4 tasks
ProTip! What’s not been updated in a month: updated:<2024-11-23.