Aseguramiento algorítmico público
De algoritmos declarados a algoritmos verificables.
PAAS es la capa que convierte la supervisión de un algoritmo público en un registro que se puede comprobar: un expediente sellado, un estado que se mantiene vigente en el tiempo y una prueba que cualquiera puede repetir.
El sello es el hash
I
El expediente no puede alterarse sin que se note
Cada evaluación se sella con un hash canónico, y ese sello queda anclado en la cadena por un acreditador. Cambiar una coma cambia el sello.
II
La vigencia no queda congelada en el papel
El estado se monitorea. Cuando el algoritmo se aparta de lo que se evaluó, la atestación cambia de estado y esa transición queda registrada.
III
La comprobación no depende de nosotros
Cualquier tercero recalcula el sello y lo contrasta contra la cadena, sin permiso, sin acceso privilegiado y sin confiar en PAAS.
El ciclo del aseguramiento
de la ficha del registro al sello en la cadena- 01RegistrarEl catálogo de algoritmos públicos del Estado, con su ficha y su clasificación.—en el catálogo
- 02EvaluarUn expediente con hallazgos técnicos, análisis legal, controles y evidencia cifrada.—expedientes emitidos
- 03AnclarEl sello del expediente queda escrito en la cadena por el firmante acreditado.—atestaciones ancladas
- 04VerificarCualquiera recalcula el sello y lo compara con el valor anclado.—íntegras hoy
- 05MonitorearLa deriva se detecta y el cambio de estado queda registrado en la cadena.—transiciones registradas