Cairo is the first Turing-complete language for creating provable programs for general computation.
(1,899 stars) (766 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
リポジトリ
Cairo is the first Turing-complete language for creating provable programs for general computation.
Starknet privacy protocol