Alternatives and similar repositories for LuminAIR

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

• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆55Updated 7 months ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆63Updated last year
• lambdaclass / cairo-by-example
  cairo-by-example.com
  ☆40Updated 6 months ago
• matter-labs / zksync-airbender
  RISC-V prover system for ZKsync OS
  ☆111Updated this week
• kkrt-labs / cairo-m
  The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power
  ☆49Updated 3 weeks ago
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆86Updated 2 years ago
• axiom-crypto / halo2-scaffold
  Basic scaffolding for setting up and writing a Halo2 ZK circuit
  ☆112Updated last year
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆71Updated 3 weeks ago
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆77Updated 2 years ago
• yetanotherco / zkvm_benchmarks
  ☆27Updated 7 months ago
• yetanotherco / zkRust
  ☆42Updated last year
• brevis-network / pico
  ☆89Updated this week
• zksecurity / stone-cli
  stone-cli is a CLI for proving and verifying Cairo programs.
  ☆24Updated 3 months ago
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆99Updated last year
• shramee / cairo_pairing
  ☆18Updated last year
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆66Updated last year
• developeruche / cryptography-n-zk-research
  A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…
  ☆53Updated 4 months ago
• aragonzkresearch / noir-trie-proofs
  ☆70Updated last year
• flyingnobita / 0xparc_intro_book_workbook
  Workbook for Introduction to Programmable Cryptography
  ☆34Updated 6 months ago
• zero-savvy / vimz
  ZK proofs for image authenticity
  ☆47Updated last month
• noir-lang / noir-bignum
  bignum
  ☆29Updated this week
• privacy-ethereum / multifolding-poc
  A PoC repo for a HyperNova impl
  ☆83Updated 2 years ago
• microbecode / zk-languages
  Introduction to various ZK languages
  ☆87Updated 2 months ago
• philsippl / circom-witness-rs
  ☆63Updated last week
• valida-xyz / valida-compiler
  Old, obsolete version of the Valida compiler; its replacement will become public later
  ☆51Updated 2 years ago
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆103Updated this week
• nulltea / hyper-greco
  Verifiable FHE with GKR
  ☆27Updated last year
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated last year
• privacy-ethereum / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆113Updated last year
• kkrt-labs / stwo-brainfuck
  A ZK-VM for the Brainfuck language, based on Stwo
  ☆33Updated 7 months ago