cairo-lang

A curated list of awesome StarkNet resources, libraries, tools and more

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

Mastering Starknet. By the Starknet community

Warp - Bringing Solidity to Starknet at warp speed. Warp is a Solidity to Cairo Compiler, this allows teams to write/migrate Solidity to Cairo for easy onboarding into the StarkNet ecosystem.

Learn how to read Cairo code

Blazing fast toolkit for developing Starknet contracts.

The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.

Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)

Protostar is a toolchain for developing and testing Starknet contracts

Community maintained Cairo libraries and set of well maintained, optimised and secure components.

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

Resources for Cairo 1.0 development.

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

A collection of examples of Cairo smart contracts for Starknet.

学习Starknet Cairo智能合约。 Learn to write smart contracts on Starknet. Based on Cairo 2.2.

Kakarot zkEVM - rewrite in the latest version of Cairo

Cairo/Starknet smart contract fuzzer

Learn how to deploy and customize an ERC721 token on StarkNet

Realms Monorepo for Ethereum contracts and Starknet contracts.