Protocolo Newton: Asegurar el Medio, no los Bordes
Dejé el teléfono sin bloquear en la encimera de la cocina como diez minutos esta mañana mientras atendía otra cosa, y cuando volví tuve este mini ataque de pánico momentáneo, no porque hubiera pasado algo, sino por el reflejo de “espera, ¿y si alguien lo hubiera recogido?”. No pasó nada. Pero me hizo pensar en dónde vive realmente la seguridad en un sistema, en vez de dónde asumes que vive.
Ese pensamiento seguía dando vueltas más tarde cuando me senté con el material del Protocolo Newton otra vez, esta vez en el marco de “mejorar la seguridad mediante automatización verificable”. Y en vez de solo asentir, me encontré haciéndome una pregunta más específica: —seguridad contra qué, exactamente, y seguridad a partir de dónde. Así que me puse a investigar los límites reales de qué es lo que la capa de TEE y la capa de ZK están protegiendo.
Esto es lo que encajó, y es un poco inquietante una vez que lo ves con claridad. El sistema de verificación asegura extremadamente bien el centro del proceso: demuestra que, cualquiera que fuera la acción ejecutada, coincidía con las reglas que se aprobaron y se firmaron. Esa parte es hermética, de verdad. Lo que no toca, en absoluto, es el momento anterior: cómo se redactó y se firmó por primera vez ese permiso, y por quién. Si el dispositivo o la clave que firmó un alcance de permiso se ve comprometido, o si alguien con acceso escribe un permiso que es técnicamente válido pero demasiado amplio, todo el sistema aguas abajo demostrará fiel y criptográficamente que la mala acción resultante fue "ejecutada correctamente". Porque lo fue. Ejecutada correctamente, según instrucciones que nadie debería haber dado.
Creo que había asumido lo mismo que asumo que mi teléfono está básicamente bien mientras nadie lo piratee activamente de forma remota: que la historia de seguridad aquí empieza al principio y cubre toda la cadena de extremo a extremo. No es así. Empieza una vez que ya existe un permiso y se trata como legítimo. Todo lo que está antes —el paso humano, el paso de firma, el dispositivo que guarda las claves— queda completamente fuera de lo que se verifica. Eso no es una crítica a la ingeniería; la ingeniería dentro de su límite es genuinamente sólida. Es más bien que el límite es más estrecho de lo que suena a "seguridad mediante automatización verificable".
Pero aquí está la parte que en realidad me molesta. La mayoría de las intrusiones reales en el mundo de la criptografía, históricamente, no han venido de romper la criptografía; han venido exactamente de esta capa anterior: claves robadas por phishing, dispositivos comprometidos, alguien aprobando algo que no debería bajo presión o confusión. Si ahí sigue concentrándose el riesgo real, entonces un sistema que, de forma demostrable, asegura todo después de que el permiso existe está resolviendo un problema que normalmente no es el que termina afectando a la gente. Es un poco como instalar un candado extremadamente bueno en una puerta, mientras que las entradas reales suceden sobre todo por una ventana abierta que nadie está revisando. No digo que el candado sea inútil, solo que no creo que cambie las probabilidades tanto como sugiere el planteamiento.
También está la cuestión de la revocación, que no esperaba que me importara pero ahora no puedo dejar de pensar: una vez que un permiso está activo y un agente está en medio de su ciclo, ¿qué tan rápido puede realmente un usuario retirarlo si algo se siente mal? No he terminado de concretar la respuesta ahí; quizá sea más bien una laguna en lo que he leído hasta ahora que una laguna en el sistema en sí.
Lo más importante, supongo, para cualquiera que vea este tipo de automatización verificada como una razón para ser menos cuidadoso con lo que está antes: higiene del dispositivo, quién tiene acceso para firmar, cómo se revisan los permisos antes de concederlos. La matemática no cambia realmente ahí solo porque todo lo de después sea criptográficamente hermético.
Bueno, el teléfono ya está de vuelta en mi bolsillo; no pasó nada, obviamente. Aun así, sigo comprobando dos veces antes de dejarlo tirado por ahí. Son viejos hábitos, supongo, incluso cuando el riesgo real probablemente estaba en otro sitio del todo.