vFunctionsFunctions-as-a-Service whose correctness and privacy can be verified. Usecases - Oracles, ZKP, vOAuth, etc.
vDataVerifiable Spark big data processing in any Trusted Execution Environment. Usecases - Safe data collab & verifiable analytics
vAppsServices to enables apps whose processing and privacy can be verified. Usecases - Protect customer data & code