α-fair, cryptographically auditable housing allocation system — reproducible research with ML, ZK proofs, and distributed systems validation.
-
Updated
Aug 23, 2025 - Go
α-fair, cryptographically auditable housing allocation system — reproducible research with ML, ZK proofs, and distributed systems validation.
Project Aletheia building a theorem-first, cryptographically-auditable allocation system Lean lemma + Rust/Python simulator scaffold live, ZK checkpoints & entropy fairness duality in progress.
Add a description, image, and links to the housing-allocation topic page so that developers can more easily learn about it.
To associate your repository with the housing-allocation topic, visit your repo's landing page and select "manage topics."