Una gran aplicación de IA es tan poderosa como sus inferencias y resultados probados. Entonces, quizás se pregunte: ¿cómo verifico mi modelo de IA con DeepProve? Así es como funciona. 🧵

2/ DeepProve comienza a verificar un modelo de IA (a partir de un archivo ONYX) con cuantificación. Durante este preprocesamiento, que es una configuración única, convierte los puntos flotantes del modelo en enteros. También genera claves de probador/verificador.

3/ DeepProve luego ejecuta dos procesos en paralelo: 1. La inferencia del modelo de IA pero con números enteros para cada uno de los nodos de la red neuronal ("seguimiento de ejecución") 2. Para cada nodo, demuestra que el cálculo se realizó correctamente, luego lo convierte en una prueba ZK única y sucinta.

4/ A continuación, la verificación se completa utilizando: → La entrada y salida del modelo → El compromiso del modelo (que representa de forma única el modelo sin revelar los datos subyacentes) → Claves de verificación

5/ En términos más simples, DeepProve funciona así: 1. Completa una configuración única 2. Generar pruebas 3. Verifique las inferencias de IA en cualquier lugar