Provable

Provable is a platform that provides fully private applications. Its programming language Leo abstracts low-level cryptographic concepts and makes it easy to integrate private applications into the programming stack.