Commit graph

2 commits

Author SHA1 Message Date
ruvnet
758fce1a22 chore(workspace): cargo fmt nested workspaces — rvf/, examples/*
Root-level `cargo fmt --all` doesn't recurse into nested workspaces
(crates/rvf/, examples/onnx-embeddings/, examples/data/, …), but
CI's `cargo fmt --all -- --check` was failing on files inside them
(e.g. crates/rvf/rvf-wire/src/hash.rs).

Ran `cargo fmt --all` inside each nested workspace. Mechanical-only
whitespace, no semantic change.

Touched nested workspaces:
  crates/rvf/*
  examples/onnx-embeddings/*
  examples/data/*
  examples/mincut/*
  examples/exo-ai-2025/*
  examples/prime-radiant/*
  examples/rvf/*
  examples/ultra-low-latency-sim/*
  examples/edge/*
  examples/vibecast-7sense/*
  examples/onnx-embeddings-wasm/*

Combined with previous commit (96d8fdc17), the full workspace tree
should now pass `cargo fmt --all -- --check` in CI.

Co-Authored-By: claude-flow <ruv@ruv.net>
2026-04-24 10:51:14 -04:00
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