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

• UpdatedJan 6, 2025

Starknet client implementation.

• UpdatedFeb 20, 2026
• Go

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

• UpdatedNov 24, 2024
• Cairo

🏃‍♂️💨 GPU accelerated STARK prover built on@arkworks-rs

• UpdatedNov 19, 2024
• Rust

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

• UpdatedFeb 12, 2026
• Cairo

Cross-zk-rollup aggregation

• UpdatedFeb 17, 2023
• Rust

A 📝 literate and test-driven 🐛 implementation of ZK-STARKs

• UpdatedApr 18, 2020
• Go

Low-level language for encoding AIR of computations

• UpdatedMay 7, 2023
• TypeScript

A curated list of awesome projects using STWO.

• UpdatedJun 27, 2025

Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s

• UpdatedNov 24, 2025
• Rust

STARK verifier written in SimplicityHL language

• UpdatedSep 25, 2025
• Python

ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs

• UpdatedJun 5, 2025
• Rust

• UpdatedSep 24, 2025
• TypeScript

👨‍🎓 Lista de recursos traducidos sobre aprendizaje relacionado con Starknet y Cairo

• UpdatedAug 5, 2023

Nostr x STARKs exploration project.

• UpdatedApr 17, 2025
• Cairo

🐺 Simple STARK verifier in cameligo

• UpdatedJun 5, 2023
• Jupyter Notebook

zkpoor - Zero Knowledge Proof Of Outstanding Reserves

• UpdatedSep 4, 2025
• Python

STARK-based signature aggregation for Falcon and SPHINCS+

• UpdatedFeb 3, 2026
• Cairo

A place to learn ZK with Jupyter

• UpdatedJan 8, 2025
• Jupyter Notebook

StarkWare Wolf Pack League - Community Engagement Program for Starknet Ecosystem

• UpdatedSep 25, 2025