2 results found Sort:

599
1.7k
apache-2.0
21
Cairo is the first Turing-complete language for creating provable programs for general computation.
Created 2022-05-19
6,602 commits to main branch, last one a day ago
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Created 2022-11-27
157 commits to main branch, last one about a month ago