StarkWare, leading producer of STARK-based scaling solutions for L1 blockchains, shares details of Cairo 1.0