Skip to content

Pull requests: kaspanet/vprogs

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Re-aggregate a superseded suffix in the aggregate prover
#90 opened Jun 24, 2026 by biryukovmaxim Collaborator Loading…
Feat: Align resource state versions with the writing batch index
#89 opened Jun 23, 2026 by hmoog Collaborator Loading…
Feat: SMT aware fork (backup)
#86 opened Jun 18, 2026 by hmoog Collaborator Draft
Settle covenants in dev mode and under competing provers
#85 opened Jun 18, 2026 by biryukovmaxim Collaborator Loading…
Chore: Disable jemalloc on Windows
#84 opened Jun 18, 2026 by hmoog Collaborator Loading…
Cache proof receipts across the proving pipeline
#83 opened Jun 17, 2026 by biryukovmaxim Collaborator Loading…
Feat: Canonical Chain tracking
#82 opened Jun 16, 2026 by hmoog Collaborator Loading…
Runtime poc
#42 opened May 7, 2026 by biryukovmaxim Collaborator Draft
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.