Kjør verifiserbare programmer på krypterte data. Privat. Beviselig. Programmerbar. Bærbar. Pluggable.