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

refactor to replace v1 by v2 and cleanup suffix
#791 opened Dec 27, 2024 by hero78119 Loading…
More standard library functions
#784 opened Dec 23, 2024 by matthiasgoergens Loading…
Sorting with hints
#764 opened Dec 16, 2024 by matthiasgoergens Draft
WHIR wrapper
#742 opened Dec 12, 2024 by yczhangsjtu Draft
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! Adding no:label will show everything without a label.