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

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

Proving fails for FRI expansion factors (strictly) larger than 4 🪳 bug Something is not working
#289 opened May 23, 2024 by Sword-Smith
Drop Cached Polynomials from Just-In-Time Code Path 🤖 code Changes the implementation ✨ enhancement Improvement or new feature 💫 good first issue Good for newcomers 🟢 prio: low Not at all urgent
#287 opened May 23, 2024 by aszepieniec
Separate Batch-Verification from First FRI Fold 🤖 code Changes the implementation ✨ enhancement Improvement or new feature 🕵 investigation This design change might improve the VM 🔴 prio: high Pretty urgent ⏩ speedup Makes stuff go faster.
#285 opened May 21, 2024 by aszepieniec
@aszepieniec @jan-ferdinand @Sword-Smith
1
Parallelize Constraints Generation 🤖 code Changes the implementation 🧑‍💻 dx/ux Developer experience & user experience ✨ enhancement Improvement or new feature 🟢 prio: low Not at all urgent ⏩ speedup Makes stuff go faster. 🛠️ tooling Developer tools
#278 opened May 7, 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
Add optional error code to assert and assert_vector ✨ enhancement Improvement or new feature 🛠️ tooling Developer tools
#269 opened Apr 25, 2024 by Sword-Smith
Store Unrandomized Polynomials 🟡 prio: medium Not super urgent ⏩ speedup Makes stuff go faster.
#265 opened Apr 19, 2024 by aszepieniec
Instruction Maybe-Wishlist for Recursion and Consensus
#259 opened Mar 26, 2024 by aszepieniec
2
Get FRI proof from STARK proof
#258 opened Mar 16, 2024 by Sword-Smith
Derive TasmConstraintEvaluationMemoryLayout used by STARK prover?
#256 opened Mar 9, 2024 by Sword-Smith
Cannot use angle brackets for type hints
#246 opened Jan 17, 2024 by Sword-Smith
@jan-ferdinand
triton_instr! not as powerful as triton_asm!!
#243 opened Dec 7, 2023 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
Concatenated labels in TASM ✨ enhancement Improvement or new feature 🛠️ tooling Developer tools
#220 opened Aug 15, 2023 by Sword-Smith
Recufier 🧑‍🤝‍🧑 help wanted Need some help
#215 opened Jul 24, 2023 by aszepieniec recufier
@aszepieniec @jan-ferdinand
@Sword-Smith @ameya-deshmukh
2
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
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
10
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
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
Compile constraint polynomials on the run 🤖 code Changes the implementation 🧑‍💻 dx/ux Developer experience & user experience 🔴 prio: high Pretty urgent 🛠️ tooling Developer tools
#165 opened Jan 12, 2023 by sshine
3
Versioning in Proofs 🤔 question More information is needed
#111 opened Nov 10, 2022 by aszepieniec
1
Revisit Swap 🤖 code Changes the implementation ✨ enhancement Improvement or new feature 💫 good first issue Good for newcomers 🧑‍🤝‍🧑 help wanted Need some help 🕵 investigation This design change might improve the VM 🟡 prio: medium Not super urgent 🤔 question More information is needed 📜 specification Relates to the specification
#110 opened Nov 10, 2022 by aszepieniec
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
ProTip! What’s not been updated in a month: updated:<2024-04-25.