Provable

Provable是一个提供完全隐私应用程序的平台。它所推出的编程语言Leo抽象了底层加密概念，使得将隐私应用程序集成到程序栈中变得简单。