Skip to content

Issues: MinaProtocol/mina

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.

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

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort

Issues list

Unable to resubmit transactions
#15721 opened Jun 6, 2024 by deepthiskumar
Fix interpreter soundness FIXME's
#15709 opened May 31, 2024 by joseandro
Prove and verify folded instructions
#15708 opened May 31, 2024 by joseandro
Debug decomposable folding
#15707 opened May 31, 2024 by joseandro
Integrate MSM into proof
#15705 opened May 31, 2024 by joseandro
Integrate SRS/URS
#15704 opened May 31, 2024 by joseandro
Fold circuits together
#15703 opened May 31, 2024 by joseandro
Integrate RAMLookup with MSM (buckets)
#15702 opened May 31, 2024 by joseandro
Vector lookup
#15701 opened May 31, 2024 by joseandro
Folding the RAMLookup
#15698 opened May 31, 2024 by joseandro
Testing all the instructions for the whole zkVM.
#15689 opened May 28, 2024 by joseandro
12 tasks
PEERS_LIST_URL vs PEER_LIST_URL bug triage
#15680 opened May 27, 2024 by kaozenn
2 tasks done
Snark worker crash bug triage
#15674 opened May 24, 2024 by CryptoTech-Guy
2 tasks done
ProTip! Mix and match filters to narrow down what you’re looking for.