ZK Weather Insurance

This project integrates ZoKrates-based zero-knowledge proofs with Zircuit's high-performance blockchain to create a trustless weather insurance system. Users can submit private weather radar data (113 features) through ZK proofs, which are verified on-chain via deployed smart contracts to automatically trigger insurance claims without revealing sensitive meteorological information.

Fixed-point arithmetic: ZoKrates doesn't support floating-point, so we implemented custom i64 structures with sign+magnitude representation Circuit optimization: The original ML model had 10 decision trees, requiring careful constraint optimization Feature engineering: 113 radar features (temperature, humidity, pressure, wind vectors) mapped to circuit inputs