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

57 Open 123 Closed
57 Open 123 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

frontend design
#591 opened Nov 14, 2024 by kunxian-xia
@dreamATD
remu
#590 opened Nov 14, 2024 by kunxian-xia
@bgillesp
rem
#589 opened Nov 14, 2024 by kunxian-xia
@bgillesp
div
#588 opened Nov 14, 2024 by kunxian-xia
@bgillesp
Refactor SetTableAddrType cleanup Refactors, simplifications, hindsight 20/20 tasks.
#573 opened Nov 7, 2024 by naure
@mcalancea
Dummy ecall circuit
#567 opened Nov 6, 2024 by naure
1 of 3 tasks
2
@naure
Make the platform dynamic enhancement New feature or request toolchain
#566 opened Nov 6, 2024 by naure
@mcalancea
Run official Risc-V tests
#564 opened Nov 6, 2024 by matthiasgoergens
1
BaseFold use the same sumcheck as Ceno
#558 opened Nov 6, 2024 by yczhangsjtu
Feat request: implement WHIR
#557 opened Nov 6, 2024 by kunxian-xia
@chaosma @yczhangsjtu
EANY should disappear as a kind, and be replaced with ECALL and EBREAK.
#545 opened Nov 4, 2024 by matthiasgoergens
@naure
Implement bitwise And and Or in terms of XOR
#544 opened Nov 4, 2024 by matthiasgoergens
Remove free choice of circuits maybe_bug Something to verify or to make more robust
#542 opened Nov 4, 2024 by naure
@emmorais
1
"Some Improvements for the PIOP for ZeroCheck" paper follow up
#537 opened Nov 2, 2024 by hero78119
2
Decode statically in the emulator, sync prover and emulator
#524 opened Nov 1, 2024 by matthiasgoergens
10
Add comment about what's supposed to be not serialised
#485 opened Oct 28, 2024 by matthiasgoergens
@hero78119
Port Goldilock from Plonky2 with proper field arithmetics wrapper
#483 opened Oct 28, 2024 by hero78119
2
SDK for guest programs
#476 opened Oct 28, 2024 by matthiasgoergens
12 tasks
@matthiasgoergens
Feature non_pow2_rayon_thread is suspicious
#471 opened Oct 27, 2024 by matthiasgoergens
Run CI on self-hosted machine
#451 opened Oct 22, 2024 by kunxian-xia
1
@kunxian-xia
Runch benchmarks on master
#425 opened Oct 18, 2024 by matthiasgoergens
@matthiasgoergens
Optimize JALR speed
#414 opened Oct 18, 2024 by naure
3 tasks
Revisit the set of tables cleanup Refactors, simplifications, hindsight 20/20 tasks. speed
#408 opened Oct 17, 2024 by naure
2
mock_prover unittest API assert_satisfied re-design debugging tool
#400 opened Oct 16, 2024 by hero78119
@zemse
Advanced error handling debugging tool
#391 opened Oct 14, 2024 by naure
1
ProTip! Adding no:label will show everything without a label.