Is There a Cairo Workshop In Your Future?

What is Cairo?

Cairo is the first production-grade platform for generating STARK proofs for general computation. It is Turing Complete, and highly efficient. Everything we’ve been building — starting with our Reddit Bake-off submission — is written in Cairo, including all our upcoming deployments: DeversiFiImmutable, and dYdX.

One STARK to Prove Them All

On August 2020 we announced Cairo, our Turing-Complete platform for generating STARK proofs for general computations. 

From ASIC to CPU

Cairo was born out of (not so thin) AIR – watch our ZK-Summit talk on the evolution from an ASIC model to the Cairo CPU model.

Cairo Playground

Cairo Playground lets you start coding with Cairo right from your browser. 

Would you like to participate in a future Cairo workshop?

After one small-yet-successful Cairo workshop, we are thinking about holding more workshops, where we will help you learn the language and start building your own projects with Cairo.

If you’d like to participate in one, fill the form below and we will let you know once it’s relevant.

* indicates required
How did you hear about us?

Please select all the ways you would like to hear from StarkWare:

You can unsubscribe at any time by clicking the link in the footer of our emails. For information about our privacy practices, please visit our website.

We use Mailchimp as our marketing platform. By clicking below to subscribe, you acknowledge that your information will be transferred to Mailchimp for processing. Learn more about Mailchimp's privacy practices here.