Experimental News Clipping Site

Tag: Lean4

  • Hacker News: Clean, a formal verification DSL for ZK circuits in Lean4

    —

    by

    Kurt Seifried
    in

    Source URL: https://blog.zksecurity.xyz/posts/clean/ Source: Hacker News Title: Clean, a formal verification DSL for ZK circuits in Lean4 Feedly Summary: Comments AI Summary and Description: Yes **Summary:** The provided text discusses the development of an embedded Domain-Specific Language (DSL) and formal verification framework for Zero-Knowledge (ZK) circuits using Lean4. The project aims to enhance the correctness…