yi-sun / circom-pairing

Related projects: ⓘ

• nalinbhardwaj / Nova-Scotia
  Middleware to compile Circom circuits to Nova prover
  ☆225Updated 6 months ago
• adria0 / awesome-halo2
  List of halo2-related resources
  ☆187Updated 7 months ago
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆198Updated 9 months ago
• socathie / circomlib-ml
  Circom Circuits Library for Machine Learning
  ☆161Updated 3 months ago
• Electron-Labs / ed25519-circom
  ED25519 implementation in Circom
  ☆106Updated last year
• 0xPARC / plonkathon
  educational python plonk implementation, based on vitalik's py_plonk
  ☆187Updated 2 months ago
• arkworks-rs / circom-compat
  Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
  ☆228Updated last week
• ingonyama-zk / papers
  A repo for our research papers
  ☆195Updated last week
• yi-sun / zk-attestor
  ☆131Updated 2 years ago
• rdi-berkeley / zkp-mooc-lab
  ☆81Updated last year
• personaelabs / efficient-zk-ecdsa
  Lowering client-side proving cost for private ZK signatures in circom
  ☆106Updated last year
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆93Updated last year
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆95Updated 5 months ago
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆156Updated 2 years ago
• privacy-scaling-explorations / halo2wrong
  ☆116Updated this week
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆109Updated 6 months ago
• argumentcomputer / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆267Updated last month
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆101Updated 2 years ago
• 0xPARC / circom-ecdsa
  Big integer arithmetic and secp256k1 ECC operations in circom
  ☆301Updated 10 months ago
• 0xPARC / circom-starter
  basic circom project using hardhat-circom (upgrade to circom2 is WIP)
  ☆126Updated last year
• succinctlabs / gnark-plonky2-verifier
  ☆85Updated last month
• privacy-scaling-explorations / sonobe
  Experimental folding schemes library
  ☆186Updated this week
• VictorColomb / stark-snark-recursive-proofs
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆103Updated last year
• privacy-scaling-explorations / chiquito
  DSL for Halo2 circuits
  ☆185Updated 3 weeks ago
• privacy-scaling-explorations / halo2
  ☆202Updated this week
• plume-sig / zk-nullifier-sig
  Implementation of PLUME: nullifier friendly signature scheme on ECDSA
  ☆133Updated last month
• EspressoSystems / hyperplonk
  ☆182Updated this week
• lyronctk / zator
  Verifying a 512-layer CNN w/ Nova
  ☆155Updated last year
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆60Updated 2 months ago
• scroll-tech / halo2-snark-aggregator
  halo2 ecc circuit
  ☆110Updated last year