Alternatives and similar repositories for ZeroOS

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

• liyue201 / gnark-circomlib
  Translate circomlib into gnark
  ☆19Updated 3 months ago
• vocdoni / circom2gnark
  Circom to Gnark Groth16 parser and recursion example
  ☆18Updated 5 months ago
• privacy-ethereum / multifolding-poc
  A PoC repo for a HyperNova impl
  ☆83Updated 2 years ago
• ligeroinc / ligero-prover
  ☆59Updated last week
• binius-zk / binius64
  Binary Proofs, Blazing Fast
  ☆104Updated this week
• succinctlabs / gnark-plonky2-verifier
  ☆106Updated last year
• erhant / crypto-notes
  My notes related to Cryptography & Zero-Knowledge.
  ☆49Updated 8 months ago
• geometryxyz / protostar
  ☆52Updated 2 years ago
• mmaker / zkalc
  A web tool that helps you compare and visualize the performance of cryptographic operations
  ☆92Updated 5 months ago
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆53Updated last year
• yetanotherco / zkvm_benchmarks
  ☆27Updated 8 months ago
• tcoratger / whir-p3
  ☆56Updated last week
• ArmanKolozyan / ZKP-Languages
  Empirical Study of the Prominence of Zero-Knowledge Proof (ZKP) Languages
  ☆22Updated 4 months ago
• h-hafezi / kzh_fold
  ☆27Updated last month
• brevis-network / zk-benchmark
  Benchmark of multiple zk implementations.
  ☆83Updated 2 years ago
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆130Updated this week
• phantomzone-org / poulpy
  A backend agnostic modular FHE library over the Torus using bivariate polynomial representation
  ☆47Updated last week
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆63Updated last year
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆86Updated 9 months ago
• caulk-crypto / caulk
  ☆112Updated last year
• privacy-ethereum / greco
  ☆82Updated 11 months ago
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆73Updated last year
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆177Updated 9 months ago
• privacy-ethereum / snark-verifier
  ☆155Updated last year
• aszepieniec / stark-brainfuck
  Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…
  ☆58Updated last year
• plume-sig / zk-nullifier-sig
  Implementation of ERC 7524 - PLUME for ECDSA Nullifiers
  ☆139Updated 6 months ago
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆55Updated last year
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆66Updated last year
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆75Updated 10 months ago
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆102Updated last year