Skip to content

Issues: scroll-tech/ceno

[Super Issue] Ceno-ZKVM V2
#95 opened Aug 6, 2024 by hero78119
Open 3
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

93 Open 135 Closed
93 Open 135 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Audit code for "false sharing" anti-patterns
#730 opened Dec 10, 2024 by mcalancea
Demo precompile as firmware.
#729 opened Dec 10, 2024 by naure
@naure
1
Precompile Trace Generation.
#728 opened Dec 10, 2024 by naure
1
Precompile Dummy Circuit
#727 opened Dec 10, 2024 by naure
Proposal: restructure examples/ directory
#709 opened Dec 6, 2024 by sdwoodbury
3
Proposal features: 16 -> 32 bit range check on LogUp enhancement New feature or request
#702 opened Dec 5, 2024 by hero78119
1 of 4 tasks
2
Sharding of witness generation and memory storage
#700 opened Dec 5, 2024 by lispc
Sharding impl optimization
#699 opened Dec 5, 2024 by lispc
Co-design and implementation of sharding+recursion
#698 opened Dec 5, 2024 by lispc
Sharding of 1st phase commitment
#697 opened Dec 5, 2024 by lispc
1
Sharding of opcode proving
#696 opened Dec 5, 2024 by lispc
1
CI for e2e examples examples integration
#694 opened Dec 4, 2024 by naure
Precompile Architecture enhancement New feature or request
#693 opened Dec 4, 2024 by naure
1 of 4 tasks
Ceno - Precompiles
1
@naure
2
Use property based testing
#687 opened Dec 4, 2024 by zemse
1
Rust standard library for guest programs (lean on SP1 and Risc0)
#684 opened Dec 3, 2024 by icemelon
Circuit support for IO primitives (ceno_zkvm)
#683 opened Dec 3, 2024 by icemelon
VM support for IO primitives (ceno_emul)
#682 opened Dec 3, 2024 by icemelon
Design of API from the guest's point of view (ceno_rt)
#681 opened Dec 3, 2024 by icemelon
sorting
#677 opened Dec 3, 2024 by icemelon
@matthiasgoergens
regex
#676 opened Dec 3, 2024 by icemelon
@matthiasgoergens
revm
#675 opened Dec 3, 2024 by icemelon
is_prime
#674 opened Dec 3, 2024 by icemelon
@naure
1
sproll-evm (with hints) building with ceno sdk
#673 opened Dec 3, 2024 by icemelon
@matthiasgoergens
1
Unify ADD and ADDI
#665 opened Dec 2, 2024 by matthiasgoergens
Update test programs vs platform config cleanup Refactors, simplifications, hindsight 20/20 tasks.
#658 opened Nov 30, 2024 by naure
@naure
1
ProTip! Follow long discussions with comments:>50.