Este nuevo enfoque, presentado en un congreso de la ACM (Association for Computing Machinery), aborda desafíos clave como la escalabilidad y la modularidad, fundamentales para aplicaciones en inteligencia artificial (IA) y procesamiento de imágenes.
La computación verificable permite verificar que un tercero ha procesado datos correctamente, garantizando la integridad de actividades como la edición de imágenes o la aplicación de modelos de IA en decisiones críticas, como las financieras. Además, esta tecnología asegura la privacidad de los datos, permitiendo que los algoritmos empleados permanezcan confidenciales.
Rendimiento y flexibilidad
El marco introducido por los investigadores es un paso adelante significativo en la creación de sistemas más eficientes y escalables para la verificación de procesos. A diferencia de las soluciones generales usadas en blockchain, que suelen presentar problemas de escalabilidad con grandes volúmenes de datos, o las soluciones específicas que resultan incompatibles entre sí, el nuevo sistema ofrece una combinación óptima de rendimiento y flexibilidad.
Este enfoque modular se basa en una nueva primitiva criptográfica denominada "Verifiable Evaluation Scheme" (VE). Este esquema permite la verificación de operaciones secuenciales en múltiples aplicaciones, desde la verificación de la edición de imágenes hasta la confirmación de resultados en modelos de IA como las redes neuronales convolucionales (CNN).
Una de las aplicaciones prácticas más destacadas del nuevo marco es su capacidad para integrarse en cadenas de procesamiento de datos y permitir la verificación completa de predicciones realizadas por CNN. Esto representa una mejora notable respecto a los métodos existentes, permitiendo un análisis más eficiente y seguro de la información crítica.
Además, el marco puede aplicarse al procesamiento de imágenes para verificar acciones como el recorte, el desenfoque y el cambio de escala, entre otras. Este nivel de verificación es crucial para sectores donde la autenticidad de la imagen es vital, como en el periodismo, la seguridad y la publicidad.
Más veloz
El prototipo desarrollado por el equipo ha demostrado ser significativamente más rápido y eficiente que las soluciones previas, siendo cinco veces más rápido en la generación de pruebas y diez veces más en su verificación. Estos avances no solo mejoran la practicidad de la computación verificable, sino que también abren nuevas posibilidades para su uso en una amplia gama de aplicaciones.
La investigación concluye con una nota positiva sobre la importancia de la confianza en los avances tecnológicos, especialmente en campos sensibles como la inteligencia artificial y la seguridad de datos.
Con la creación de herramientas de código abierto y la adopción de un enfoque modular, los investigadores esperan facilitar la integración de la computación verificable en diferentes herramientas y plataformas, potenciando así su adopción en múltiples sectores y contribuyendo a un entorno digital más seguro y confiable.
Si (
No(
