Alternatives and similar repositories for cairo-vm

Users that are interested in cairo-vm are comparing it to the libraries listed below

• lambdaclass / lambdaworks
  lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…
  ☆672Updated last week
• noir-lang / noir
  Noir is a domain specific language for zero knowledge proofs
  ☆1,116Updated this week
• risc0 / zeth
  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
  ☆420Updated last month
• xJonathanLEI / starknet-rs
  Complete Starknet library in Rust™
  ☆304Updated last week
• powdr-labs / powdr
  A modular stack for zkVMs, with a focus on productivity, security and performance.
  ☆462Updated this week
• a16z / jolt
  The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
  ☆804Updated this week
• lambdaclass / ethrex
  Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
  ☆494Updated this week
• Plonky3 / Plonky3
  A toolkit for polynomial IOPs (PIOPs)
  ☆643Updated this week
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆325Updated last week
• 0xMiden / miden-vm
  STARK-based virtual machine
  ☆675Updated this week
• EspressoSystems / jellyfish
  A Rust Implementation of the PLONK ZKP System and Extensions
  ☆460Updated this week
• andrewmilson / ministark
  🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs
  ☆362Updated 7 months ago
• dojoengine / dojo
  Dojo is a toolchain for building provable games and applications
  ☆463Updated this week
• commonwarexyz / monorepo
  Commonware Library Primitives and Examples
  ☆251Updated this week
• starkware-libs / stwo
  ☆419Updated this week
• starkware-libs / stone-prover
  ☆267Updated 10 months ago
• keep-starknet-strange / madara
  DEPRECATED in favor of https://github.com/madara-alliance/madara
  ☆534Updated 11 months ago
• DelphinusLab / zkWasm
  ☆518Updated last week
• pluto / ronkathon
  Cryptography Educational Foundations
  ☆319Updated last week
• o1-labs / proof-systems
  The proof systems used by Mina
  ☆438Updated this week
• lambdaclass / starknet_in_rust
  A Rust implementation of Starknet execution logic
  ☆171Updated 11 months ago
• noir-lang / awesome-noir
  A curated list of awesome things related to learning and programming in Noir.
  ☆477Updated this week
• eigerco / beerus
  A stateless trustless Starknet light client in Rust 🦀
  ☆262Updated last month
• 0xPolygonZero / plonky2
  ☆826Updated 2 weeks ago
• starkware-libs / papyrus
  Papyrus is a StarkNet full node written in Rust.
  ☆323Updated 6 months ago
• cairo-book / cairo-book
  The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
  ☆264Updated this week
• starkware-libs / blockifier
  Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …
  ☆171Updated 2 months ago
• NilFoundation / zkLLVM
  Zero-Knowledge Proof Systems Circuit Compiler
  ☆315Updated 5 months ago
• risechain / pevm
  Blazingly fast Parallel EVM
  ☆293Updated 3 months ago
• keep-starknet-strange / alexandria
  Community maintained Cairo libraries and set of well maintained, optimised and secure components.
  ☆255Updated this week