Provable

Provable 是一個提供完全隱私應用程序的平臺。其推出的編程語言 Leo 抽象了低級加密概念，使將私有應用程序集成到程序堆棧中變得容易。