Subcommand to show result of macro expansion

Cairo is the first Turing-complete language for creating provable programs for general computation.

A STARK prover and verifier for arbitrary computations

Rust JSON-RPC library on top of async/await

A Starknet full node written in Rust

DEPRECATED in favor of https://github.com/madara-alliance/madara

Dojo is a toolchain for building provable games and applications

The proof systems used by Mina

A Rust implementation of the Groth16 zkSNARK

Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

A Cairo VM prover implemented using Winterfell

A local testnet for Starknet... in Rust

A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.

Pairing cryptography library in Rust

Hanji generates docs for your Cairo library

auxiliary witness for pairing paper