dmpierre Goto Github PK

aes-circom

AES-GCM implementation in Circom

anon-adhaar

Prove your adhaar card's validity, while keeping your sensitive data private.

ark-algorithms

Exploring cryptography algorithms with arkworks (mostly zk/snark related)

ark-light-bitcoin-client

R1CS for verifying bitcoin pow using btc block headers and arkworks.

circom

zkSnark circuit compiler

circom-compat

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

circom-ecdsa

Big integer arithmetic and secp256k1 ECC operations in circom

circom-pairing

circom-rsa-verify

Zero Knowledge Proof for RSA

circom_tester

Provides tools for testing circom circuits.

eth-private-market

Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.

ffjavascript

Finite Field Library in Javascript

folding-schemes

folding-schemes-light-btc

Using folding schemes for a provable bitcoin light client

halo2curves

heyanon-circuits

Circuits used by heyanon

heyanoun

nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)

jubjub-signature-pcd

keras2circom

python tool to transpile a tf.keras model into a circom circuit

kzg-solvency

line

A PyTorch implementation of the LINE paper.

merkle-poseidon

nova

Nova: Recursive SNARKs without trusted setup

nova-browser-ecdsa

In-browser ECDSA aggregation using Nova over secp/secq

nova-scotia

Middleware to compile Circom circuits to Nova prover

nova-scotia-tutorial

poly-commit

A Rust library for polynomial commitments

sha1-circom

Generate a zero-knowledge proof for a SHA1 pre-image.

spartan-ecdsa

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

specular-uniswap