Skip to content

feat(llzk): add constraint deduplication pass - #1342

Draft
AlexanderViand wants to merge 1 commit into
VERIFY-2026/llzk-08-felt-combinesfrom
VERIFY-2026/llzk-09-constraint-deduplication
Draft

feat(llzk): add constraint deduplication pass#1342
AlexanderViand wants to merge 1 commit into
VERIFY-2026/llzk-08-felt-combinesfrom
VERIFY-2026/llzk-09-constraint-deduplication

Commits

Commits on Sep 4, 2026