-
Notifications
You must be signed in to change notification settings - Fork 253
Pull requests: microsoft/Nova
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump crate-ci/typos from 1.49.0 to 1.50.0 in the github-actions group
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#514
opened Sep 4, 2026 by
dependabot
Bot
Loading…
Speed up SHA-256 constraint and witness synthesis
#512
opened Aug 27, 2026 by
Leandro Rometsch (leandro-ro)
Loading…
feat(ppsnark): Batch the Logup-GKR last layer with the Inner sumcheck batch
#502
opened Jul 23, 2026 by
SunJc (Sun-Jc)
Contributor
Loading…
feat(ppsnark): improve ppsnark memory-check with Logup-GKR
#501
opened Jul 14, 2026 by
SunJc (Sun-Jc)
Contributor
Loading…
Infrastructure update: MSM variants + compact polynomial types
#493
opened Apr 15, 2026 by
Srinath Setty (srinathsetty)
Collaborator
Loading…
feat: structural zero wire in R1CS layout (z = [w, 1, 0, x])
#492
opened Apr 3, 2026 by
Sai (sai-deng)
Contributor
Loading…
feat: add built-in zero wire (Aux(0)) to constraint system
#491
opened Apr 3, 2026 by
Sai (sai-deng)
Contributor
Loading…
Add support for tracing
#489
opened Apr 1, 2026 by
Srinath Setty (srinathsetty)
Collaborator
Loading…
fix: eagerly build precomputed SpMV tables, remove OnceCell (v0.68.0 → v0.68.1)
#484
opened Mar 21, 2026 by
Srinath Setty (srinathsetty)
Collaborator
Loading…
chore: fix accumulation logic for
PrimeField vectors
#416
opened Oct 13, 2025 by
Dmitry (mdqst)
Loading…
fix misleading comments: Mz uses c (not r) in PPSNARK
#414
opened Sep 5, 2025 by
GarmashAlex
Loading…
Enabling Nova to be used in
no_std environments
#376
opened Mar 13, 2025 by
Milos Djurica (milosdjurica)
Loading…
Zeromorph and HyperKZG improvement (Arecibo backports)
#301
opened Jan 26, 2024 by
François Garillot (huitseeker)
Contributor
Loading…
feat: implement SuperNova
#283
opened Dec 18, 2023 by
François Garillot (huitseeker)
Contributor
Loading…
ProTip!
Exclude everything labeled
bug with -label:bug.