Modulus Labs anunció el lanzamiento oficial de su probador Remainder de aprendizaje automático de conocimiento cero (ZKML). Al aplicar el probador GKR a la producción por primera vez, Remainder logró una mejora de eficiencia 180 veces mayor en comparación con el razonamiento tradicional de IA en igualdad de condiciones de hardware. Esta tecnología no sólo demuestra un enorme potencial para salvaguardar la privacidad y la seguridad de los datos, sino que también sienta las bases para la aplicación práctica de una IA verificable.
El desarrollo de Remainder se basa en conocimientos profundos sobre la exploración del rendimiento de pruebas de conocimiento cero (ZK) especializadas y mejora significativamente la eficiencia de verificación del proceso de razonamiento de IA al optimizar la aplicación del protocolo GKR. Además, el probador ha completado silenciosamente cientos de miles de registros de resultados de IA en Ethereum, demostrando su estabilidad y confiabilidad en aplicaciones prácticas.
Para profundizar en la teoría detrás de Remainder, Modulus Labs publicará una serie de artículos este año, con el primer artículo "Extensión inteligente: razonamiento de bosque de decisiones verificable usando Remainder" que detalla una serie de medidas de optimización que respaldan Remainder. Se espera que el proyecto MEAP se lance en el segundo trimestre de 2024, con el objetivo de llevar a los participantes a dominar GKR de manera integral desde la teoría a la práctica, y a construir y probar circuitos en Remainder.