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.

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

1,138 Open 5,125 Closed
1,138 Open 5,125 Closed
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
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

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
A CLI feature for proving and verifying
#15706 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
Implement the remaining RAMLookup features
#15700 opened May 31, 2024 by joseandro
FIXME: Handle multiple reads & writes at the same instruction
#15699 opened May 31, 2024 by joseandro
Folding the RAMLookup
#15698 opened May 31, 2024 by joseandro
Fix peer list with spaces causing failures
#15696 opened May 30, 2024 by deepthiskumar
Testing all the instructions for the whole zkVM.
#15689 opened May 28, 2024 by joseandro
1 task
@querolita
Integrate decomposable folding with 2 different instructions
#15688 opened May 28, 2024 by joseandro
Integrate folding of more than one constraint with the IVC circuit
#15687 opened May 28, 2024 by joseandro
2 tasks
Integrate folding of one constraint with the IVC circuit
#15686 opened May 28, 2024 by joseandro
8 tasks
@dannywillems @fabrizio-m
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
2
Devnet s3 data hash mismatch when building from source
#15663 opened May 17, 2024 by deepthiskumar
@georgeee @SanabriaRusso
High memory usage on public seed nodes
#15661 opened May 16, 2024 by deepthiskumar
@emberian
Improving how trace with selectors are kept in memory
#15656 opened May 16, 2024 by dannywillems
o1VM plan
#15655 opened May 15, 2024 by dannywillems
3 of 19 tasks
Emergency HF runbook
#15639 opened May 13, 2024 by deepthiskumar
@georgeee @ghost-not-in-the-shell
1
to add docs for install mina-create-legacy-ledger
#15619 opened May 8, 2024 by ghost-not-in-the-shell
ProTip! Add no:assignee to see everything that’s not assigned.