Installing Cairo in your local Machine

As the official Cairo blog post suggests, "Cairo is the first production-grade platform for generating STARK proofs for general computation. It is Turing complete and highly effective". Cairo is essentially of great help for having large-scale execut...