Skip to content

Pull requests: ProvableHQ/snarkVM

New pull request New
73 Open 2,637 Closed
73 Open 2,637 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Introduce coverage script
#3119 opened Jan 22, 2026 by meddle0x53 • Draft
[Feature] Add Ledger::try_get_* for transmissions
#3117 opened Jan 21, 2026 by kaimast • Draft
perf: remove epoch heights allocation
#3113 opened Jan 20, 2026 by GarmashAlex Loading…
[Feat] Introduce the SWJ Bucket
#3111 opened Jan 20, 2026 by ljedrz • Draft
Resolve dynamic dispatch todos
#3110 opened Jan 20, 2026 by vicsn Loading…
4 tasks
1
[WIP] Ensure records are linked
#3109 opened Jan 18, 2026 by vicsn • Draft
A few fixes to external structs in records and futures bug Something isn't working
#3107 opened Jan 16, 2026 by mohammadfawaz Loading…
@mohammadfawaz
6
[Tool] Add basic claude configs.
#3104 opened Jan 16, 2026 by d0cd Loading…
Introduce pre-release test grouping
#3103 opened Jan 15, 2026 by meddle0x53 Loading…
11
Add rejection reason storage to finalize_store
#3101 opened Jan 14, 2026 by Copilot AI • Draft
2
@vicsn
3
Add history-all-mappings feature with change detection, preserve original history flag
#3099 opened Jan 14, 2026 by Copilot AI • Draft
1
@vicsn
2
[Feat] Increase max program size to 512kB
#3087 opened Jan 9, 2026 by raychu86 Loading…
11
Add bounded deserialization for CircuitVerifyingKey
#3084 opened Jan 8, 2026 by Copilot AI Loading…
1
@vicsn
[Feature] Introduce a new variant of Deployments to provide a pathway to update program VKs.
#3075 opened Jan 7, 2026 by d0cd Loading…
1 of 3 tasks
19
[Fix] Make prepare_next_quorum_block atomic
#3070 opened Jan 5, 2026 by kaimast Loading…
5
[Draft] Upgrade to rust 1.92
#3067 opened Jan 5, 2026 by kaimast • Draft
[Feature] Dynamic dispatch.
#3062 opened Dec 11, 2025 by d0cd Loading…
4 of 9 tasks
57
feat(parameters): fix android ssl certificate issue
#3061 opened Dec 11, 2025 by fedpre Loading…
10
[Feature] Integer square root
#3052 opened Dec 6, 2025 by d0cd • Draft
4 tasks
[Feat] Facilitate record queries
#3047 opened Dec 2, 2025 by ljedrz • Draft
16
[Feature] Add Aleo generator access to programs.
#3027 opened Nov 14, 2025 by raychu86 • Draft
15
[Feat] Facilitate RocksDB's secondary instances
#3014 opened Nov 10, 2025 by ljedrz • Draft
4
Implements a sparse k-ary Merkle tree
#3012 opened Nov 8, 2025 by howardwu Loading…
12
[Feature] Implement snark.verify opcode
#3004 opened Nov 7, 2025 by raychu86 • Draft
2 of 5 tasks
31
[Feat] Announce new blocks via IPC
#3002 opened Nov 5, 2025 by ljedrz Loading…
18
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.