Skip to content

Pull requests: Verified-zkEVM/ArkLib

New pull request New
24 Open 240 Closed
24 Open 240 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

fix(proximity-gap): resolve AHIV22 proof obligations (#226 #227 #234)
#385 opened Mar 4, 2026 by eliasjudin • Draft
3
3
Folding Polynomial definition and Fact 4.6 proof from STIR paper
#384 opened Mar 3, 2026 by ElijahVlasov • Draft
1
feat: completeness of Binary Basefold & ring-switching
#383 opened Mar 3, 2026 by chung-thai-nguyen • Draft
1
fix(issue-214): prove linsolve_none
#379 opened Feb 26, 2026 by eliasjudin Loading…
1
1
fix(issue-211): prove linsolve_some
#378 opened Feb 26, 2026 by eliasjudin Loading…
1
1
fix(STIR/WHIR): correct theorem assumptions and clear non-sorry warnings
#377 opened Feb 26, 2026 by quangvdao Loading…
2 tasks done
@alexanderlhicks
5
Proximity Gaps + Coding Theory Cleanup and Refactor
#375 opened Feb 25, 2026 by katyhr • Draft
1
feat(ProximityGen): prove genRSC
#359 opened Feb 24, 2026 by pitmonticone • Draft
3
feat(Interpolation): prove eq_of_degreeOf_lt_card_of_eval_eq, schwartz_zippel
#338 opened Feb 24, 2026 by pitmonticone Loading…
3
feat(Poseidon2): prove permute bound obligations
#333 opened Feb 24, 2026 by pitmonticone Loading…
2
feat(SimpleRO): prove commitmentScheme
#312 opened Feb 22, 2026 by pitmonticone Loading…
2
feat(guruswami-sudan): constructive decoder witness/filter correctness
#311 opened Feb 21, 2026 by eliasjudin • Draft
1
13
proofs for parts of RationalFunctions.lean
#304 opened Feb 2, 2026 by alexanderlhicks Loading…
21
Guruswami-Sudan existence and divisibility
#300 opened Jan 31, 2026 by ster-oc Loading…
1
8
Coding theory proofs
#298 opened Jan 30, 2026 by FawadHa1der Loading…
@alexanderlhicks
17
proofs for lemma distInterleavedCodeToCodeLB, e_leq_dist_over_3 and probOfBadPts
#297 opened Jan 26, 2026 by FawadHa1der Loading…
@alexanderlhicks
17
feat: rbrKnowledgeSoundness of BinaryBasefold & ring-switching
#296 opened Jan 25, 2026 by chung-thai-nguyen • Draft
@alexanderlhicks
5
feat: vector based merkle tree and proofs
#294 opened Jan 23, 2026 by FawadHa1der Loading…
@alexanderlhicks
10
Refactoring Coding Theory
#279 opened Dec 17, 2025 by alexanderlhicks • Draft
7
Batched FRI soundness
#273 opened Dec 9, 2025 by Julek • Draft
@alexanderlhicks
2
KZG Correctness + Function Binding
#263 opened Oct 20, 2025 by tobias-rothmann • Draft
7 of 8 tasks
21
(WIP) Change ProtocolSpec to List
#146 opened Sep 8, 2025 by quangvdao • Draft
feat: define theorem for extractability for Merkle trees proof wanted A sorry to fill in
#144 opened Sep 2, 2025 by BoltonBailey Loading…
4
feat: Redefine OracleVerifier & lenses for oracle reductions wontfix This will not be worked on
#83 opened Jul 7, 2025 by quangvdao Loading…
4
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.