Skip to content

Pull requests: project-llzk/llzk-lib

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

Refine boolean conditional dependencies
#653 opened Jul 28, 2026 by iangneal Contributor • 6/6 • Draft
6 of 7 tasks
1
Normalize compute and constrain dependencies
#652 opened Jul 28, 2026 by iangneal Contributor • 5/6 • Draft
6 of 7 tasks
1
Traverse overlapping constraint dependencies
#651 opened Jul 28, 2026 by iangneal Contributor • 4/6 • Draft
6 of 7 tasks
1
Preserve aggregate state through SCF
#650 opened Jul 28, 2026 by iangneal Contributor • 3/6 • Draft
6 of 7 tasks
1
Stateful POD and aggregate storage
#649 opened Jul 28, 2026 by iangneal Contributor • 2/6 • Draft
6 of 7 tasks
1
SourceRef and lattice primitives
#648 opened Jul 28, 2026 by iangneal Contributor • 1/6 • Draft
6 of 7 tasks
1
Arithmetize constraint-side scf.if operations
#643 opened Jul 24, 2026 by krushimir Loading…
10
Add pass to algebraize felt operations
#640 opened Jul 23, 2026 by krushimir Loading…
15
Reuse function specializations by source identity
#637 opened Jul 23, 2026 by 1sgtpepper Contributor • Draft
Preserve deferred template expressions
#635 opened Jul 23, 2026 by 1sgtpepper Contributor • Draft
Verify felt template argument fields
#634 opened Jul 23, 2026 by 1sgtpepper Contributor • Draft
26
Make specialization name encoding collision-safe
#633 opened Jul 23, 2026 by 1sgtpepper Contributor Loading…
18
verif to smt conversion
#549 opened Jun 17, 2026 by iangneal Contributor • Draft
67
adding r1cs binary extractor
#537 opened Jun 11, 2026 by shankarapailoor Contributor • Draft
1
Reject unsupported zero-result ops in ZKLean conversion
#496 opened May 29, 2026 by 1sgtpepper Contributor Loading…
1
6
Fuse matching product scf.if regions
#484 opened May 26, 2026 by 1sgtpepper Contributor Loading…
22
Basic Support for Channels
#410 opened Apr 15, 2026 by shankarapailoor Contributor • Draft
14
Try make changelog job only run if PR is ready
#274 opened Jan 20, 2026 by 0xddom Contributor • Draft
5
ProTip! Adding no:label will show everything without a label.