ZK-Sentinel V11
TESTNET
๐ง ZKML Integration
Halo2-based machine learning for coercion detection
Architecture
๐๏ธ
Voice / Text
Input capture
๐
Feature Extract
MFCC / embeddings
๐ง
LSTM + MLP
Stress classifier
๐
EZKL โ Halo2
ZK proof of inference
โ๏ธ
On-chain Verify
Halo2Verifier.sol
Model Specifications
| Parameter | Value |
|---|---|
| Architecture | LSTM (32 units) โ Dense(16) โ Dense(1, sigmoid) |
| Input | 13 MFCC features ร 20 time steps |
| Output | Stress probability [0.0 โ 1.0] |
| Threshold | 0.7 (configurable per pool) |
| Training Data | RAVDESS + CREMA-D + custom corpus |
| Quantization | INT8 via EZKL for Halo2 compatibility |
| Proof Size | ~1.2 KB (Halo2 KZG commitment) |
| Verification Gas | ~280K gas on-chain |
Privacy Guarantee: The ZKML proof demonstrates that the ML model classified the user as "not under stress" โ without revealing the raw biometric input. The verifier only sees the boolean result, never the voice/text data.