See here the content created by the StarkNet-Cairo community.
StarkNet Alpha 1 is out: L1<>L2 interaction and on-chain data are now available.
StarkNet achieves scale, while preserving the security of L1 Ethereum by producing STARK proofs off-chain, and verifying those proofs on-chain.
On StarkNet, developers can easily deploy any business logic using StarkNet Contracts.
StarkNet will provide Ethereum-level composability, facilitating easy development and compounding innovation.
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.