ProvableHQ/leo

🦁 Leoプログラミング言語。形式的に検証されたゼロ知識アプリケーションのためのプログラミング言語

↗ GitHub で開く

スター

4,821

フォーク

715

言語

Rust

ライセンス

GPL-3.0

最終プッシュ

3 週間前

Rust zero-knowledge programming-language compiler zksnarks leo

関連 Intel はまだありません

このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。