Claude b70cdc48c6 fix(security): Address critical security and performance issues in ZK proofs ... Security Fixes: - CRITICAL: Add zeroize on drop for FinancialProver to prevent memory extraction - HIGH: Fix WASM type import (ProdVerificationResult -> VerificationResult) - MEDIUM: Add input validation for zero rent/multiplier/budget values - Use checked_mul instead of saturating_mul for overflow detection Performance Optimizations: - Reduce generator memory from 16 MB to 8 MB (1-party vs 16-party) - Add zeroize dependency (1.8) for secure memory clearing Documentation: - Add comprehensive ZK performance analysis docs - Add benchmark suite for criterion testing - Add optimization quick reference and examples All 7 production ZK tests pass.		2026-01-01 19:52:44 +00:00
..
zkproof_bench.rs	fix(security): Address critical security and performance issues in ZK proofs	2026-01-01 19:52:44 +00:00