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.