David Cook's repositories
i-d
Interoperable Private Attributions Internet Drafts
tomestone-utils
FFXIV data mining and modding in Rust
janus
Experimental implementation of the Privacy Preserving Measurement (PPM) specification.
cargo-vet
supply-chain security for Rust
libprio-rs
Implementation of Prio in Rust.
subtle
Pure-Rust traits and utilities for constant-time cryptographic implementations.
draft-wang-ppm-differential-privacy
Describe DP mechanisms and guarantees on a DAP/VDAF system
opentelemetry-rust
OpenTelemetry API and SDK for Rust
cargo-llvm-lines
Count lines of LLVM IR per generic function
cargo
The Rust package manager
transit-buffer-map
Python notebook to map all properties within a half mile of transit stations
rcgen
Generate X.509 certificates
validator
Simple validation for Rust structs
retry-after
Retry-After header for Hyper
ppm-specification
Design documents and other documentation related to the Prio family of projects
trillium
🌱🦀🌱 Trillium is a composable toolkit for building internet applications with async rust
curl-container
curl images
getrandom
A small cross-platform library for retrieving random data from (operating) system source
query-plan-charts
Phase diagram-style charts for PostgreSQL query plans
rewriter
Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
draft-mouris-cfrg-mastic
Specification of the Mastic Verifiable Distributed Aggregation Function (VDAF)
vdaf-rejection-sampling-search
Brute-force search tool for rejection sampling test vectors
criterion.rs
Statistics-driven benchmarking library for Rust
curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
dap-interop-test-runner
Reference DAP interoperation test harness