Skip to content

Pull requests: circify/circ

New pull request New
12 Open 189 Closed
12 Open 189 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(r1cs): route wide shifts at the bit level
#251 opened Aug 4, 2026 by NullWitnessZK • Draft
1
fix(r1cs): lower unsafe wide arithmetic bitwise
#253 opened Aug 4, 2026 by NullWitnessZK • Draft
1
fix: fold boolean OR complements to true
#252 opened Aug 4, 2026 by NullWitnessZK • Draft
1
fix(r1cs): constrain wide unsigned division bitwise
#250 opened Aug 4, 2026 by NullWitnessZK • Draft
1
fix: preserve arrays on false conditional stores
#249 opened Aug 4, 2026 by NullWitnessZK • Draft
1
fix: reject late writes from covering ROMs
#248 opened Aug 4, 2026 by NullWitnessZK • Draft
1
support ROM for zsharp-curly
#241 opened Jul 20, 2026 by kmerrill18 Contributor Loading…
1
frontend and ir optimizations
#239 opened May 4, 2026 by kmerrill18 Contributor Loading…
Add support for IEEE 754 floats
#225 opened Feb 21, 2025 by lorenzorota • Draft
1 of 4 tasks
3
Partitioning, ILP, Def-Use-Graph, and Mutations
#158 opened Mar 21, 2023 by edwjchen Collaborator Loading…
Exposing vector_add to zok frontend
#78 opened Apr 26, 2022 by edwjchen Collaborator Loading…
35
Added SEAL library and FHE mode
#41 opened Jan 10, 2022 by Northrim Collaborator Loading…
44
ProTip! Updated in the last three days: updated:>2026-08-02.