BlakeMScurr/comparator-overflow
Demonstrates an easy mistake to make in circom, allowing usual statements to be proven, like `100 < 10`
Demonstrates an easy mistake to make in circom, allowing usual statements to be proven, like `100 < 10`
Basic game to train word recognition for kids and people struggling with dyslexia
Verifying a 512-layer CNN w/ recursive SNARKs
Complete Ethereum library and wallet implementation in JavaScript.
Implementation of a nullifier friendly signature scheme
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
Library of basic circuits for circom
Big integer arithmetic and secp256k1 ECC operations in circom
End to End ZK ECDSA
Halo2 Merkle tree circuits
Provides tools for testing circom circuits.
ZKmaps uses ZK proofs to provide a proof of location without sharing the user's actual location
Circom circuits used by the iden3 core protocol.
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo
zkSnark circuit compiler
OpenZeppelin Contracts is a library for secure smart contract development.