starkware-industries / stark101View external linksLinks
☆315May 5, 2025Updated 9 months ago
Alternatives and similar repositories for stark101
Users that are interested in stark101 are comparing it to the libraries listed below
Sorting:
- Export Circom verifier to Cairo☆49Apr 26, 2022Updated 3 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs☆375Nov 19, 2024Updated last year
- STARK 101 Workshop in Rust 🐺🦀☆140Apr 28, 2023Updated 2 years ago
- lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…☆721Updated this week
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Aug 1, 2024Updated last year
- A STARK prover and verifier for arbitrary computations☆884Jul 19, 2025Updated 6 months ago
- ☆1,369Feb 1, 2026Updated last week
- OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup☆909Updated this week
- Tutorial for STARKs with supporting code in python☆235Jun 24, 2025Updated 7 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆251Jan 24, 2026Updated 3 weeks ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- ☆236Jul 27, 2023Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- ☆267Sep 16, 2024Updated last year
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated last year
- ☆476Updated this week
- ☆124Nov 30, 2024Updated last year
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆573Updated this week
- Implementation of Plonk by Hand in rust☆62Feb 28, 2024Updated last year
- A library for generating zk-STARKs.☆147Jul 29, 2022Updated 3 years ago
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago
- RISC-V ELF interpreter in cairo☆37Oct 18, 2024Updated last year
- An interactive tutorial to get you up and running with Cairo v1 and Starknet☆471Sep 9, 2025Updated 5 months ago
- A Cairo VM prover implemented using Winterfell☆156Aug 25, 2022Updated 3 years ago
- A Rust implementation of Starknet execution logic☆170Jul 22, 2024Updated last year
- Materials for Edcon 2019 webcast☆11Mar 31, 2019Updated 6 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- rollup implementation☆90Mar 15, 2024Updated last year
- Complete Starknet library in Rust™☆314Nov 9, 2025Updated 3 months ago
- A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).☆5,766Jan 23, 2026Updated 3 weeks ago
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆662Apr 23, 2024Updated last year
- Low-level language for encoding AIR of computations☆38May 7, 2023Updated 2 years ago
- The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡☆920Updated this week
- Computes SHA256 of arbitrary length inputs.☆15Nov 2, 2022Updated 3 years ago
- Baby SNARK (do do dodo dodo)☆241May 22, 2024Updated last year
- Protostar is a toolchain for developing and testing Starknet contracts☆249Jul 19, 2023Updated 2 years ago
- A curated list of awesome StarkNet resources, libraries, tools and more☆1,543Jan 6, 2025Updated last year