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.

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.