Skip to content

Issues: valida-xyz/valida

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

28 Open 15 Closed
28 Open 15 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

Latest Valida release fails multipilication verification
#174 opened Aug 12, 2024 by Pravdyvy
Signed inequality instructions: STARK constraints
#160 opened Apr 24, 2024 by morganthomas
@tess-eract
1
Universal zk-VM circuit & instance data
#155 opened Apr 20, 2024 by morganthomas
@morganthomas
3
LOADU8, LOADS8, STOREU8 STARK constraints
#149 opened Apr 11, 2024 by morganthomas
ELF file support in the debugger
#146 opened Apr 10, 2024 by morganthomas
32-in 64-out unsigned multiplication chip
#137 opened Apr 2, 2024 by morganthomas
1
Load ELF object files
#135 opened Apr 2, 2024 by morganthomas
1
@morganthomas
1
CPU chip: failure to satisfy LOADFP output constraint
#132 opened Mar 26, 2024 by morganthomas
@tess-eract
CPU chip: failure to satisfy memory channel 1 constraint
#131 opened Mar 26, 2024 by morganthomas
@tess-eract
1
Bitwise chip: failure to satisfy input_2 byte decomposition constraint
#130 opened Mar 26, 2024 by morganthomas
@tess-eract
Complete output chip constraints
#129 opened Mar 26, 2024 by morganthomas
1
Check preprocessed traces
#126 opened Mar 20, 2024 by morganthomas
1
Shift32 chip: output constraint(s)
#124 opened Mar 17, 2024 by morganthomas
2
Multi-core prover
#117 opened Feb 19, 2024 by morganthomas
1
Program ROM bus constraints
#115 opened Feb 15, 2024 by morganthomas
Update ISA spec
#106 opened Jan 25, 2024 by thealmarty
4
Asymptotically speed up range checker chip trace generation
#80 opened Oct 30, 2023 by morganthomas
Avoid unchecked arithmetic overflow / underflow
#79 opened Oct 30, 2023 by morganthomas
Make partial functions total
#78 opened Oct 30, 2023 by morganthomas
Implement constraint folder permutation randomness
#75 opened Oct 29, 2023 by morganthomas
2
Let challenger observe all of the transcript
#74 opened Oct 29, 2023 by morganthomas
1
IMM32: Add missing range check
#73 opened Oct 29, 2023 by morganthomas
2
Varargs
#67 opened Oct 12, 2023 by morganthomas
U32 ALU chips
#55 opened Sep 17, 2023 by maxgillett
5 of 8 tasks
Big integer arithmetic chip
#54 opened Sep 17, 2023 by maxgillett
ProTip! What’s not been updated in a month: updated:<2024-10-15.