arnaucube
/
awesome-circom
mirror of https://github.com/arnaucube/awesome-circom.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
10 Commits
1 Branch
0 Tags
39 KiB
Tree: bbbb78afe9
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'bbbb78afe9'
${ noResults }
awesome-circom/README.md

6.6 KiB
Raw Blame History

Awesome Circom

A curated list of repos related to Circom.

Contents

Cryptographic primitives

Cryptographic primitives in Circom

Cryptographic primitives in other languages

Cryptographic primitives implemented in other languages which are compatible with Circom implementations

  • Javascript
    • circomlibjs - Javascript library to work with circomlib circuits
  • Go
    • go-iden3-crypto - Poseidon & mimc hash, babyjubjub elliptic curve
    • arbo - Efficient MerkleTree compatible with circomlib, which parallelizes computation by CPUs
    • go-merkletree - MerkleTree compatible with circomlib
  • Rust
    • poseidon-rs - Poseidon hash function compatible with circomlib
    • babyjubjub-rs - BabyJubJub elliptic curve compatible with circomlib

Provers

Code editors & tooling

  • zkrepl - Online playground for Circom circuits
  • vscode plugin - VSCode syntax highlighting plugin
  • vim plugin - Vim syntax highlighting plugin
  • Shield Cli - SHIELD is a development framework for circom developers. SHIELD is a tool to provide libraries, plugins, and testing tools to ensure code quality and security.
  • Circomspect - Static analyzer and linter for the Circom programming language
  • ecne - An engine for verifying the soundness of R1CS constraints
  • Picus - Automated verification of uniqueness property for ZKP circuits
  • CIVER - A circuit verification tool built on Z3 SMT-solver
  • Hardhat ZKit - The ultimate TypeScript environment for Circom development
  • circomkit - A testing & development environment for Circom

Tutorials & docs

Papers

Papers on Circom related constructions and primitives implemented in the circomlib standard library

Projects using Circom