Contrariamente a la suposición popular, la mayoría de los sistemas de "conocimiento cero" de hoy en día no son privados. Basándose en décadas de investigación, @mvenkita (CEO de @ligero_inc) explica en esta sesión @WPReadingClub por qué la mayoría de los sistemas de prueba en uso, incluidos muchos zkVM basados en STARK, ofrecen computación verificable pero no alcanzan la verdadera privacidad criptográfica. Muthu explica cómo Ligero y Ligetron cambian esa ecuación: • Diseñados para la eficiencia del tiempo y la memoria, pueden generar pruebas incluso en dispositivos con memoria restringida como teléfonos móviles. • Construidos sobre construcciones MPC en la cabeza, garantizan una privacidad demostrable donde muchos sistemas actuales no lo hacen. • Ya adoptado por @googlecloud para la verificación de identidad móvil, que muestra 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 apremiante de pruebas que protejan los datos confidenciales sin dejar de cumplir con los requisitos de cumplimiento. Muthu destaca las aplicaciones emergentes (grupos 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 toca experimentos que prueban grandes modelos de ML (como LLaMA) con ZK, señalando lo que viene después para la IA que preserva la privacidad. Esta es una mirada directa a la brecha entre lo que creemos que ZK hace hoy y lo que se requiere para un mundo donde la privacidad, el cumplimiento y la escalabilidad realmente coexistan. También disponible en YouTube: