Estamos emocionados de presentar el primer bloque de construcción del marco de Nim AI, que proporciona propiedad económica y acceso verificado a modelos de IA.

Ligetron 1.0 de @ligero_inc, es un sistema ZK eficiente en memoria impulsado por Ligero Proofs. Creamos la primera prueba en el mundo para el modelo Llama2 7b, logrando una mejora de 1.024x en memoria y 66x en rendimiento de velocidad en comparación con el mejor intento anterior de modulus.