ProvableHQ の追跡中のオープンソースリポジトリを、スター数順に表示します。
🦁 Leoプログラミング言語。形式的に検証されたゼロ知識アプリケーションのためのプログラミング言語
ZKアプリケーション向けの分散型OS。
分散型プライベート計算（DPC）のためのzkVM
ゼロ知識証明アプリケーション開発用のJavascriptおよびTypescript SDK
