Provable

Provable is a platform that offers fully private applications. The programming language it has introduced, Leo, abstracts low-level encryption concepts, making it easy to integrate private applications into program stacks.