Voer verifieerbare programma's uit op versleutelde gegevens. Privé. Bewijsbaar. Programmeertaal. Draagbaar. Inplugbaar.