circomlib

There are 1 repository under circomlib topic.

• socathie / circomlib-ml

  Circom Circuits Library for Machine Learning

  blockchaincircomcircomlibmachine-learningzero-knowledge-proof
  Language:Jupyter Notebook 154

• Veridise / Picus

  Automated verification of uniqueness property for ZKP circuits

  circomcircomlibsecurityverificationzero-knowledgeblockchain
  Language:Circom 57

• xorddotcom / SHIELD

  Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure code quality and security.

  circomcircomlibcligroth16nodejsplonkshieldsnarkjs
  Language:TypeScript 57

• chyanju / Picus

  Automated verification of uniqueness property for ZKP circuits

  circomcircomlibsecurityverificationzero-knowledgeblockchain
  Language:Circom 35

• socathie / circomlib-matrix

  Circuits library for matrix operations in circom

  blockchaincircuitzk-snarkszkpsnarkjscircomzero-knowledge-proofsudokugroth16circomlibmatrixlinear-algebra
  Language:JavaScript 31

• socathie / zkPuzzles

  Puzzles using ZKP

  puzzlematrixlinear-algebrablockchaisudokucircuitzk-snarkszkpsnarkjscircomzero-knowledge-proofgroth16circomlib
  Language:Solidity 17

• advaita-saha / zk-Voting

  Anonymous Voting system build with the power of Zero-knowledge cryptography

  circomcircomlibcryptographymerkle-treesnarkjsvoting-applicationzero-knowledgezk-snarks
  Language:Solidity 15

• alxkzmn / zk-wordle

  The Wordle you know, but with Zero-Knowledge Proofs

  blockchaincircomcircomlibethereumsnarkjswordlewordle-gamezkzk-snarkszk-wordlezkpzkproofzksnarkzksnarks
  Language:TypeScript 13

• nixkitax / circom-schnorr-verify

  Zero Knowledge Proof for Schnorr

  circomcircomlibelliptic-curve-cryptographyschnorr-signatureszero-knowledge
  Language:Circom 5

• advaita-saha / create-circom-project

  A circom started project for simpler use and zero-knowledge project development with simple commands

  circomcircomjs-startercircomlibhardhatsnarkjszero-knowledge
  Language:Solidity 2

• mekhiya / zeroPartyData

  zeroPartData project uses Zero Knowledge Proof to verify eligibility for gifts & discount offers by Brands.

  circomcircomlibhardhatnextjspolygonsnarkjssolidity
  Language:JavaScript 2

• nullity00 / circom-circuits

  Bit manipulation in Circom

  circomcircomlib
  Language:Circom 2

• OmPals / zk-stable-match-making

  Zk Stable Match Making: to hide everyone’s priority lists and yet retrieve pairs that are stable according to priority lists in a trustless environment.

  circomlibrusttypescriptzk-snarks
  Language:TypeScript 1

• pisuthd / circom-example

  Example circuits for circom 2.0

  circomcircomlibsnarkjszk-snark
  Language:Circom 1

• sudiptab2100 / Performance-Test-Of-Hash-Functions-Groth16

  Prover size performance analysis of various hash function pre-image proving in Groth16 zk-SNARK

  blockchaincircomcircomlibethereumgroth16hashingjavascriptmimcpedersenposeidonsha256snarkjssolidityweb3jszk-snarks
  Language:JavaScript 1

• sudiptab2100 / Incremental-Merkle-Tree-Python

  Incremental Merkle Tree (IMT) - a specialized form of a Merkle tree designed to allow for efficient appending of new elements

  circomcircomlibethereumgroth16incremental-merkle-treemerkle-proofmerkle-rootmerkle-treemimcsha256tornado-cashtornadocashweb3zero-knowledgezksnarkzksnarks
  Language:Python

• TtheBC01 / zkSNARK-playground

  30 minute practical crash course to various zkSNARK frameworks.

  circomcircomlibsnarkjszksnarks
  Language:Dockerfile

• verumlotus / circomlib-ml-vesta

  Circom Circuits Library for Machine Learning for the Vesta Curve

  circomcircomlibmachine-learningnovasnarkvestazero-knowledgezksnark
  Language:Jupyter Notebook