LLZK Maintenance & Verification Infrastructure Grant
Raised: $3,776.93
PROJECT OVERVIEW
LLZK is an open-source compiler framework for zero-knowledge (ZK) circuits that
enables analysis, optimization, and formal verification across multiple ZK
ecosystems. Built on top of MLIR, LLZK provides a modular intermediate
representation that supports multiple frontends (e.g.,...