-
Notifications
You must be signed in to change notification settings - Fork 25
Pull requests: Verified-zkEVM/clean
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Publish circuit-owned top-level shapes
#455
opened Aug 21, 2026 by
mitschabaude-bot
Collaborator
•
Draft
Confluent vector/struct eval layer (discriminated literal/atom simprocs)
#451
opened Aug 15, 2026 by
mitschabaude-bot
Collaborator
•
Draft
feat: Modify
AgreesBelow to include data and hint agreement.
#450
opened Aug 13, 2026 by
dtumad
Loading…
computableWitnesses: compositional statement and law library
#448
opened Aug 10, 2026 by
mitschabaude-bot
Collaborator
•
Draft
Add fixed columns and sound prover data to Flat AIR
#446
opened Aug 7, 2026 by
mitschabaude-bot
Collaborator
•
Draft
Polish Plonky3 backend and FemtoCairo integration
#445
opened Aug 6, 2026 by
mitschabaude
Collaborator
•
Draft
Restore the generic floor-planner theorems
#436
opened Jul 27, 2026 by
mitschabaude-bot
Collaborator
Loading…
Witgen eval: high-level normal form (concrete reduces, hints stay atoms)
#430
opened Jul 24, 2026 by
mitschabaude-bot
Collaborator
Loading…
Wire ComputableWitnesses into FormalCircuitBase
#426
opened Jul 10, 2026 by
mitschabaude
Collaborator
•
Draft
Halo2-Clean, supporting the Ironwood formalization
#418
opened Jul 3, 2026 by
mitschabaude
Collaborator
•
Draft
WASM WAT compiler + R1CS constraint export for snarkjs
#415
opened Jul 3, 2026 by
VanshSahay
Contributor
Loading…
BabyJubJub spec and point addition circuit
#410
opened Jul 3, 2026 by
VanshSahay
Contributor
•
Draft
11 of 14 tasks
ProTip!
Follow long discussions with comments:>50.