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

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

Starknet client implementation.

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

Efficient pairing library, written in Cairo 🐺.

Cross-zk-rollup aggregation

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

Low-level language for encoding AIR of computations

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

🐺 Simple STARK verifier on Tezos blockchain

A place to learn ZK with Jupyter

A fork of the novifinancial/winterfell STARK library.

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

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.

Bonsai relay interacts with Solidity contract to produce a differentially-private machine learning prediction.