Implements ZK proofs that allow users to prove financial statements without
revealing actual numbers. Key features:
- Bulletproofs-style range proofs (no trusted setup required)
- Pedersen commitments to hide actual values
- Proof types: income, affordability, savings, overdraft, debt ratio
- Complete rental application proof bundle
- All proof generation runs in browser WASM
Components:
- examples/edge/src/plaid/zkproofs.rs: Core ZK proof system
- examples/edge/src/plaid/zk_wasm.rs: WASM bindings for browser
- examples/edge/pkg/zk-financial-proofs.ts: TypeScript API
- examples/edge/pkg/zk-demo.html: Interactive demo
Use cases:
- Rental applications: Prove income ≥ 3× rent without revealing salary
- Loan pre-qualification: Prove DTI ratio without revealing debts
- Employment verification: Prove minimum salary without exact pay
- Account stability: Prove no overdrafts without transaction history
Privacy guarantee: Verifier mathematically CANNOT extract actual numbers
from the proof - only learns whether statement is true or false.
