We're excited to announce that we've been awarded a grant from the @ethereumfndn to build an open-source Intermediate Representation (IR) for ZK circuit languages. We call this LLZK.

Thread (1/8) 🧵