Tecnología
zkSNARK
zkSNARK es un tipo de prueba criptográfica que permite demostrar que una afirmación es cierta sin revelar los datos subyacentes. En IA sirve, por ejemplo, para certificar que una respuesta procede de un modelo concreto sin exponer sus pesos.
Sobre esta tecnología, IA para hoy ha analizado 3 noticias, procedentes de 3 medios distintos. En los últimos siete días han sido 3, frente a las 0 de la semana anterior. La fiabilidad media de esa cobertura es de 5,0 sobre 5, medida con las reglas de nuestro método. Las áreas de impacto que más se repiten son Ciberseguridad, IT, Legal. Aparece en 1 historia en seguimiento.
Evolución en 16 semanas
El momentum semanal se estima con la misma fórmula que el momentum actual: volumen, aceleración respecto a la semana anterior, diversidad de fuentes e impacto.
Análisis Qué significa para una empresa
- Oportunidades
- Podría permitir a proveedores de API demostrar a sus clientes que sirven el modelo contratado y a terceros auditar resultados sin acceder a los modelos. Abre también casos de cumplimiento y trazabilidad donde la confidencialidad del modelo sea clave.
- Riesgos
- El coste computacional es muy alto: según los informes, generar las pruebas requiere entre 70 y 95 veces más tiempo de GPU que servir el modelo, y solo admite contextos de hasta 1.024 tokens. Las pruebas pesan del orden de 19 MB por cada 1.024 tokens, lo que limita su uso en producción.
- Qué debería hacer una empresa
- Seguir la evolución sin invertir en implantación a corto plazo; vigilar si el coste y los límites de contexto mejoran antes de planificar casos de uso reales en los próximos 18 a 36 meses.
Análisis generado por IA a partir de las noticias disponibles; actualizado hace 14 min.
Relacionadas
LLM ×3Anthropic ×3Meta ×2verificación criptográfica ×2verificación formal ×1
Historias
Noticias
Anthropic publica FlashProve, un prototipo que usa criptografía para verificar qué modelo generó una respuesta
Anthropic ha publicado FlashProve, un prototipo de investigación de código abierto que usa pruebas criptográficas zkSNARK para comprobar que una respuesta de…
Por qué importaSi la verificación del modelo servido se vuelve práctica, los clientes podrían comprobar que un proveedor no sustituye modelos más baratos o manipula…
Anthropic publica FlashProve, código abierto para verificar criptográficamente que una API sirve el modelo pagado
Anthropic publicó FlashProve, un prototipo de código abierto bajo licencia Apache 2.0, que genera pruebas criptográficas basadas en zkSNARK para certificar que…
Por qué importaSi el estándar prospera, los clientes de API podrían comprobar qué modelo reciben realmente, algo que hoy no es verificable. Por ahora es una…
Anthropic presenta FlashProve, un prototipo abierto que verifica con criptografía qué modelo generó una respuesta
Anthropic publicó el 2 de noviembre FlashProve, un sistema de código abierto que usa pruebas criptográficas zkSNARK para demostrar que una respuesta fue…
Por qué importaSi la verificación de modelo se generaliza, un cliente podría comprobar que el servicio que contrata no sustituye el modelo por uno más barato. Para…