Clean, a formal verification DSL for ZK circuits in Lean4 (zksecurity.xyz)
We are really excited to share our initial steps towards building clean, an embedded DSL and formal verification framework for ZK circuits in Lean4.
Formal Verification, DSL, ZK Circuits, Lean4
77 points by vons 30 days ago | 5 comments