Skip to content

Pull requests: microsoft/vega-prover

New pull request New
12 Open 110 Closed
12 Open 110 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

small value Neutronnova NIFS prove
#127 opened Jun 16, 2026 by wu-s-john Contributor Loading…
Small value NeutronNova (with small-value witness generation)
#125 opened May 10, 2026 by wu-s-john Contributor • Draft
1
feat: add ipa-hybrid feature for hybrid IPA with configurable bullet rounds
#118 opened Apr 22, 2026 by srinathsetty Collaborator Loading…
23
Small value sumcheck
#112 opened Feb 27, 2026 by wu-s-john Contributor Loading…
3 tasks done
6
Add small-value delayed reduction with Barrett algorithm
#111 opened Feb 26, 2026 by wu-s-john Contributor Loading…
8
feat: add mkzg pcs
#107 opened Feb 25, 2026 by SuccinctPaul Loading…
feat: add brakedown pcs
#106 opened Feb 12, 2026 by SuccinctPaul Loading…
5
Add logup lookup circuit example with split-commitments
#102 opened Jan 16, 2026 by Copilot AI Loading…
@srinathsetty
13
Implement Small-Value Sum-Check Optimization (Algorithm 6)
#98 opened Dec 18, 2025 by wu-s-john Contributor Loading…
7 tasks done
23
Feature/bls12 381 dory pc
#96 opened Dec 10, 2025 by Zyra-V21 Loading…
12
Optimize public inputs extraction in bellpepper R1CS
#71 opened Sep 3, 2025 by MozirDmitriy Loading…
circom interface with tests
#7 opened Oct 13, 2023 by arasuarun Contributor Loading…
8
ProTip! Mix and match filters to narrow down what you’re looking for.