CairoStarkWare has it’s own programing language - Cairo is a language for creating STARK-provable programs for general computation. Cairo powers StarkEx, which scales applications on Mainnet (including dYdX, Sorare, Immutable X, and DeversiFi). Cairo is the native smart contract language for StarkNet, a permissionless decentralized Validity-Rollup. StarkNet uses the Cairo programming language both for its infrastructure and for writing StarkNet contracts. Cairo has all of those solutions:An u...