Wir freuen uns, mitteilen zu können, dass LLZK V1.0 offiziell für die Öffentlichkeit verfügbar ist. Als gemeinschaftliche Zwischenrepräsentation entworfen, unterstützt dieses Framework speziell ZK-Sicherheitswerkzeuge. Entwickler werden feststellen, dass jede Programmiersprache, die in LLZK kompiliert wird, sofort die Fähigkeiten von ZK Vanguard für die statische Analyse und Picus für die formale Verifikation freischaltet. Der große Vorteil hier ist, dass du diese Ressourcen nahtlos nutzen kannst, ohne die Notwendigkeit, eines der Werkzeuge von Grund auf neu zu erstellen. Mit diesem Launch bieten unsere aktiven Frontends derzeit Halo2 und Circom an. Um tiefer in dieses Release einzutauchen, besuche bitte die vollständige Ankündigung unter <a>https://veridise.com/blog/veridise-announcements/llzk-v1-0-a-new-phase-for-zk-shared-infrastructure/</a>.