Skip to content

Pull requests: zkFold/zkfold-base

New pull request New
11 Open 233 Closed
11 Open 233 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add BooleanOf type family to Eq
#446 opened Jan 16, 2025 by echatav • Draft
Generalize lookups to set inclusion constraints
#445 opened Jan 16, 2025 by hovanja2011 • Draft
1
Add Merkle tree to Symbolic
#441 opened Jan 14, 2025 by hovanja2011 • Draft
1
feat: add fft poly div
#440 opened Jan 13, 2025 by diS3e • Draft
@diS3e
MonadCircuit is now run in Writer Monad
#438 opened Jan 8, 2025 by TurtlePU • Draft
Elliptic Curve hierarchy in progress Not ready for review
#429 opened Jan 6, 2025 by echatav • Draft
Rewrite FFA
#424 opened Jan 6, 2025 by zlonast • Draft
6 tasks
1
logic hierarchy
#421 opened Dec 24, 2024 by echatav • Draft
28
Custom UInt layout
#407 opened Dec 17, 2024 by TurtlePU • Draft
1
1
fix: add symbolic instances for KYCData
#366 opened Nov 18, 2024 by diS3e • Draft
1
Proof-of-Concept: Structured I/O, Numeric Hierarchy with (Semi)Euclidean + (Semi)Integral, Optimized Constants, Map-of-Maps multivariate polynomials No Merge Reference
#177 opened Jul 12, 2024 by echatav • Draft
6
ProTip! What’s not been updated in a month: updated:<2024-12-17.