StarkWare, a scaling solution provider, tweets about the new launch of their first public version of Cairo 1.0. However, Cairo was first brought into public in 2020, which efficiently wrote STARK-provable programs. However, the new version Cairo 1.0 is a Rust-inspired language, which would help developers write the codes seamlessly, efficiently, and safely. Cairo is …