Cairo is the first Turing-complete language for creating provable programs for general computation.
- starknet
- zero-knowledge-proofs
- zkp
- computational-integrity
Repository Index
83,087 visible repositories in the index
1–2 of 2 · Most stars
A curated list of awesome StarkNet resources, libraries, tools and more
- starkware
- starknet
- cairo
- zkrollup