Qué demuestra una atestación, y qué no

«Cifrado para el enclave» es una forma breve de nombrar una cadena de comprobaciones. Merece la pena conocer cada eslabón, porque cada uno se apoya en algo distinto: las claves del fabricante de un procesador, una versión publicada, una cabecera o código que servimos nosotros. Esta nota recorre la cadena en orden y señala dónde termina.

La comprobación, en orden

Antes de que el espacio de trabajo envíe un mensaje, tu navegador obtiene el paquete de atestación del enclave a través de nuestro retransmisor y lo verifica con el verificador de Tinfoil, en la pestaña. El paquete contiene un informe de hardware firmado con claves cuya raíz está en el fabricante del procesador (AMD SEV-SNP en el caso del enrutador), una medición del código con el que arrancó el enclave y la clave pública con la que el enclave descifrará.

• La firma del informe muestra que procede de hardware de enclave auténtico.
• La medición se compara con una versión firmada y publicada del código del enrutador, así que el navegador sabe qué código se está ejecutando.
• La clave del informe es aquella para la que después se cifra tu mensaje, con HPKE, antes de que salga de la pestaña.

El retransmisor guarda ese paquete público en caché durante un minuto. Como el navegador lo verifica, que pase por nuestro servidor no puede debilitarlo: un paquete modificado no supera la comprobación, y no se envía nada.

Qué muestra una comprobación superada

Que un enclave en esa dirección es hardware real que ejecuta esa versión publicada, y que tiene la clave para la que se selló tu mensaje. Tu mensaje solo puede abrirse dentro de ese código, mientras se mantengan las protecciones del hardware. Nuestro retransmisor, nuestro proveedor de alojamiento y la red intermedia ven texto cifrado.

Dónde se detiene

El enclave que verifica tu navegador es el enrutador de modelos de Tinfoil. Su código publicado descifra tu solicitud y la pasa al enclave propio del modelo, por una conexión TLS vinculada a la clave atestada de ese enclave. Tu navegador no puede confirmar ese salto por sí mismo; depende del código publicado del enrutador.

El espacio de trabajo también intenta comprobar el enclave del modelo, y dice en el comprobante de cada respuesta lo que encontró. Hoy esa comprobación a menudo no puede completarse en un navegador. El verificador de Tinfoil para navegadores solo lee informes de AMD SEV-SNP, y los enclaves de Kimi K3, GPT-OSS 120B, DeepSeek V4.1 Flash y la mayoría de los de Gemma 4 31B se ejecutan en Intel TDX, así que sus comprobantes dicen que aún no se pueden comprobar en un navegador. Algunos enclaves SEV-SNP, entre ellos el de GLM-5.3, informan de una versión de procesador que el verificador aún no acepta, y aparecen como no confirmados. Ninguno de los dos casos significa que el enclave esté mal; significa que el navegador no pudo demostrar que estuviera bien. Estos resultados son del 28 de octubre de 2026.

Dos cosas que una comprobación no puede cubrir

• El código que verifica lo proporcionamos nosotros. Si sirviéramos un verificador que mintiera, la comprobación se superaría. Por eso /verify compara el código que cargó tu navegador con el manifiesto publicado de la compilación, y por eso la compilación se puede repetir byte a byte.
• La atestación depende de las claves de firma del fabricante y de que el hardware del enclave funcione como se diseñó. No puede avisarte de un fallo en ninguno de los dos.

Compruébalo tú mismo

Cómo funciona la verificación dibuja toda la cadena. Séllalo tú mismo ejecuta el paso de sellado en tu navegador sin enviar nada. Verificar esta página calcula el hash del código que cargaste, e Intenta descifrarlo publica una solicitud cifrada tal como la vio nuestro retransmisor.