Estamos emocionados de compartir que LLZK V1.0 ya está disponible para el público. Diseñado como una representación intermedia compartida, este marco apoya específicamente las herramientas de seguridad ZK. Los desarrolladores encontrarán que cualquier lenguaje de programación compilado en LLZK desbloquea instantáneamente las capacidades de ZK Vanguard para análisis estático y Picus para verificación formal. La gran ventaja aquí es que puedes aprovechar estos recursos sin problemas, evitando completamente la necesidad de reconstruir cualquiera de las herramientas desde cero. A partir de este lanzamiento, nuestras interfaces activas presentan actualmente Halo2 y Circom. Para profundizar en este lanzamiento, por favor visita el anuncio completo en https://veridise.com/blog/veridise-announcements/llzk-v1-0-a-new-phase-for-zk-shared-infrastructure/