Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-circom
A curated list of repos related to Circom
https://github.com/arnaucube/awesome-circom
Last synced: 5 days ago
JSON representation
-
Cryptographic primitives
-
Cryptographic primitives in Circom
- circomlib - main 'standard lib' in Circom
- circom-ecdsa - secp256k1 ECDSA operations
- circom-pairing - BLS12-381 curve
- zk-attestor - Scalable on-chain trustless attestations to data from any past Ethereum block or state (ethereum storage proofs)
- keccak256-circom - keccak256 implementation
-
Cryptographic primitives in other languages
- circomlibjs - Javascript library to work with circomlib circuits
- 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
- poseidon-rs - Poseidon hash function compatible with circomlib
- babyjubjub-rs - BabyJubJub elliptic curve compatible with circomlib
-
-
Provers
-
Cryptographic primitives in other languages
- snarkjs - zkSNARK implementation in JavaScript & WASM
- rapidsnark - zkSNARK proof generation written in C++ and intel assembly
- go-circom-prover-verifier - Go implementation of the Groth16 zkSNARK Prover and Verifier compatible with Circom
- go-circom-witnesscalc - Witness Calculator in go, calling WASM
- ark-circom - Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust
- go-circom-prover-verifier - Go implementation of the Groth16 zkSNARK Prover and Verifier compatible with Circom
-
-
Code editors & tooling
-
Cryptographic primitives in other languages
- 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
-
-
Tutorials & docs
-
Cryptographic primitives in other languages
- Introduction to Zero Knowledge Proof - Tutorial inspired by the presentation "All About the ZkVerse | Polygon" performed by Jordi Baylina at EthDenver22
- docs.circom.io - official Circom docs
- Circom & Snarkjs talk - Jordi Baylina's talk at zkSummit 2019
- Electron Labs - Intro to Circom - Usage of language syntax and programming practices
- BattleZips Zero Knowledge Crash Course - Tutorial on building a battleship game on Ethereum & Circom
-
-
Projects using Circom
-
Cryptographic primitives in other languages
- hermeznetwork/circuits - Hermez network circuits
- iden3/circuits - Circom circuits used by the iden3 core protocol
- appliedzkp/semaphore - A privacy gadget for creating anonymous proof of membership on Ethereum
- tornadocash/tornado-core - Non-custodial private transactions on Ethereum
- worldcoin/semaphore-rs - Rust support library for using semaphore
- 0xPARC/zk-group-sigs - Group signatures implemented with zkSNARKs
- vocdoni/zk-franchise-proof-circuit - Census proof anonymous voting circuit
- web3-master/zksnark-sudoku - Sudoku verifier using zkSNARK and circom.
- iden3/circuits - Circom circuits used by the iden3 core protocol
- appliedzkp/maci - Minimal anti collusion infrastructure
- appliedzkp/semaphore - A privacy gadget for creating anonymous proof of membership on Ethereum
-
-
Papers
-
Cryptographic primitives in other languages
- CIRCOM: A Robust and Scalable Language for Building Complex Zero-Knowledge CircuitsComplex Zero-Knowledge Circuits
- Sparse Merkle Trees
- Baby Jubjub Elliptic Curve - 2494](https://eips.ethereum.org/EIPS/eip-2494)
- Poseidon: A New Hash Function for Zero-Knowledge Proof Systems
- CIRCOM: A Robust and Scalable Language for Building Complex Zero-Knowledge CircuitsComplex Zero-Knowledge Circuits
-
Programming Languages
Categories