StarkNet’s foundations have been battle-tested in production.
StarkNet Contracts & the StarkNet OS itself are written in Cairo, our general computation programming language, making it easier and faster to develop, review and maintain code. Cairo has been in production on Ethereum Mainnet since July 2020.
The STARK Prover powers the StarkEx scalability engine, and has already demonstrated the ability to process 600K transactions in a single proof on Mainnet.
STARK Verifiers have been deployed on Ethereum Mainnet since June 2019. The Cairo Verifier, which can verify the proof of arbitrary business logic, has been deployed on Mainnet since July 2020.