The math library of Lean 4

educational python plonk implementation, based on vitalik's py_plonk

zkID is a team committed to advancing ZKP standards and driving privacy-focused solutions in digital identity.

A feature-rich command-line audio/video downloader

Spartan: High-speed zkSNARKs without trusted setup

Mirror of https://git.ffmpeg.org/ffmpeg.git

Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits

Introductory lecture notes on programmable cryptography

privacy and cryptography tools that protect and empower communities from the ground up

A prototype that uses a custom SnarkJS version to do witgen for Sonobe's folding steps without needing to do IO (creating witness.json file)

Extend semaphore circuits to the Ethereum anonymity set to conduct anonymous polls.

Experimental folding schemes library

🎮 A frictionless multiplayer web app that lets you play Set with friends

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