Cairo is the first Turing-complete language for creating provable programs for general computation.
- starknet
- zero-knowledge-proofs
- zkp
- computational-integrity
Repository Index
76,855 visible repositories in the index
1–1 of 1 · Most stars
76,855 visible repositories in the index
1–1 of 1 · Most stars
Cairo is the first Turing-complete language for creating provable programs for general computation.