Skip to content

Pull requests: worldfnd/provekit

New pull request New
25 Open 289 Closed
25 Open 289 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 mobench support to ProveKit v1
#451 opened Jun 3, 2026 by dcbuild3r Collaborator Loading…
1
add mobench support to ProveKit main
#450 opened Jun 3, 2026 by dcbuild3r Collaborator Loading…
2
Docs
#449 opened Jun 3, 2026 by Bisht13 Collaborator Loading…
1
perf: parallelize R1CS matrix rebuild after Gaussian elimination
#448 opened Jun 3, 2026 by rose2221 Collaborator Loading…
1
feat(groth16): on-chain Groth16+BSB22 verifier
#447 opened May 26, 2026 by rose2221 Collaborator Loading…
1
perf(prover): collapse R1CS row-covectors into one before WHIR
#446 opened May 22, 2026 by BornPsych • Draft
3 of 4 tasks
WASM Mavros integration
#445 opened May 20, 2026 by veljkovranic Collaborator Loading…
1
Complete integration of Mavros (including lookups)
#443 opened May 15, 2026 by veljkovranic Collaborator Loading…
11
Add macro based NTT
#442 opened May 14, 2026 by zkfriendly Collaborator • Draft
1
Drop unused r1cs after sumcheck and use par_iter in accumulate
#441 opened May 14, 2026 by zkfriendly Collaborator Loading…
feat: add Groth16+BSB22 backend
#427 opened Apr 29, 2026 by rose2221 Collaborator Loading…
1
Zkfr/irs commit
#418 opened Apr 21, 2026 by zkfriendly Collaborator • Draft
docs: overhaul README
#415 opened Apr 20, 2026 by Bisht13 Collaborator Loading…
Recursive verifier updates
#351 opened Mar 19, 2026 by veljkovranic Collaborator Loading…
14
Adds SPARK
#345 opened Mar 18, 2026 by batmendbar Collaborator Loading…
47
chore(readme): Simplify Mavros' instructions by merging with Nargo's
#312 opened Mar 4, 2026 by Savio-Sou Loading…
Update outdated profiling instructions
#276 opened Feb 7, 2026 by zkfriendly Collaborator Loading…
M31 support
#244 opened Dec 17, 2025 by xrvdg Collaborator Loading…
Merkle cap verifier side
#238 opened Nov 18, 2025 by veljkovranic Collaborator Loading…
RS reverse ordered + custom arkworks
#236 opened Nov 11, 2025 by xrvdg Collaborator • Draft
fix: missing validations and automatic PK/VK generation
#177 opened Sep 4, 2025 by brawncode Loading…
4
Add SkyscraperV2 Noir implementation
#148 opened Aug 22, 2025 by recmo Contributor • Draft
1
EVM Implementation of Skyscraper
#147 opened Aug 21, 2025 by recmo Contributor Loading…
6
Updating ZK document
#133 opened Jul 21, 2025 by yswami-tfh Collaborator Loading…
1
Parallel sparse multiplication
#125 opened Jun 16, 2025 by xrvdg Collaborator • Draft
11
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.