Estamos entusiasmados con el lanzamiento de LLZK, una representación intermedia (IR) de código abierto para circuitos de conocimiento cero. Piense en LLVM, pero para ZK. Creado por @VeridiseInc y respaldado con una subvención de la @ethereumfndn, LLZK ahora está disponible en GitHub. Hilo 🧵 1/4

Cuando comenzamos a trabajar en las herramientas ZK, no había nada disponible. @FormallyJon comparte nuestro viaje de herramientas de conocimiento cero en @HouseofZK entrevista.

¿Qué nos llevó a desarrollar Vanguard, nuestro analizador estático, y cómo lo extendimos más allá de Solidity? @FormallyJon explica en el podcast @HouseofZK.

Cannes, ¡estuviste increíble! Gracias a todos los que pasaron por nuestro stand y a @EthCC por recibirnos. Aquí hay un festín visual de la semana 🌞

Saludos de @EthCC — Nuestro @KFerles de CTO comparte cómo ofrecemos un determinismo duradero para zkVM como @RiscZero

Obtenga una descripción general de las herramientas ZK de Veridsi y eche un vistazo a lo que sigue. @IsilDillig comparte nuestras direcciones futuras en el evento @a16zcrypto.

Nuestras herramientas de detección de ZK se agotaban previamente en el 30% de los circuitos ZK. ¿Cómo resolvimos esto? @IsilDillig comparte ideas de nuestro reciente trabajo de investigación.

¿Cómo mantenemos los circuitos ZK sólidos y deterministas durante las auditorías? Nuestro cofundador @IsilDillig comparte ideas sobre la combinación de análisis estático y solucionadores SMT en nuestras herramientas ZK.

¿Son los circuitos sobrerestringidos un desafío en los circuitos de conocimiento cero? ¿Qué representa una amenaza mayor: circuitos con restricciones insuficientes o excesivas? @IsilDillig lo desglosa.

Por último, pero no menos importante, el Premio SIGPLAN Robin Milner para Jóvenes Investigadores también se anunció en PLDI. Este año, el premio fue para Işıl Dillig (@IsilDillig), cuya investigación ha tenido contribuciones profundas y de gran alcance al análisis, la verificación y la síntesis ⭐️ de programas