Nitzan Grossman

Cairo 1.0

TL;DR Introduction In 2020 we released Cairo, a Turing-complete programming language, and took a big step towards supporting verifiable computation using STARKs. Today, we announce Cairo… Read More »Cairo 1.0

Cairo: Welcome On Board

A few months ago we announced Cairo, our Turing-complete framework for proving general computations. Since then we held the Cairo Genesis Workshop and presented Cairo at ZK Summit 6. Today, we are releasing the first version of the Cairo Toolchain.