B blog.zksecurity.xyz Clean, a formal verification DSL for ZK circuits in Lean4 77 points vons 1 year ago 5 comments
