A zero-knowledge membership proof system built with:
- Tauri v2 - Cross-platform desktop application
- Angular - Frontend UI framework
- Noir - Zero-knowledge circuit language
- Barretenberg (bb) ZK proof prover
- Rust - Backend cryptography and Tauri integration
- SQLite - Member database
- Store members in a database with SHA256 commitments
- Generate proofs using Noir circuits and Barretenberg to create zero-knowledge proofs
- Verify proofs cryptographically that a user knows a member's secret without revealing it
- Display results with responsive UI and real-time feedback
- 🔐 Pre-hashed secrets (SHA256 → BN254 field reduction)
- 🌳 Merkle tree commitment verification
- 📝 Zero-knowledge circuit logic in Noir
- 🖥️ Cross-platform desktop app with Tauri
- 🎨 Responsive Angular UI with real-time feedback
- 📊 SQLite member database
- 📋 Comprehensive logging throughout
- QUICKSTART.md - How to use the application
- DEVELOPER_SETUP.md - Developer environment setup
- docs/ARCHITECTURE.md - System design & technical architecture
All features verified and working:
- ✅ App launches from OS
- ✅ Proof generation (responsive UI, ~2-3 seconds)
- ✅ Proof verification
- ✅ Member management with persistent database
- ✅ All tools bundled (Nargo + Barretenberg)
- ✅ Code signed and ready to distribute