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.

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

Clear current search query, filters, and sorts
31 Open 130 Closed
31 Open 130 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

Cannot use angle brackets for type hints
#246 opened Jan 17, 2024 by Sword-Smith
@jan-ferdinand
Add Statistics to Triton Profiler 🤖 code Changes the implementation ✨ enhancement Improvement or new feature 🟢 prio: low Not at all urgent 🛠️ tooling Developer tools
#107 opened Nov 9, 2022 by aszepieniec
3
Specify Processor Table's instruction-specific transition constraints 🟢 prio: low Not at all urgent 📜 specification Relates to the specification
#108 opened Nov 9, 2022 by jan-ferdinand
3 tasks
rigorously test Triton VM's initial constraints 💫 good first issue Good for newcomers 🧑‍🤝‍🧑 help wanted Need some help 🟡 prio: medium Not super urgent
#169 opened Jan 19, 2023 by jan-ferdinand
8 tasks
Extend Documentation 💫 good first issue Good for newcomers 🧑‍🤝‍🧑 help wanted Need some help 🟡 prio: medium Not super urgent 📜 specification Relates to the specification
#180 opened Feb 15, 2023 by aszepieniec
6 tasks
1
Compilation to Triton VM
#200 opened May 28, 2023 by greenhat
10
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
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
1
Recufier 🧑‍🤝‍🧑 help wanted Need some help
#215 opened Jul 24, 2023 by aszepieniec recufier
@aszepieniec @jan-ferdinand
@Sword-Smith @ameya-deshmukh
2
Concatenated labels in TASM ✨ enhancement Improvement or new feature 🛠️ tooling Developer tools
#220 opened Aug 15, 2023 by Sword-Smith
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
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
U32 Table Design explorations 🕵 investigation This design change might improve the VM 🟢 prio: low Not at all urgent
#8 opened Aug 8, 2022 by jan-ferdinand
6
triton_instr! not as powerful as triton_asm!!
#243 opened Dec 7, 2023 by Sword-Smith
Derive TasmConstraintEvaluationMemoryLayout used by STARK prover?
#256 opened Mar 9, 2024 by Sword-Smith
Get FRI proof from STARK proof
#258 opened Mar 16, 2024 by Sword-Smith
Instruction Maybe-Wishlist for Recursion and Consensus
#259 opened Mar 26, 2024 by aszepieniec
13
Store Unrandomized Polynomials 🟡 prio: medium Not super urgent ⏩ speedup Makes stuff go faster.
#265 opened Apr 19, 2024 by aszepieniec
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
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
Multi-Claim Proofs
#301 opened Jun 11, 2024 by aszepieniec
1
Change xy_dot_step instructions for use in combination with recurse_or_return ⏩ speedup Makes stuff go faster.
#302 opened Jun 11, 2024 by Sword-Smith
Change sponge_absorb_mem to be used in combination with recurse_or_return? ⏩ speedup Makes stuff go faster.
#303 opened Jun 17, 2024 by Sword-Smith
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
1
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
ProTip! Exclude everything labeled bug with -label:bug.