Skip to content

Pull requests: ProvableHQ/snarkVM

New pull request New
67 Open 2,616 Closed
67 Open 2,616 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

Add bounded deserialization for CircuitVerifyingKey
#3084 opened Jan 8, 2026 by Copilot AI Loading…
1
@vicsn
feat: Use Result for constraint enforcement and assertions
#3082 opened Jan 8, 2026 by mitchmindtree • Draft
1 task
feat: On instruction failure, return an error with the failing aleo instruction index (re-opened)
#3081 opened Jan 8, 2026 by mitchmindtree Loading…
1 task
1
Reduce circleci jobs
#3078 opened Jan 7, 2026 by vicsn Loading…
2
[Feature] Introduce a new variant of Deployments to provide a pathway to update program VKs.
#3075 opened Jan 7, 2026 by d0cd • Draft
Migrate CircleCI to GitHub Actions
#3074 opened Jan 6, 2026 by Copilot AI • Draft
1
@vicsn
3
[Fix] Make prepare_next_quorum_block atomic
#3070 opened Jan 5, 2026 by kaimast Loading…
2
Ensure acyclic call graph
#3068 opened Jan 5, 2026 by vicsn Loading…
21
[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…
feat(parameters): fix android ssl certificate issue
#3061 opened Dec 11, 2025 by fedpre Loading…
10
Speed up ledger tests
#3058 opened Dec 10, 2025 by meddle0x53 • Draft
[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
10
[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
1 of 5 tasks
25
[Feat] Announce new blocks via IPC
#3002 opened Nov 5, 2025 by ljedrz Loading…
18
[Draft] Compact subDAG rebased
#3000 opened Nov 3, 2025 by kaimast • Draft
Fix finalize print statement
#2976 opened Oct 23, 2025 by vicsn Loading…
4
[Perf] Only calculate the hash of circuit commitments once for the VK
#2964 opened Oct 16, 2025 by ljedrz • Draft
15
[Test] Additional tests for ECDSA and bit operations.
#2961 opened Oct 15, 2025 by d0cd Loading…
Increase deploy limits by 8x
#2955 opened Oct 13, 2025 by vicsn • Draft
1 task
1
[Feat]: Add an 'in' instruction in the VM.
#2950 opened Oct 7, 2025 by usagi32 Loading…
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.