Provable

Provable 是一個提供完全隱私應用程式的平台。其推出的程式語言 Leo 抽象化了低階加密概念，使將私有應用程式整合到程式堆疊中變得容易。