Alternatives and similar repositories for Cairo_Verifier

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

• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆59Updated 2 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years 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
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆49Updated 3 years ago
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆61Updated last year
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated 2 years ago
• personaelabs / sapir
  ☆2Updated last year
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• aragonzkresearch / noir-trie-proofs
  ☆68Updated 10 months ago
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated 2 years ago
• yetanotherco / zkRust
  ☆40Updated 7 months ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆73Updated 2 years ago
• Darlington02 / circom-next-starter
  Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs
  ☆47Updated 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
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 2 years ago
• geometryxyz / zkhack-groth-puzzle
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆49Updated 2 years ago
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated last year
• factorgroup / nightmarket
  ☆47Updated 2 years ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated 7 months ago
• privacy-scaling-explorations / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆62Updated 2 years ago
• sambarnes / cairo-bloom
  A naive bloom filter implementation in Cairo
  ☆37Updated 3 years ago
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆72Updated 2 years ago
• iden3 / circom_tester
  Provides tools for testing circom circuits.
  ☆59Updated last week
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 2 years ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated 7 months ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆89Updated 2 years ago