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

• UpdatedJan 6, 2025

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

• UpdatedNov 24, 2024
• Cairo

Starknet client implementation.

• UpdatedMar 17, 2025
• Go

🏃‍♂️💨 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 🐺.

• UpdatedMar 14, 2025
• 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.

• UpdatedMar 13, 2025

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

• UpdatedAug 5, 2023

🐺 Simple STARK verifier in cameligo

• UpdatedJun 5, 2023
• Jupyter Notebook

Nostr x STARKs exploration project.

• UpdatedFeb 17, 2025
• Cairo

A place to learn ZK with Jupyter

• UpdatedJan 8, 2025
• Jupyter Notebook

StarkWare Wolf Pack League - Community Engagement Program for Starknet Ecosystem

• UpdatedJul 4, 2024

A fork of the novifinancial/winterfell STARK library.

• UpdatedJan 26, 2023
• Rust

🎻 STARK verifier written in Simfony language for the Liquid sidechain

• UpdatedMar 11, 2025
• Python

Trains a differentially-private linear regression inside of the RISC-Zero virtual machine.

• UpdatedJul 8, 2024
• Rust

Bitcoin Circle Stark performance contest.

• UpdatedJul 23, 2024
• JavaScript

STARKs (Scalable Transparent Argument of Knowledge) is a relatively complex zero-knowledge proof algorithm, and it would require significant effort to implement it from scratch in C++. However, there are libraries available that provide implementations of STARKs that can be used in C++ code.

• UpdatedMar 3, 2023
• C++

Research Project: Distributed Sequencing

• UpdatedFeb 19, 2025
• Rust