Skip to content

Pull requests: zksecurity/clean

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

[Circuit monad] Isolated subcircuits
#29 opened Dec 13, 2024 by mitschabaude • Draft
Add specialize_auto tactic
#28 opened Dec 12, 2024 by gio54321 Loading…
Circuit monad
#27 opened Dec 10, 2024 by mitschabaude • Draft
Structure experiment: no carry in spec
#25 opened Dec 9, 2024 by mitschabaude • Draft
Add 32-bit addition
#24 opened Dec 5, 2024 by gio54321 • Draft
LogUp formalization
#20 opened Nov 4, 2024 by gio54321 • Draft
Test circuits
#18 opened Oct 23, 2024 by ilangdev Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.