✳flâneur — a map of the web's best reading

Cairo & Storage · Cairo

cairo-lang.org · 247 words · saved by 1 readers

In OUR LAST POST, we talked about how Cairo solves two of the three gas-consuming actions on Ethereum – computation and transmission – and promised to talk about the third, storage, in a separate post. Well, we are nothing if not people who honor their commitments. (Yes, that’s a pun on Merkle roots). The way users interact with storage on Ethereum today is pretty simple – you write something to an address, and then you can go back and read it. Writing is expensive, reading is (relatively) cheap. So if you need to update the stored state infrequently, it might not be a big issue, but when you face frequent state updates, storage can become quite expensive. The problem with Cairo and storage is that Cairo is stateless – meaning any Cairo run is independent of an external state, and of other Cairo runs (in the future, there may be some stateful version of Cairo, but we’re not there yet). The statelessness of Cairo has the great benefit of making any proof of a Cairo statement true absolu

Cairo Programming Language Skip to content WELCOME TO CAIRO The Rust-inspired language that makes it easy to build scalable dApps with the power of validity proofs. Get started Cairo v2.12.0 What is cairo? Cairo lets you write provable programs without requiring a deep understanding of the underlying ZK concepts. From onchain gaming to provable ML, Cairo makes building trustless applications possible. Cairo is also the smart-contract language of Starknet, an L2 blockchain that is verified over Ethereum. About Cairo Cairo on Starknet Starknet is an L2 Validity Rollup that operates on top of Eth

Explore this link on the map →

related reading