Starknet Modular Ecosystem

Community-built resources for Starknet stack developers

All
  • Alt VMs
  • CairoVMs
  • Centralized Sequencers
  • Decentralized Sequencer
  • Full Nodes
  • Hints
  • Starknet OS
  • Provers
  • Proving Services
  • Stone Tooling
  • Core Contracts
  • Node RPC Testing
  • Specs
  • AltZK Verifiers
  • Rust Verifier
  • Stone Verifier
  • Stwo Verifier
  • Atlantic
    Actively maintained

    Atlantic

    A proving service run by Herodotus that acts as a gateway to SHARP and verifies proofs on Starknet.

    • Proving Services
  • Avail
    Actively maintained

    Avail

    Avail is a Web3 infrastructure layer that allows modular execution layers to scale and interoperate in a trust minimized way. 

    • Data Availability
  • Axelar
    Actively maintained

    Axelar

    The programmable Web3 interoperability platform, scaling the next generation of internet applications to billions of users.

    • Interoperability
  • Bitcoin Script
    Actively maintained

    Bitcoin Script

    Building blocks of a Circle STARK verifier in Bitcoin script.

    • Stwo Verifier
  • Bitcoin Script – Shinigami
    Actively maintained

    Bitcoin Script – Shinigami

    Bitcoin Script VM in Cairo.

    • Alt VMs
  • Blockifier-tester
    Actively maintained

    Blockifier-tester

    A testing utility to run juno with our version of the blockifier that uses cairo native, and compare it to results from mainnet or from juno using the unmodified blockifier.

    • Node RPC Testing
  • Cairo Bootloader
    Actively maintained

    Cairo Bootloader

    The Cairo bootloader is a Cairo program that loads and executes other programs in a provable way.

    • Stone Tooling
  • Cairo hints
    Actively maintained

    Cairo hints

    An extension to Cairo language that makes programs easier to implement and cheaper to execute.

    • Hints
  • CairoVM – C++
    Actively maintained

    CairoVM – C++

    A C++ implementation of the Cairo VM.

    • CairoVMs
  • CairoVM – Go – LambdaClass
    Actively maintained

    CairoVM – Go – LambdaClass

    A Go implementation of the Cairo VM.

    • CairoVMs
  • CairoVM – Go – Nethermind
    Actively maintained

    CairoVM – Go – Nethermind

    A Go implementation of the Cairo VM.

    • CairoVMs
  • CairoVM – Google Sheets AppScript
    Actively maintained

    CairoVM – Google Sheets AppScript

    A google app script implementation of the Cairo VM.

    • CairoVMs
  • CairoVM – Python
    Actively maintained

    CairoVM – Python

    A Python implementation of the Cairo VM.

    • CairoVMs
  • CairoVM – Rust
    Actively maintained

    CairoVM – Rust

    A Rust implementation of the Cairo VM.

    • CairoVMs
  • CairoVM – Type Script
    Actively maintained

    CairoVM – Type Script

    A TypeScript implementation of the Cairo VM.

    • CairoVMs
  • CairoVM – Zig
    Actively maintained

    CairoVM – Zig

    A Zig implementation of the Cairo VM.

    • CairoVMs
  • Celestia
    Actively maintained

    Celestia

    Support for Celestia DA moduar network.

    • Data Availability
  • Core Contracts – Solidity
    Actively maintained

    Core Contracts – Solidity

    Starknet core contracts written in Solidity.

    • Core Contracts
  • Fukuro
    Actively maintained

    Fukuro

    A verification tool used in ZK protocols that confirms the validity of proofs generated by altZK systems.

    • AltZK Verifiers
  • Garaga
    Actively maintained

    Garaga

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

    • AltZK Verifiers
  • Gomu-Gomu – Sequencing Testing
    Actively maintained

    Gomu-Gomu – Sequencing Testing

    Blazing fast tool to benchmark Starknet sequencers.

    • Node RPC Testing
  • Hyperlane
    Actively maintained

    Hyperlane

    Starknet implementation of the Hyperlane protocol.

    • Interoperability
  • IBC
    Actively maintained

    IBC

    Meta repository for managing IBC Starknet projects.

    • Interoperability
  • Integrity
    Actively maintained

    Integrity

    Stone verifier written in Cairo and deployed on Starknet. Verifies Stone proofs using the CairoVM. It includes a fact registry to allow easy querying of proof validity.

    • Stone Verifier
  • Juno
    Actively maintained

    Juno

    A Starknet full node written in Go.

    • Full Nodes
  • Kakarot – Cairo0
    Actively maintained

    Kakarot – Cairo0

    A zkEVM written in Cairo0, leveraging the STARK proof system.

    • Alt VMs
  • Katana
    Actively maintained

    Katana

    A blazingly fast Starknet sequencer, designed to support both local development as well as production deployments.

    • Centralized Sequencers
  • Madara
    Actively maintained

    Madara

    A powerful stack for launching appchains.

    • Centralized Sequencers
  • Madara Prover API
    Actively maintained

    Madara Prover API

    RPC server and client to run the Stone Prover on the Madara sequencer.

    • Stone Tooling
  • Malachite
    Actively maintained

    Malachite

    A scalable, efficient protocol that enables secure and decentralized agreement among blockchain nodes, supporting high transaction throughput and low latency.

    • Consensus
  • Next-gen Sequencer
    Actively maintained

    Next-gen Sequencer

    Decentralized Starknet sequencer written in Rust, currently in development.

    • Decentralized Sequencer
  • P2P Client
    Actively maintained

    P2P Client

    Specification of P2P protocol for StarkNet nodes.

    • Specs
  • Papyrus

    Papyrus

    A StarkNet full node written in Rust.

    • Full Nodes
  • Papyrus Consensus
    Actively maintained

    Papyrus Consensus

    An implementation of Starknet consesus.

    • Consensus
  • Pathfinder
    Actively maintained

    Pathfinder

    A Starknet full node written in Rust.

    • Full Nodes
  • Piltover
    Actively maintained

    Piltover

    Starknet Core Contract components in Cairo.

    • Core Contracts
  • Platinum

    Platinum

    An open-source STARK prover, drop-in replacement for Winterfell.

    • Provers
  • Pumice
    Actively maintained

    Pumice

    Cairo-VM STARK Verifier Rust implementation.

    • Rust Verifier
  • Riscairo – Rust
    Actively maintained

    Riscairo – Rust

    RISC-V ELF interpreter in cairo.

    • Alt VMs
  • Sandstorm

    Sandstorm

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

    • Provers
  • SHARP
    Actively maintained

    SHARP

    SHARP is a proving service that generates aggregated STARK proofs for Cairo programs, reducing gas costs and ensuring Ethereum-level security.

    • Proving Services
  • Starknet OS – Moonsong Labs
    Actively maintained

    Starknet OS – Moonsong Labs

    Rust library for running the Starknet OS via the Cairo VM with Rust hints.

    • Starknet OS
  • Starknet OS – StarkWare
    Actively maintained

    Starknet OS – StarkWare

    Legacy python library for running the Starknet OS via the Cairo VM with Python hints.

    • Starknet OS
  • Starknet-rpc-tests
    Actively maintained

    Starknet-rpc-tests

    A testing framework specifically designed for StarkNet nodes to verify their RPC (Remote Procedure Call) endpoints.

    • Node RPC Testing
  • StarkWare Sequencer
    Actively maintained

    StarkWare Sequencer

    Blockchain sequencer run by StarkWare. Used for Starknet and Paradex blockchains.

    • Centralized Sequencers
  • Stone
    Actively maintained

    Stone

    A STARK prover that generates proofs for Cairo programs.

    • Provers
  • Stone CLI
    Actively maintained

    Stone CLI

    A CLI for proving Cairo programs and parsing the proofs to be verified on Starknet and Ethereum.

    • Stone Tooling
  • Stone Packaging
    Actively maintained

    Stone Packaging

    Various forms of distribution for the Starkware Stone prover and verifier.

    • Stone Tooling
  • Stone Proof Splitter – Integrity Verifier
    Actively maintained

    Stone Proof Splitter – Integrity Verifier

    Splits STARK proofs generated by the Stone prover to be verfied on Starknet using the Integrity verifier.

    • Stone Tooling
  • Stone Proof Splitter – L1 Verifier
    Actively maintained

    Stone Proof Splitter – L1 Verifier

    Splits STARK proofs generated by the Stone prover to be verfied on Ethereum using the L1 verifier.

    • Stone Tooling
  • Stone SDK

    Stone SDK

    Rust library to simplify using Stone to generate and verify proofs.

    • Stone Tooling
  • Stone Verifier – Cairo 0
    Actively maintained

    Stone Verifier – Cairo 0

    Efficient Stone verifier written in Cairo0. Used primarily by SHARP for creating recursive STARK proofs. Isn't deployed on Starknet and doesn't include a fact registry.

    • Stone Verifier
  • Stone Verifier – Solidity
    Actively maintained

    Stone Verifier – Solidity

    STARK Verifier for Cairo Programs written in Solidity and deployed on Ethereum.

    • Stone Verifier
  • Stwo
    Actively maintained

    Stwo

    Stwo is a next generation implementation of a CSTARK prover and verifier, written in Rust.

    • Provers
  • Stwo Verifier – Cairo
    Actively maintained

    Stwo Verifier – Cairo

    A zero-knowledge proof verifier implemented in Cairo, used to validate zk-proofs securely and efficiently.

    • Stwo Verifier
  • Stwo Verifier – Rust
    Actively maintained

    Stwo Verifier – Rust

    A zero-knowledge proof verifier built in Rust, designed to confirm the validity of zk-proofs efficiently and securely without revealing the underlying data.

    • Stwo Verifier
  • Swiftness
    Actively maintained

    Swiftness

    Cairo-VM STARK Verifier Rust implementation.

    • Rust Verifier
  • Verify Everything
    Actively maintained

    Verify Everything

    Aims to create various ZK verifiers on Starknet.

    • AltZK Verifiers
  • Zaun
    Actively maintained

    Zaun

    An L1 SDK written in Rust, designed specifically for blockchain development.

    • Core Contracts