Córdoba, Argentina · Av. Colón 530, Centro Empresarial
Núcleo Aislado

Qué puede comprobarse y qué queda fuera de la atestación

En esta página no vas a encontrar sellos, auditorías aprobadas ni cifras de rendimiento. Lo que sigue son precisiones sobre el alcance real de la evidencia en un despliegue biométrico aislado: qué se puede verificar, con qué mecanismo y en qué punto la cadena de confianza deja de cubrir el sistema. El objetivo es acotar afirmaciones, no ampliarlas.

Atestación remota: qué se firma y qué no

La atestación remota permite verificar firmware, modelo cargado y estado del entorno en dispositivos de borde. Es decir, el equipo demuestra con mediciones firmadas qué binario ejecuta y bajo qué configuración arrancó. Lo que no hace es probar que no existan fugas durante la inferencia: una atestación correcta describe el estado de partida, no el comportamiento en cada ciclo de cómputo. Confundir ambas cosas es el error más común al leer un informe de despliegue.

El HSM custodia, no ejecuta

Un HSM custodia claves, sellos de integridad y atestación, pero no ejecuta redes neuronales completas. Esa distinción importa porque la evidencia de custodia no equivale a evidencia de cómputo. Que el módulo haya liberado correctamente la clave que descifra el modelo no dice nada sobre cómo se comportó el acelerador después. Son dos capas con garantías distintas y conviene tratarlas por separado al documentar un escenario.

Los vectores de fuga no terminan en el chip

DMA, memoria unificada y buffers intermedios son vectores relevantes que deben considerarse al evaluar un despliegue. Un controlador mal configurado puede leer regiones que el NPU ya liberó pero que todavía contienen activaciones. En plataformas de borde con memoria compartida, esa frontera se vuelve más difusa. La atestación no cubre estos caminos por sí sola: requieren configuración de IOMMU, regiones reservadas y políticas de borrado explícito que se auditan aparte.

Combinaciones, no piezas sueltas

Los despliegues serios suelen combinar HSM, TEE y NPU para cubrir custodia, orquestación y cómputo. Ninguno de los tres resuelve el problema completo. Elegir uno solo obliga a renunciar a alguna propiedad, y esa renuncia debería quedar escrita en el diseño antes de comprometer la arquitectura. Cuando alguien presenta una sola pieza como solución total, suele estar describiendo una parte del sistema como si fuera el sistema entero.

Límites explícitos de esta página

No afirmamos certificaciones, resultados numéricos ni capacidades no documentadas. Tampoco presentamos la atestación como prueba de ausencia total de fugas. Lo que ordenamos es qué puede comprobarse con los mecanismos disponibles y qué queda fuera del alcance de la verificación. Si tu escenario necesita una evaluación concreta, la consulta técnica se canaliza desde Córdoba, Argentina, en Av. Colón 530, Centro Empresarial, X5000.

Para consultas sobre un despliegue específico, escribí a info@sandtdesignstudio.com o llamá al +54 351 490-1818. También podés revisar el formulario de contacto y los criterios generales en la página de evidencia.

Cómo se comprueba el aislamiento, y hasta dónde llega esa comprobación

En esta página no vas a encontrar certificaciones aprobadas ni resultados medidos. Lo que sigue es un orden de lectura sobre lo que sí puede atestiguarse en un despliegue biométrico con hardware separado, y sobre lo que queda fuera del alcance de cualquier prueba. Sirve para revisar un diseño antes de comprometerlo, no para respaldarlo.

Atestación remota: qué se puede verificar

Un dispositivo de borde puede demostrar, mediante una cadena de mediciones firmadas, qué firmware cargó, qué modelo tiene en memoria y en qué estado se encuentra el entorno de ejecución. Eso permite distinguir una actualización legítima de una manipulación, algo que desde el servidor se ve igual si no hay atestación. El alcance es acotado: cubre identidad y estado declarado, no el comportamiento interno de cada inferencia.

Custodia no es cómputo

Un HSM custodia claves, sellos de integridad y material de atestación, pero no ejecuta redes neuronales completas. La clave que descifra el modelo en el momento de la carga y el sello que verifica su integridad viven ahí; los pesos descifrados, no. Confundir ambos planos lleva a esperar del módulo de seguridad algo que nunca estuvo en su diseño.

Los vectores de fuga no terminan en el chip

DMA mal configurado, memoria unificada en plataformas de borde y buffers intermedios que sobreviven a cada inferencia son rutas reales de exposición. Aislar el acelerador sin revisar el bus, los controladores y las políticas de asignación de páginas deja abierta la misma superficie que se quería cerrar. Es un punto que suele omitirse en las descripciones de arquitectura.

Combinar mecanismos en lugar de elegir uno

Los despliegues que se sostienen en el tiempo suelen repartir responsabilidades: HSM para custodia, TEE para orquestación de la carga, NPU para el cómputo de inferencia. Cada pieza cubre una propiedad distinta y ninguna reemplaza a las otras. Saber qué se resigna al usar una sola es parte de la evaluación previa.

Si estás ordenando un escenario concreto y querés contrastar qué puede atestiguarse en tu caso, escribinos a info@sandtdesignstudio.com o llamanos al +54 351 490-1818. También podés acercarte a Av. Colón 530, Centro Empresarial, X5000 Córdoba, Argentina. La consulta se responde con el mismo criterio que esta página: sin afirmar nada que no pueda verificarse.