Skip to content

Issues: TritonVM/triton-vm

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
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

Issues list

Suboptimal Instruction-Specific Constraints 🤖 code Changes the implementation 🟢 prio: low Not at all urgent 📜 specification Relates to the specification ⏩ speedup Makes stuff go faster.
#339 opened Nov 21, 2024 by aszepieniec
Memory-Efficient Code Path is Not Automatically Triggered 🪳 bug Something is not working 🤖 code Changes the implementation
#331 opened Sep 30, 2024 by aszepieniec
Terminology: Disambiguate "Table"
#329 opened Sep 28, 2024 by aszepieniec
Improve ergonomics of failing instruction assert and assert_vector 🧑‍💻 dx/ux Developer experience & user experience 💫 good first issue Good for newcomers 🟢 prio: low Not at all urgent 🛠️ tooling Developer tools
#324 opened Sep 12, 2024 by jan-ferdinand
Implement Index<Range<…>> for OpStack ✨ enhancement Improvement or new feature 💫 good first issue Good for newcomers 🟢 prio: low Not at all urgent
#322 opened Aug 30, 2024 by jan-ferdinand
Immediate memory opcodes ✨ enhancement Improvement or new feature 💫 good first issue Good for newcomers 🤔 question More information is needed
#318 opened Aug 13, 2024 by chancehudson
u32-table row count grew a lot with 0.42-alpha 6 🕵 investigation This design change might improve the VM 🟢 prio: low Not at all urgent ⏪ slowdown Makes stuff go slower.
#312 opened Aug 1, 2024 by Sword-Smith
Multi-Claim Proofs
#301 opened Jun 11, 2024 by aszepieniec
Improve build times 🤖 code Changes the implementation 🧑‍💻 dx/ux Developer experience & user experience ✨ enhancement Improvement or new feature 🟡 prio: medium Not super urgent ⏩ speedup Makes stuff go faster. 🛠️ tooling Developer tools
#278 opened May 7, 2024 by aszepieniec
3 tasks
Docs: Describe Derivation of Constraints; Don't Present Them 💫 good first issue Good for newcomers 📜 specification Relates to the specification
#273 opened Apr 30, 2024 by aszepieniec
Store Unrandomized Polynomials 🟡 prio: medium Not super urgent ⏩ speedup Makes stuff go faster.
#265 opened Apr 19, 2024 by aszepieniec
Get FRI proof from STARK proof
#258 opened Mar 16, 2024 by Sword-Smith
improve tasm parsing errors 🧑‍💻 dx/ux Developer experience & user experience 💫 good first issue Good for newcomers 🧑‍🤝‍🧑 help wanted Need some help 🟡 prio: medium Not super urgent
#239 opened Nov 17, 2023 by jan-ferdinand
add command line tool for proof generation & verification 🧑‍💻 dx/ux Developer experience & user experience 💫 good first issue Good for newcomers 🟡 prio: medium Not super urgent 🛠️ tooling Developer tools
#238 opened Nov 17, 2023 by jan-ferdinand
2
3
Concatenated labels in TASM ✨ enhancement Improvement or new feature 🛠️ tooling Developer tools
#220 opened Aug 15, 2023 by Sword-Smith
Feature Request: Automatic Documentation Generation for Constraints ✨ enhancement Improvement or new feature 🤔 question More information is needed 📜 specification Relates to the specification
#211 opened Jul 3, 2023 by aszepieniec
multiset equality checks in Triton-run code 🕵 investigation This design change might improve the VM 🟡 prio: medium Not super urgent
#202 opened Jun 1, 2023 by jan-ferdinand
2 tasks
Compilation to Triton VM
#200 opened May 28, 2023 by greenhat
ProTip! Exclude everything labeled bug with -label:bug.