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
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.
Will open soon – sign up for updates.