What is Cairo?
Cairo is the first production-grade platform for generating STARK proofs for general computation.
It is Turing Complete, and highly efficient.
NEW! Cairo now has its own website, including Cairo Toolchain, Documentation, and more. Check out Cairo-lang.org
Join a Cairo Workshop
Would you like to learn how to program with Cairo?
Sign up to a Cairo workshop and we’ll let you know once one is available.
Cairo™ beta program
Will open soon – sign up for updates.