Implementation of the Google Zero-Knowledge library for Identity Protocols.

NixOS on WSL [maintainer=@nzbr]

Code for "ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs", by Kim et al., IEEE S&P 2025

Privacy Patterns in markdown

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

Set up a LUKS-encrypted filesystem for Yubikey in NixOS

Go core implementation of the iden3 system

EasyCrypt: Computer-Aided Cryptographic Proofs

Private Proof API

An implementation of authenticated pseudonyms using BBS and Dodis-Yampolskiy.

Sample Implementation of Android's Credential Management API

This repo contains samples that demonstrate the API used in Windows classic desktop applications.

Ubuntu, Alpine, Arch, and Fedora based Webtop images, Linux in a web browser supporting popular desktop environments.

An active fork of curl-impersonate with more versions and build targets. A series of patches that make curl requests look like Chrome, Firefox and Safari.

Very fast and memory-efficient (but not succinct) ZK through VOLE in the Head. Contains adapter for load Circom-formatted circuits and witnesses.

C implementation of the IRTF BBS Internet Draft

Virtual Machine for the Web

Forwards media from 1 group call device to N group call devices.

FOSDEM Security Devroom 2025 planning

The BBS Signature Scheme