Cairo is a modern high level language for writing provable programs and Starknet smart contracts. In this talk I will talk about the current main features of Cairo and where it is going.