CIBPaas
motorcadena
CIB · Unidad de Aseguramiento AlgorítmicoLámina
Aseguramiento algorítmico público

De algoritmos declarados a algoritmos verificables.

Hoy un acto algorítmico del Estado es una declaración que nadie fuera de la institución puede comprobar. PAAS lo convierte en un registro con sello: cualquiera recalcula la prueba y su vigencia se mantiene en el tiempo.

Recalculando un expediente real contra la cadena…

Lo que este expediente demuestra

tres propiedades, verificadas arriba
Integridad

No se altera sin que se note

El expediente se sella con un hash canónico anclado en la cadena por un acreditador. Cambiar una coma cambia el sello, y el sello no coincide.

Vigencia

No queda congelado en el papel

El estado se monitorea. Cuando el algoritmo se aparta de lo evaluado, la atestación cambia de estado y esa transición queda registrada en la cadena.

Independencia

No depende de nosotros

Un tercero recalcula el sello y lo contrasta con la cadena, sin permiso, sin acceso privilegiado y sin confiar en PAAS.

Estado del registro, ahora

lecturas en vivo del sistema en marcha
—Algoritmos en el registro
—Atestaciones ancladas
—Íntegras hoy
—Transiciones en la cadena