NOTE: This project wouldn't have been possible without the assistance of Ari Biswas, and was largely inspired by his paper: Interactive Proofs For Differentially Private Counting. This project was completed by groupmates Emily Kang, Max Wagner, Jaray Liu, Sol Kim, and Weiyuan Gong for COMPSCI208: Applied Privacy for Data Science under James Honaker and Salil Vadhan.
An interactive demo of verifiable differential privacy:
- Frontend: React app explaining zero-knowledge proofs, differential privacy, and sigma-OR protocols
- Backend: Rust API implementing verifiable DP with Pedersen commitments and cryptographic proofs
| Frontend | Backend |
|---|---|
| React 19, Vite, TypeScript | Rust, Actix-web |
| Tailwind CSS, MUI, Radix UI | curve25519-dalek, bulletproofs |
Frontend
cd frontend && pnpm install && pnpm devBackend
cd backend && cargo runFrontend runs on http://localhost:5173, backend on http://127.0.0.1:9537.
See backend/README.md for full API documentation.