tpt-axiom

Probabilistic types and native Zero-Knowledge circuit generation for Rust — Fuzzy<T>/Distribution<T> with automatic variance propagation and a #[zk_provable] macro, formally verified via tpt-telos.