Skip to content

Pull requests: Verified-zkEVM/ArkLib

New pull request New
43 Open 537 Closed
43 Open 537 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

Remove ArkLib/Data/GroupTheory/Smooth.lean
#719 opened Aug 12, 2026 by ElijahVlasov Collaborator Loading…
2
fix(BCIKS20): add missing hypotheses to modified_guruswami_has_a_solution (Claim 5.4)
#718 opened Aug 12, 2026 by aryaethn Contributor • Draft
2
RS-codes are list decodable
#717 opened Aug 12, 2026 by ElijahVlasov Collaborator Loading…
2
chore(kb): refresh generated files
#716 opened Aug 11, 2026 by github-actions Bot Loading…
fix(binius): encode witnesses over the Boolean cube, not the diagonal
#715 opened Aug 11, 2026 by alexanderlhicks Collaborator Loading…
2
chore(kb): refresh generated files
#714 opened Aug 11, 2026 by github-actions Bot Loading…
feat(coding-theory): ABF26 foundations and code families [split 2/4]
#701 opened Aug 7, 2026 by alexanderlhicks Collaborator Loading…
8
finish Feild.lean
#698 opened Aug 6, 2026 by MrBrain295 Contributor Loading…
3
feat(Hachi): make extractors computable
#697 opened Aug 6, 2026 by tobias-rothmann Collaborator Loading…
2
feat: module-alphabet MCA unification + BCGM25 Lemma 4.4 at the tight error
#692 opened Aug 5, 2026 by alexanderlhicks Collaborator Loading…
3
Folding Context PoC
#689 opened Aug 5, 2026 by ElijahVlasov Collaborator Loading…
21
feat(OracleReduction): prove challenge-oracle append inclusions, drop admitted duplicate
#682 opened Aug 5, 2026 by alexanderlhicks Collaborator Loading…
2
feat(OracleReduction): prove identity verifier soundness and reduction log-discard
#681 opened Aug 5, 2026 by alexanderlhicks Collaborator Loading…
2
feat(KZG): de-vacuate evaluation binding and prove the t-SDH GGM soundness bound
#655 opened Jul 17, 2026 by emberian Loading…
2
docs: add oracle reduction design plan
#653 opened Jul 16, 2026 by quangvdao 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…
5
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…
4
feat(Append): completeness composition under init-uniformity + run_pure_verifier
#635 opened Jul 11, 2026 by Abraxas1010 Contributor Loading…
4
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…
4
feat: even more general ring switch
#615 opened Jul 7, 2026 by alexanderlhicks Collaborator • Draft
3
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 Loading…
22
feat(sumcheck): add interaction protocol modules
#580 opened Jun 11, 2026 by codygunton Collaborator • Draft
1
ProTip! Adding no:label will show everything without a label.