Blog

Cairo: Welcome On Board

by cairo-lang
December 30, 2020

This post was originally published on StarkWare’s Medium in December 2020 A few months ago we announced Cairo, our Turing-complete framework for proving general computations. Since… Read More »Cairo: Welcome On Board

Hello, Cairo

by cairo-lang
December 30, 2020December 30, 2020

This post was originally published on StarkWare’s Medium on August 2020 TL;DR Cairo is the first production-grade platform for generating STARK proofs for general computation.… Read More »Hello, Cairo