Skip to content

Pull requests: Verified-zkEVM/ArkLib

New pull request New
47 Open 468 Closed
47 Open 468 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

chore(kb): refresh generated files
#652 opened Jul 15, 2026 by github-actions Bot Loading…
feat[Hachi]: skeleton
#650 opened Jul 14, 2026 by tobias-rothmann Collaborator • Draft
1
feat(AppendRun): prove Prover.append_run for challenge-free protocols at general arity
#643 opened Jul 12, 2026 by Abraxas1010 Contributor Loading…
2
feat(proximity-gap): harden BCIKS20 curve regimes
#640 opened Jul 11, 2026 by latifkasuli Loading…
1
feat(proximity-gap): prove BCIKS20 curve agreement bounds
#639 opened Jul 11, 2026 by latifkasuli Loading…
1
Prove STIR out-of-domain sampling bound
#638 opened Jul 11, 2026 by latifkasuli Loading…
1
feat(Stir): prove out_of_dom_smpl_1 (STIR Lemma 4.5.1, out-of-domain sampling)
#637 opened Jul 11, 2026 by aryaethn Contributor Loading…
1
feat(AppendOneMsg): unconditional append perfect completeness at 1-message ++ 1-message
#636 opened Jul 11, 2026 by Abraxas1010 Contributor Loading…
1
feat(Append): completeness composition under init-uniformity + run_pure_verifier
#635 opened Jul 11, 2026 by Abraxas1010 Contributor Loading…
1
feat(Data/Probability): finite union bound, independence, and i.i.d. power lemmas
#634 opened Jul 10, 2026 by aryaethn Contributor Loading…
1
feat(Append): construct the challenge-oracle SubSpec embeddings
#633 opened Jul 10, 2026 by Abraxas1010 Contributor Loading…
1
feat(SendWitness): prove reduction completeness; add Prover.runToRound_succ
#631 opened Jul 10, 2026 by Abraxas1010 Contributor Loading…
1
feat/refactor[Hachi]: fig. 3 protocol + CWSSPackages abstraction + partial reorg of Hachi folder
#626 opened Jul 10, 2026 by tobias-rothmann Collaborator Loading…
44
Folding preserves block relative distance balls (Claim 4.22 WHIR)
#616 opened Jul 8, 2026 by ElijahVlasov Collaborator • Draft
1
feat: even more general ring switch
#615 opened Jul 7, 2026 by alexanderlhicks Collaborator • Draft
2
Tensor product of MCA generators
#611 opened Jul 6, 2026 by katyhr Collaborator • Draft
2
Polynomial Generators have MCA for RSCodes
#610 opened Jul 6, 2026 by katyhr Collaborator • Draft
2
fix(BCIKS20): correct false/vacuous statement of large_agreement_set_on_curve_implies_correlated_agreement
#606 opened Jul 5, 2026 by aryaethn Contributor Loading…
1
4
Block Relative distance refactor + proofs
#603 opened Jul 2, 2026 by ElijahVlasov Collaborator Loading…
2
CWSS protocol infrastructure
#602 opened Jul 1, 2026 by tobias-rothmann Collaborator Loading…
12
AffineGeneratorsWithMCA
#596 opened Jun 30, 2026 by katyhr Collaborator Loading…
7
ci: keep build timing report non-blocking when PR comment fails
#592 opened Jun 26, 2026 by ainta Contributor Loading…
2
feat(sumcheck): add interaction protocol modules
#580 opened Jun 11, 2026 by codygunton Collaborator • Draft
1
feat(ProximityGap): add curve-difference polynomial and its basic lemmas
#579 opened Jun 11, 2026 by MavenRain Contributor Loading…
1
feat(coding-theory): integrate CompPoly's executable Guruswami-Sudan decoder
#574 opened Jun 11, 2026 by olympichek Loading…
9
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.