Alternatives and similar repositories for aros

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

• personaelabs / efficient-zk-ecdsa
  Lowering client-side proving cost for private ZK signatures in circom
  ☆112Updated 2 years ago
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year
• dmpierre / nova-browser-ecdsa
  In-browser ECDSA aggregation using Nova over secp/secq
  ☆35Updated 2 years ago
• succinctlabs / sp1-tee
  ☆26Updated last month
• zkemail / zk-regex
  A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…
  ☆102Updated last week
• kobigurk / stardrop
  Anonymous rewards on StarkNet
  ☆35Updated 4 years ago
• dmpierre / eth-private-market
  Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
  ☆93Updated 2 years ago
• personaelabs / merkle-tree
  ☆30Updated last year
• zk-pin / pin
  Trust-minimized commitment pools with zkSNARKs
  ☆38Updated 2 years ago
• hashcloak / starkjub
  A STARK-friendly elliptic curve designed to work within Cairo circuits
  ☆27Updated 2 years ago
• madztheo / noir-react-native-starter
  A simple template to generate ZK proofs with Noir on mobile using React Native
  ☆33Updated 3 months ago
• 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
• poma / zkutil
  A tool to work with zkSNARK circuits generated by Circom compiler
  ☆103Updated 3 years ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆60Updated 2 years ago
• Ethan-000 / halo2_backend
  ☆38Updated last year
• guberti / witness-encryption-demos
  World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
  ☆35Updated 3 years ago
• patrickbiel01 / Cairo_Verifier
  ☆36Updated 4 years ago
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated last year
• enricobottazzi / designated-verifier-proof
  Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …
  ☆41Updated 2 years ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆49Updated 2 years ago
• zkwebauthn / webauthn-halo2
  ☆97Updated last year
• zkemail / halo2-regex
  Library and gadget to do regex string matches in halo2
  ☆35Updated last year
• 0xapriori / Suave-research
  Repository for research on Suave.
  ☆24Updated 2 years ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆99Updated last year
• zkp2p / zkp2p-poc
  ☆93Updated 2 years ago
• zkemail / proof-of-twitter
  Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.
  ☆49Updated 8 months ago