Skip to content

Pull requests: worldfnd/provekit

New pull request New
31 Open 226 Closed
31 Open 226 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

feat: provekit-ffi v2.0
#384 opened Mar 25, 2026 by ashpect Loading…
18
Reject malformed 32-bit constants in AND/XOR and SHA256 compilation [LASuggestion3]
#374 opened Mar 22, 2026 by rose2221 Loading…
1
fix: binop width selection to preserve byte semantics [LA-D]
#370 opened Mar 22, 2026 by rose2221 Loading…
1
fix DSC Key Smuggling via Unsigned TBS Data [LA-A]
#369 opened Mar 22, 2026 by x-senpai-x Loading…
2
fix: bind RSA public exponent to fixed values [LA-E]
#367 opened Mar 22, 2026 by x-senpai-x Loading…
3
fix: bind evals to transcript [LA - K]
#365 opened Mar 21, 2026 by ashpect Loading…
Fix : Unbound LogUp Transcript Challenges Let the Prover Choose Lookup Randomness [LA-G]
#359 opened Mar 21, 2026 by ocdbytes • Draft
Fix : Unchecked Witness-Derived Indices Cause Deterministic Prover Panics in RAM and Multiplicity Builders [LA-H]
#357 opened Mar 21, 2026 by ocdbytes • Draft
fix: enforce end-of-transcript validation in WhirR1CS verifier [LA - F]
#356 opened Mar 20, 2026 by Bisht13 Loading…
1 task done
fix: canonicalize duplicate witness terms in R1CS constraints [LA - C]
#354 opened Mar 20, 2026 by Bisht13 Loading…
1 task done
[WIP] Recursive verifier updates
#351 opened Mar 19, 2026 by veljkovranic • Draft
NTT integration
#350 opened Mar 19, 2026 by xrvdg Loading…
bump Noir dependency to v1.0.0-beta.19
#349 opened Mar 18, 2026 by x-senpai-x Loading…
3
Adds SPARK
#345 opened Mar 18, 2026 by batmendbar Loading…
Update oprf circuits
#340 opened Mar 17, 2026 by x-senpai-x Loading…
1
10
feat: Gaussian elimination optimization for R1CS witness reduction
#338 opened Mar 17, 2026 by rose2221 Loading…
fix: R1CS binding in transcript [LA - I]
#316 opened Mar 6, 2026 by ashpect Loading…
2
chore(readme): Simplify Mavros' instructions by merging with Nargo's
#312 opened Mar 4, 2026 by Savio-Sou Loading…
refactor: make WhirR1CSVerifier and WhirR1CSProver traits and related types part of the public API
#306 opened Feb 25, 2026 by dkales Loading…
Update outdated profiling instructions
#276 opened Feb 7, 2026 by zkfriendly Loading…
M31 support
#244 opened Dec 17, 2025 by xrvdg Loading…
Merkle cap verifier side
#238 opened Nov 18, 2025 by veljkovranic Loading…
RS reverse ordered + custom arkworks
#236 opened Nov 11, 2025 by xrvdg • Draft
Implement SPARK Integration for Deferred R1CS Evaluations
#224 opened Oct 29, 2025 by batmendbar Loading…
5
Upgrade to Noir beta14
#218 opened Oct 14, 2025 by recmo Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.