2 results found Sort:

starkware-libs
cairo starkware-libs
447
1.5k
apache-2.0
17
Cairo is the first Turing-complete language for creating provable programs for general computation.
zkp cairo starknet zero-knowledge-proofs computational-integrity
Created 2022-05-19
5,451 commits to main branch, last one 15 hours ago
andrewmilson
sandstorm andrewmilson
20
154
mit
7
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
zkp cairo stark starknet ministark cairo-lang computational-integrity
Created 2022-11-27
155 commits to main branch, last one 4 months ago