Anthropic publica FlashProve, código abierto para verificar criptográficamente que una API sirve el modelo pagado

Hecho Qué ha ocurrido
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 una respuesta fue producida por un modelo concreto sin revelar sus pesos. Según el documento técnico de la empresa, con Llama 4 Maverick una H100 genera pruebas a unos 110 tokens por segundo, cada prueba pesa cerca de 19 MB por cada 1.024 tokens y su verificación tarda unos 17 segundos; generarlas consume entre 72 y 94 veces más tiempo de GPU que servir el modelo sin ellas.
Resumen generado mediante IA a partir de Enter.co. Naturaleza de la información: declaración de parte interesada.
Análisis Por qué importa
Si 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 herramienta de laboratorio por su coste computacional.
- Quién se ve afectado
- Empresas que contratan modelos de IA mediante API, intermediarios de servicios de IA, reguladores y auditores.
- Qué puede cambiar
- Podría facilitar auditorías y contratos que exijan demostrar qué modelo se usó, sin exponer pesos ni hardware. El coste actual impide su uso en producción.
Análisis generado a partir de la información disponible; no procede de la fuente.
Predicción Qué observar a continuación
Auditorías externas del código y del protocolo formal, reducción del sobrecoste de generación de pruebas y si otros proveedores o reguladores adoptan el enfoque.
Enviar esta noticia por correo
Enviado. Revisa que llegue a la bandeja de entrada de quien lo reciba.
La dirección no parece válida.
Has enviado varios correos seguidos. Espera un rato.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
No se ha podido enviar. Inténtalo de nuevo en unos minutos.
Fuente original: Enter.co. La referencia es siempre el artículo original.
Ver fuente original ↗zkSNARKLLMverificación criptográfica Anthropic Anthropic Claude código abierto FlashProve zkSNARK
Forma parte de la historia Anthropic presenta FlashProve, verificación criptográfica de modelos de IA (4 noticias, estado: evolución rápida).
Relacionadas
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…
Anthropic trabaja en FlashProve, un sistema de código abierto para verificar qué modelo generó una respuesta
Anthropic trabaja en FlashProve, un sistema de código abierto que verifica qué modelo de IA generó una respuesta. Su objetivo es que evaluadores independientes…
Por qué importaSi la verificación funciona, los clientes podrían auditar lo que compran cuando contratan modelos de IA por tokens, algo útil para el control de…
Anthropic desarrolla FlashProve, un sistema de código abierto para verificar qué modelo de IA generó una respuesta
Anthropic publicó en un blog un proyecto de código abierto llamado FlashProve, que busca ofrecer una prueba criptográfica de que una salida proviene de un…
Por qué importaSi funciona, permitiría comprobar que un proveedor no cambia en secreto a un modelo más barato o más caro, algo relevante para quien paga por el uso…
Anthropic usa Claude para demostrar matemáticamente que código existente es correcto
Anthropic, con su equipo Frontier Red Team y el socio Theorem, usó Claude para generar unos 180 millones de líneas de código de prueba matemática sobre 123…
Por qué importaSi la verificación formal deja de ser un proceso costoso reservado a casos extremos, la calidad del software generado por IA podría comprobarse de…
Tu opinión
Te hemos enviado un correo para confirmar tu dirección. El comentario se procesará cuando pulses el enlace.
Gracias. Tu comentario se publicará cuando lo revise el equipo (los primeros comentarios de cada persona se moderan).
Comentario publicado. Gracias por participar.
No se puede comentar aquí.
Indica un nombre (de 2 a 60 caracteres).
El correo no parece válido.
El comentario debe tener entre 10 y 2.000 caracteres.
Demasiados enlaces en el comentario.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
Has alcanzado el límite diario de comentarios.
Demasiados comentarios seguidos. Espera un rato.
No se ha podido enviar el correo de confirmación. Inténtalo de nuevo en unos minutos.



