Contrario a la suposición popular, la mayoría de los sistemas "zero-knowledge" hoy en día no son privados. Basándose en décadas de investigación, @mvenkita (CEO de @ligero_inc) desglosa en esta sesión de @WPReadingClub por qué la mayoría de los sistemas de prueba en uso - incluidos muchos zkVMs basados en STARK - ofrecen computación verificable pero no logran una verdadera privacidad criptográfica. Muthu explica cómo Ligero y Ligetron cambian esa ecuación: • Diseñados para la eficiencia en tiempo y memoria, pueden generar pruebas incluso en dispositivos con limitaciones de memoria como teléfonos móviles. • Construidos sobre construcciones de MPC-in-the-head, garantizan privacidad demostrable donde muchos sistemas actuales no lo hacen. • Ya adoptados por @googlecloud para la verificación de identidad móvil, mostrando viabilidad en el mundo real. La discusión abarca los fundamentos académicos de ZK, la evolución de la teoría a la implementación, y la necesidad urgente de pruebas que protejan datos sensibles mientras cumplen con los requisitos de cumplimiento. Muthu destaca aplicaciones emergentes - pools de privacidad, zk-validiums y pruebas de identidad en el dispositivo - que podrían definir el futuro de la adopción empresarial y regulatoria, y menciona experimentos que demuestran grandes modelos de ML (como LLaMA) con ZK, apuntando a lo que viene a continuación para la IA que preserva la privacidad. Esta es una mirada directa a la brecha entre lo que pensamos que ZK hace hoy, y lo que se requiere para un mundo donde la privacidad, el cumplimiento y la escalabilidad coexisten verdaderamente. También disponible en YouTube: