Skip to content

Issues: TritonVM/tasm-lib

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

23 Open 68 Closed
23 Open 68 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

Delete all deprecated traits, functions, etc.
#144 opened Dec 6, 2024 by jan-ferdinand
u160 arithmetic good first issue Good for newcomers
#138 opened Oct 15, 2024 by aszepieniec
6 tasks
Add check that proof-length is correct
#133 opened Sep 6, 2024 by Sword-Smith
Add further separation of dynamically allocated pages? good first issue Good for newcomers
#129 opened Aug 30, 2024 by Sword-Smith
@Sword-Smith
1
Different TasmObject::MAX_OFFSET values for different structs? good first issue Good for newcomers
#128 opened Aug 30, 2024 by Sword-Smith
Improve specification of dynamic/static memory allocation
#123 opened Aug 17, 2024 by Sword-Smith
test and benchmark infrastructure should panic on runs where stack is not initialized. good first issue Good for newcomers
#120 opened Aug 15, 2024 by Sword-Smith
Add snippet for set-equality of two u64 lists
#114 opened Jul 19, 2024 by Sword-Smith
@Sword-Smith
optimize leaf_index_to_mt_index_and_peak_index
#113 opened Jul 18, 2024 by Sword-Smith
@Sword-Smith
Add an assert_sorted_u64s snippet
#111 opened Jul 18, 2024 by Sword-Smith
Verifier optimizations
#106 opened Jun 6, 2024 by Sword-Smith
1
Add negative test for FRI using bad authentication path
#105 opened Jun 5, 2024 by Sword-Smith
@Sword-Smith
Add snippet for authentication MMR leaf where leaf_index is *not* given through non-deterministic input
#99 opened Apr 29, 2024 by Sword-Smith
Add snippet for standalone-verifier
#95 opened Apr 18, 2024 by Sword-Smith
@aszepieniec @Sword-Smith
All programs using DynMalloc should verify that dynamic allocator is initialized to zero?
#92 opened Apr 2, 2024 by Sword-Smith
TasmObject derive can't handle trailing comma in where clause.
#91 opened Mar 26, 2024 by dan-da
Remove manually added hints on all values passed to caller?
#83 opened Mar 1, 2024 by Sword-Smith
@jan-ferdinand @Sword-Smith
3
add proc macro: derive tasm-lib's StructType from the actual struct
#79 opened Feb 7, 2024 by jan-ferdinand
Add test to verify that exported_snippets structure is correct
#76 opened Feb 5, 2024 by Sword-Smith
New subtraction snippets
#58 opened Sep 27, 2023 by Sword-Smith
3 tasks
Faster bit shifting on u32 when shift amount is statically known
#57 opened Sep 22, 2023 by Sword-Smith
Snippets indicating completeness problems in Triton-vm
#46 opened Jun 15, 2023 by Sword-Smith
5
occasionally prove the correct execution of the TASM snippets enhancement New feature or request good first issue Good for newcomers
#3 opened Dec 19, 2022 by jan-ferdinand
@sshine @Sword-Smith
2
ProTip! Find all open issues with in progress development work with linked:pr.