An interactive tutorial to get you up and running with Cairo v1 and Starknet

A STARK proof to sync a Bitcoin full node in an instant.

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 🐺.

Static Analyzer for Starknet smart contracts

Multi-signature functionality for StarkNet

A EVM block proving backend in Cairo

Share private EVM state attestations using STARK proofs

STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.

EIP 4626 in Cairo lang for Starknet

Celestia -> Starknet bridge

A simple multisig implementation for StarkNet

A set of librairies in Cairo for use on StarkNet

Contracts for verifiable randomness on StarkNet

xoroshiro PRNG implementation in Cairo

RISC-V ELF interpreter in cairo

A naive bloom filter implementation in Cairo

A base64 encoding library for Cairo. (Decoding in future, maybe?)

A graph library built with Cairo

Iterated prisoner's dilemma tournaments implemented with Cairo

A Cairo playground