Alternatives and similar repositories for Cairo_Verifier

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

• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 3 years ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• yetanotherco / zkRust
  ☆40Updated 8 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 11 months ago
• starkoracles / Aero
  A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
  ☆40Updated last year
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆61Updated last year
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated 2 years ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆73Updated 3 years ago
• valida-xyz / valida-compiler
  Old, obsolete version of the Valida compiler; its replacement will become public later
  ☆51Updated last year
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated 8 months ago
• bellissimogiorno / cairo-integer-types
  A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite
  ☆29Updated 3 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆48Updated last year
• DanTehrani / storyform
  ☆18Updated 2 years ago
• personaelabs / sapir
  ☆2Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• axiom-crypto / axiom-apps
  ☆34Updated last year
• sambarnes / cairo-bloom
  A naive bloom filter implementation in Cairo
  ☆37Updated 3 years ago
• Ethan-000 / halo2_backend
  ☆38Updated last year
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆60Updated last year
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆42Updated last year
• factorgroup / nightmarket
  ☆47Updated 2 years ago
• kobigurk / stardrop
  Anonymous rewards on StarkNet
  ☆35Updated 3 years ago
• getZeFi / circomjs
  CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.
  ☆49Updated 2 years ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated last year
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆33Updated 2 years ago
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 5 months ago