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
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆61Updated last year
• vocdoni / keccak256-circom
  keccak256 hash implementation in Circom
  ☆80Updated 3 years ago
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆82Updated last year
• iden3 / circom_tester
  Provides tools for testing circom circuits.
  ☆62Updated last month
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆74Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆67Updated last year
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated last year
• nulltea / zk-SQL
  ZK-based engine for self-sovereign SQL queries
  ☆89Updated 2 years ago
• aragonzkresearch / noir-trie-proofs
  ☆69Updated 11 months ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆73Updated 3 years ago
• weijiekoh / circom-helper
  A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
  ☆34Updated 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
• valida-xyz / valida-compiler
  Old, obsolete version of the Valida compiler; its replacement will become public later
  ☆51Updated last year
• personaelabs / efficient-zk-ecdsa
  Lowering client-side proving cost for private ZK signatures in circom
  ☆109Updated 2 years ago
• xorddotcom / SHIELD
  Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…
  ☆60Updated 2 years ago
• hashcloak / stoffelMPC
  ☆45Updated 2 months ago
• yetanotherco / zkRust
  ☆40Updated 8 months ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆49Updated 3 years ago
• privacy-scaling-explorations / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆62Updated 2 years ago
• getZeFi / circomjs
  CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.
  ☆49Updated 2 years ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated 10 months ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆59Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• socathie / circomlib-matrix
  Circuits library for matrix operations in circom
  ☆33Updated last year
• geometryxyz / zkhack-groth-puzzle
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆49Updated 2 years ago