#rust #cairo_lang #computational_integrity #starknet #zero_knowledge_proofs #zkp
https://github.com/starkware-libs/cairo
https://github.com/starkware-libs/cairo
GitHub
GitHub - starkware-libs/cairo: Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation. - starkware-libs/cairo