Skip to content

Pull requests: worldfnd/provekit

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

Build whitepaper PDF with GitHub Actions
#492 opened Aug 28, 2026 by wf-orbie Collaborator Loading…
2
chore(ci): add Kani workflow
#491 opened Aug 27, 2026 by wf-orbie Collaborator Loading…
2
feat: commit the R1CS witness with zook
#485 opened Aug 20, 2026 by BornPsych Collaborator • 2/2 Loading…
5
bench: publish ProveKit V1 benchmark results
#483 opened Jul 23, 2026 by dcbuild3r Collaborator Loading…
6
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 Collaborator • Draft
3 of 4 tasks
WASM Mavros integration
#445 opened May 20, 2026 by veljkovranic Collaborator Loading…
2
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…
2
Zkfr/irs commit
#418 opened Apr 21, 2026 by zkfriendly Collaborator • Draft
docs: overhaul README
#415 opened Apr 20, 2026 by Bisht13 Collaborator Loading…
chore(readme): Simplify Mavros' instructions by merging with Nargo's
#312 opened Mar 4, 2026 by Savio-Sou Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.