Homomorphic Encryption-based Functional Fair Exchange for arbitrary functions Sep 9, 2025 fas-from-he-impl tfhe-rs Rust Go rust go Nikhil Vanjani PhD Student