Danke @EF_ESP & @ethereumfndn für die fortwährende Unterstützung von LLZK 🙏 Wir werden LLZK weiterhin als Open-Source, verifizierungsorientierte Infrastruktur für das ZK-Compiler-Ökosystem stärken. Bessere Werkzeuge, Interoperabilität zwischen verschiedenen DSLs und stärkere Korrektheitsgarantien.