Alternatives and similar repositories for aros

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

• succinctlabs / sp1-tee
  ☆26Updated 2 weeks ago
• ethdos / ethdosnumber
  ZK Erdos Numbers using recursive SNARKs
  ☆79Updated 3 years ago
• 0xapriori / Suave-research
  Repository for research on Suave.
  ☆24Updated 2 years ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆59Updated 2 years ago
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆23Updated 2 months ago
• patrickbiel01 / Cairo_Verifier
  ☆36Updated 4 years ago
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆41Updated last year
• geometryxyz / technical_notes
  A collection of technical notes from the Geometry research team.
  ☆47Updated 2 years ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 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
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆43Updated last year
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 3 years ago
• dmpierre / eth-private-market
  Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
  ☆93Updated 2 years ago
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆62Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• kobigurk / stardrop
  Anonymous rewards on StarkNet
  ☆35Updated 4 years ago
• Ethan-000 / halo2_backend
  ☆38Updated last year
• personaelabs / efficient-zk-ecdsa
  Lowering client-side proving cost for private ZK signatures in circom
  ☆111Updated 2 years ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• erhant / lambda-0b10
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆28Updated last year
• axiom-crypto / axiom-apps
  ☆34Updated 2 years ago
• DanTehrani / storyform
  ☆17Updated 2 years ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated last year
• SoraSuegami / voice_recovery_circuit
  A circuit to verify the voice recovery process.
  ☆49Updated 2 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated last year