Blog

Cairo 1.0

Cairo 1.0 will give developers a safer, simpler, more usable programming language. At the heart of Cairo 1.0 will be Sierra, an intermediary representation layer that… 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.