StarkWare plans to launch Cairo 1.0, with the core feature Sierra proving each run of Cairo
Chain Catcher news, zero-knowledge proof technology development company StarkWare announced the release of programming language Cairo 1.0, with the core being the intermediary representation layer (Sierra), which will enhance usability, security, and convenience, support StarkNet's permissionless network requirements, and simplify and protect protocols. Development is currently underway, and the first version is expected to be released soon.
The main new feature in Cairo 1.0 is Sierra (security report). Sierra constitutes a new intermediary representation layer between Cairo 1.0 and Cairo bytecode. The goal of Sierra is to ensure that every Cairo execution (the program and its inputs) can be proven. Additionally, Cairo 1.0 will also impact Regenesis, and StarkWare will release more information about Regenesis in the coming weeks. (source link)