By Mathieu Saugier and Edgar Barrantes. Special thanks to Jorik Schellekens for reviewing. Earlier this year, StarkWare announced Cairo 1.0 as an improvement to the Cairo programming language that will make it safer, better, and easier for writing contracts. With an improved syntax and a fully-fledged type system, Cairo 1.0…