starks

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

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

Starknet full node designed for peak concurrency and efficiency

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

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

Cross-zk-rollup aggregation

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

A curated list of awesome projects using STWO.

Low-level language for encoding AIR of computations

Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s

STARK verifier written in SimplicityHL language

ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs

STARK-based signature aggregation for Falcon and SPHINCS+

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

🐺 Simple STARK verifier in cameligo

Nostr x STARKs exploration project.

zkpoor - Zero Knowledge Proof Of Outstanding Reserves

Basic building blocks for ZK systems

A place to learn ZK with Jupyter