Provable

Provable は、完全にプライベートなアプリケーションを提供するプラットフォームです。そのプログラミング言語 Leo は、低レベルの暗号化の概念を抽象化し、プライベート アプリケーションをプログラミング スタックに簡単に統合できるようにします。