Cairo is the first production-grade platform for generating STARK proofs for general computation. It is Turing Complete, and highly efficient. StarkWare has begun offering Cairo developer tools. Cairo allows faster development and more flexibility in the types of things that are proven by Stark Proofs. This allows our more-novel code to run and for future changes to take place at a faster rate.It also eventually means that we will be able to write our own programs to be verified by zero-knowledge proofs, opening up a huge amount of possibilities for new products and features without having to rely on StarkWare’s engineers to write the code themselves.
You can read more about our authors here.