StarkNet is a permissionless decentralized Validity-Rollup. It operates as an L2 network over Ethereum. It enables any dApp to achieve unlimited scale for its computation – without compromising Ethereum’s composability and security.
From the recent update of StarkNet, it has overhauled its in-house Cairo programming language to make Web3 development accessible to developers. In a Medium blog-post by StarkWare, Stark-Based scaling solutions, outlined the upgrades to Cairo 1.0.
According to the blog-post, “Developers can start writing, compiling, and testing Cairo 1.0 programs!” The platform is encouraging developers to start experimenting with Cairo 1.0 and getting accustomed to the new syntax and features.”
What is Cairo 1.0?
Cairo was first introduced in 2020, and following the evolution as its first public version Cairo 1.0 is now available. Also it is a “turing-complete programming language” for efficiently writing STARK-provable programs. “Cairo 1.0 is a Rust-like high-level language. Like Rust, it is intended to allow developers to easily write code that is efficient and safe.”
StarkWare Co-Founder and President, Eli Ben-Sasson, shared the reason for Cairo’s revamping as he said, “The primary drivers were safety and ease of use, and conducting the overhaul presented a terrific opportunity to remove the entry for developers with conventional language backgrounds.”
Source: https://www.thecoinrepublic.com/2023/01/06/starknets-revamping-of-its-cairo-programming-but-why/