Starknet & Cairo

TL;DR:

Validity rollups, also known as ZK-rollups, have emerged as highly competitive, practical, and inexpensive Layer 2 solutions in recent

A developer’s guide

TL;DR You will write safe code, and you will be happy.

Empowering Developers with Seamless Cairo Integration

Learn how to build a Starknet wallet monitoring service with Juno. Set up real-time alerts on wallet activities like token transfers…

The successful compilation of Uniswap, a landmark achievement in the Warp project…

Nethermind’s Starknet client implementation is ready for production use.

Part 3: Become a better Cairo developer with Sierra

Part 2: Anatomy of Sierra programs

Formal verification of an automated market maker (AMM)

Part 1: An essential layer to produce safe CASM

This step-by-step guide will show you how to verify a Starknet smartcontract using the voyager-verify CLI. There are a few prerequisites…

Horus is an open-source automated formal verification tool that helps Starknet developers detect bugs in their smart contracts

By Mathieu Saugier and Edgar Barrantes.

An increasing number of Solidity protocols are expanding onto StarkNet, making use of the vastly improved scalability without…

by Massil Achab

by Yevgeny Zaytman and Albert Garreta

By Jorik Schellekens

by Massil Achab and Kalzak.