Integridad del registro
El registro del banco es una cadena verificable. Cada operación queda encadenada; alterarla rompe la cadena (Ley 37.148, Art. 7).
Verificando…
Testigos independientes (procesos Erlang que se vigilan entre sí) verifican la cadena del banco. Si uno cae, un supervisor lo reinicia. Detectan cualquier reescritura del historial.