Alternatives and similar repositories for concrete:

Users that are interested in concrete are comparing it to the libraries listed below

• keep-starknet-strange / ziggy-starkdust
  ⚡ Cairo VM in Zig ⚡
  ☆85Updated 5 months ago
• lambdaclass / cairo-vm_in_go
  cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…
  ☆57Updated 9 months ago
• lambdaclass / STARK101-rs
  STARK 101 Workshop in Rust 🐺🦀
  ☆134Updated last year
• lambdaclass / starknet_in_rust
  A Rust implementation of Starknet execution logic
  ☆172Updated 6 months ago
• lambdaclass / ethrex
  ethrex: Ethereum Rust Execution L1 and L2 client.
  ☆306Updated this week
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆158Updated 2 years ago
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆125Updated this week
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆207Updated 3 weeks ago
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆120Updated last year
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆313Updated 2 months ago
• lambdaclass / lambda_ethereum_consensus
  Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
  ☆108Updated last week
• lambdaclass / lambdaworks_stark_platinum
  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…
  ☆77Updated last year
• pluto / ronkathon
  Cryptography Educational Foundations
  ☆253Updated last week
• lambdaclass / sparkling_water_bootcamp
  Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
  ☆134Updated 4 months ago
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆123Updated this week
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆88Updated this week
• recmo / uint
  Rust Uint crate using const-generics
  ☆182Updated last week
• powdr-labs / powdr
  A modular stack for zkVMs, with a focus on productivity, security and performance.
  ☆439Updated this week
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆158Updated last month
• lambdaclass / cairo-vm
  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…
  ☆533Updated this week
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆115Updated this week
• keep-starknet-strange / shenlong
  Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
  ☆67Updated last year
• lurk-lab / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆291Updated 6 months ago
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆80Updated this week
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆80Updated 2 weeks ago
• starkware-libs / stwo
  ☆298Updated last week
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆80Updated this week
• thor314 / pazk
  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
  ☆131Updated 2 months ago
• privacy-scaling-explorations / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆233Updated this week
• privacy-scaling-explorations / sonobe
  Experimental folding schemes library
  ☆224Updated this week