Deciphering Cairo VM, CASM, Cairo Zero, Cairo, and Sierra. Intro In order to unlock secure and decentralized scaling for Ethereum, Validity Rollups make the verification of batches of transactions vastly more efficient than their naive re-execution. Specialized nodes (called Sequencers) on Layer 2 (L2) bundle transactions into new L2 blocks, while…

StarkWare is Open-Sourcing the STARK Prover, now named Stone, under Apache 2.0. — A code review session will be done on August 31st during Starknet Summit. On this date, the code of the Stone prover will be available for the community TL;DR As announced in February 2023, we are about to open-source StarkWare’s STARK Prover, now named Stone (STARK one), under Apache 2.0 license. …

A gentle hand-holding guide for your first steps using Starknet — Background When I tried to get started using Starknet, I found it difficult to know exactly what to do. While I’ve heard a lot about the wonders of Starknet and how it can save me money in fees while providing security and trustlessness, I’m a blockchain newbie. …

TL;DR Starknet presents: Volition! Volition will allow developers to regulate data availability on Ethereum (L1) or on Starknet (L2). Reducing L1 onchain data can radically reduce costs. Flexibility in data availability modes will allow, once again, greater freedom for Starknet developers and users, letting them choose the most suitable security level…

TL;DR Starknet is redefining the crypto gaming industry by providing fast, cheap, and secure transactions on Ethereum. On-chain games such as Realms and Influence, built on Starknet, showcase the potential of crypto gaming. Starknet leverages Cairo — an ergonomic, developer-friendly Rust-like language — for game development. Intro For years crypto gaming has…

Save Costs and Enhance Ethereum’s Scalability: If it’s Written in Cairo, SHARP Can Prove it — TL;DR SHARP (SHARed Prover) generates STARK proofs of aggregated Cairo programs, allowing any app to submit transactions to the same proof. Think UberPool but for STARK Proofs. This ‘ride-sharing’ dynamic means even small apps can access the massive power of STARK scaling. If it’s written in Cairo, SHARP can prove it…

Smooth UX, innovative technology, increased adoption — TL;DR Blockchain’s journey to the heart of the mainstream hit a wall: security and UX limits created a barrier to introducing blockchain to a wider audience of Web 2 users. The solution? Account Abstraction (AA). It is the software layer that’s revolutionizing the blockchain landscape by allowing accounts to have flexible…

Quantum leap in Starknet throughput is bringing a new cutting-edge financial use case to the Starknet ecosystem — Can We Skip to the Good Part? Paradex, a new crypto-derivatives exchange, is launching on Starknet’s first Appchain. Paradex will offer perpetual futures trading with deep liquidity, capital efficiency and performance while remaining transparent and self-custodial. Paradex was incubated by the team at Paradigm, the largest institutional liquidity network in crypto.

From Massive Cost Reductions to Personalized Control, Discover the Future of Blockchain Infrastructure — TL;DR Madara is a high-performance Starknet sequencer, providing the power to create customizable and efficient appchains. By using the Substrate framework, Madara amplifies the capabilities of the Cairo VM, leading to provable, secure, and flexible programs. Its implementation offers numerous benefits such as scalable infrastructure, high throughput, and unprecedented control over…