✳flâneur — a map of the web's best reading

Introduction - The Cairo Programming Language

book.cairo-lang.org · 433 words · saved by 1 readers

Cairo is a programming language designed for a virtual CPU of the same name. The unique aspect of this processor is that it was not created for the physical constraints of our world but for cryptographic ones, making it capable of efficiently proving the execution of any program running on it. This means that you can perform time consuming operations on a machine you don't trust, and check the result very quickly on a cheaper machine. While Cairo 0 used to be directly compiled to CASM, the Cairo CPU assembly, Cairo 1 is a more high level language. It first compiles to Sierra, an intermediate representation of Cairo which will compile later down to a safe subset of CASM. The point of Sierra is to ensure your CASM will always be provable, even when the computation fails. Cairo allows you to compute trustworthy values on untrusted machines. One major usecase is Starknet, a solution to Ethereum scaling. Ethereum is a decentralized blockchain platform that enables the creation of decentrali

Introduction - The Cairo Programming Language Light Rust Coal Navy Ayu The Cairo Programming Language Cairo Home Starknet English Introduction What is Cairo? Cairo is a programming language designed to leverage the power of mathematical proofs for computational integrity. Just as C.S. Lewis defined integrity as "doing the right thing, even when no one is watching," Cairo enables programs to prove they've done the right computation, even when executed on untrusted machines. The language is built on STARK technology, a modern evolution of PCP (Probabilistically Checkable Proofs) that transforms

Explore this link on the map →

related reading