Alternatives and similar repositories for zksql

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

• ingonyama-zk / icicle-snark
  Groth16 over ICICLE
  ☆37Updated 3 months ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆56Updated 2 months ago
• Electron-Labs / aes-circom
  AES-GCM implementation in Circom
  ☆38Updated 3 years ago
• brevis-network / zk-benchmark
  Benchmark of multiple zk implementations.
  ☆83Updated 2 years ago
• SoraSuegami / halo2-rsa
  RSA verification circuit using halo2 library.
  ☆57Updated 2 years ago
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆113Updated last year
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆84Updated 2 years ago
• privacy-ethereum / greco
  ☆80Updated 9 months ago
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆75Updated last year
• caulk-crypto / caulk
  ☆112Updated last year
• axiom-crypto / halo2-scaffold
  Basic scaffolding for setting up and writing a Halo2 ZK circuit
  ☆109Updated last year
• tangle-network / zk-SaaS
  zkSNARKs as a service using secure multi-party computation.
  ☆30Updated last year
• arnaucube / nova-study
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45Updated 2 years ago
• privacy-ethereum / mpc-framework
  Create MPC apps with TypeScript.
  ☆50Updated 2 months ago
• NethermindEth / latticefold
  A lattice-based non-interactive folding scheme written in Rust
  ☆106Updated last week
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆72Updated last year
• privacy-ethereum / multifolding-poc
  A PoC repo for a HyperNova impl
  ☆83Updated 2 years ago
• zkp-application / circom-rsa-verify
  Zero Knowledge Proof for RSA
  ☆55Updated 2 years ago
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆101Updated 10 months ago
• succinctlabs / gnark-plonky2-verifier
  ☆104Updated last year
• personaelabs / efficient-zk-ecdsa
  Lowering client-side proving cost for private ZK signatures in circom
  ☆111Updated 2 years ago
• axiom-crypto / axiom-eth
  ☆94Updated last year
• ingonyama-zk / imp1
  IMP1 - Ingonyama Mobile Prover, built with ICICLE
  ☆25Updated 2 months ago
• privacy-ethereum / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Updated 2 years ago
• geometryxyz / cq
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆61Updated 2 years ago
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆79Updated 3 weeks ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆75Updated last year
• SoraSuegami / iOMaker
  [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf
  ☆35Updated last year
• geometryxyz / technical_notes
  A collection of technical notes from the Geometry research team.
  ☆47Updated 2 years ago
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year