Implementation of the endorsement issuance and redemption protocols.

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

Anonymous Credit Token related standards

The artifact for the NDSS'26 paper "VDORAM: Towards a Random Access Machine with Both Public Verifiability and Distributed Obliviousness"

An unofficial NixOS fork with a FreeBSD kernel

Humane-RAFW for DCAP-RA of Intel SGX.

Remote attestation framework for Fortanix EDP

Design and implementation of PACT

Verifying constant-time code with symbolic execution

A filter cascade implementation in rust

Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption

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.