Exécutez des programmes vérifiables sur des données chiffrées. Privé. Prouvable. Programmable. Portable. Connectable.