Provable

Provable 是一个提供完全隐私应用程序的平台。其推出的编程语言 Leo 抽象了低级加密概念，使将私有应用程序集成到程序堆栈中变得容易。