Your sweet cup of eprint in the morning

A cryptographic framework for building collaborative applications over an untrusted server. Research prototype.

kyber-nz is a pure Rust implementation of the FIPS 203 (Module-Lattice-Based Key-Encapsulation Mechanism) standard

Verify Cairo contracts in Lean 4

bluetooth mesh chat, IRC vibes

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Minimal zkVM for Ethereum.

Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN

Libraries for finite field, elliptic curve, and polynomial arithmetic

Binary Proofs, Blazing Fast

A library for building anonymous credentials from algebraic MACs

A collection of Flipper Zero sub files

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

A toolkit for polynomial IOPs (PIOPs)

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

Noir is a domain specific language for zero knowledge proofs

W3C Verifiable Credentials Working Group

A rebound attack on full SkyScrapper

Implementation of the QuietOT protocol

Private Cloud Compute (PCC)

Reader for ICAO 9303 electronic machine readable travel documents.

Privacy enhanced BitTorrent client with P2P content discovery

a lattice lib for building snarks

Versatile framework for multi-party computation

Rust crypto library for data privacy tools

Collection of security reviews of ZK Protocols