StarkWare, the zero-knowledge (ZK)-roll-up tech company, has officially open-sourced its new programming language compiler, Cairo 1.0,...