alex-ozdemir / collaborative-zksnark

Related projects ⓘ

Alternatives and complementary repositories for collaborative-zksnark

• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆110Updated 8 months ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆48Updated last year
• privacy-scaling-explorations / greco
  ☆70Updated 3 months ago
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆63Updated 5 months ago
• argumentcomputer / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆281Updated 3 months ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
  ☆42Updated 2 weeks ago
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆128Updated this week
• zkFHE / circomlib-fhe
  Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
  ☆30Updated last year
• han0110 / plonkish
  ☆101Updated 6 months ago
• adria0 / awesome-halo2
  List of halo2-related resources
  ☆188Updated 9 months ago
• EspressoSystems / hyperplonk
  ☆191Updated last week
• celer-network / zk-benchmark
  Benchmark of multiple zk implementations.
  ☆82Updated last year
• thor314 / pazk
  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
  ☆127Updated 2 years ago
• yi-sun / circom-pairing
  ☆192Updated 11 months ago
• nalinbhardwaj / Nova-Scotia
  Middleware to compile Circom circuits to Nova prover
  ☆235Updated 8 months ago
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆34Updated 11 months ago
• rozbb / zkcreds-rs
  ☆57Updated 2 years ago
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆28Updated last month
• privacy-scaling-explorations / sonobe
  Experimental folding schemes library
  ☆204Updated this week
• rdi-berkeley / zkp-mooc-lab
  ☆79Updated last year
• axiom-crypto / halo2-scaffold
  Basic scaffolding for setting up and writing a Halo2 ZK circuit
  ☆109Updated 10 months ago
• gausslabs / phantom-zone
  ☆86Updated last week
• caulk-crypto / caulk
  ☆111Updated 9 months ago
• barryWhiteHat / plonk_tutorial
  ☆78Updated 4 years ago
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆89Updated 3 years ago
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆99Updated 7 months ago
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆79Updated last year
• geometryxyz / cq
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆56Updated last year
• privacy-scaling-explorations / halo2wrong
  ☆117Updated 2 months ago
• arkworks-rs / r1cs-tutorial
  Tutorial for writing constraints in the `arkworks` framework
  ☆209Updated 5 months ago