Una gran aplicación de IA es tan poderosa como sus inferencias y resultados probados. Entonces, podrías estar preguntándote: ¿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 cuantización. Durante este preprocesamiento, que es una configuración única, convierte los puntos flotantes de tu 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 enteros para cada uno de los nodos de la red neuronal ("traza de ejecución") 2. Para cada nodo, prueba que el cálculo se realizó correctamente, luego lo convierte en una única y sucinta prueba ZK.

4/ A continuación, la verificación se completa utilizando: → La entrada y salida del modelo → El compromiso del modelo (que representa de manera única al 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. Genera pruebas 3. Verifica inferencias de IA en cualquier lugar