News for hackers. Stuff that matters.

A comment on Clean, a formal verification DSL for ZK circuits in Lean4. Parent comment

Re:Clean, a formal verification DSL for ZK circuits in Lean4 by ted_dunning on Saturday March 29, 2025 @12:38AM (#43512777)
Thanks!
[ Parent | on HN ]

There are no comments on this comment yet.