Anthony Diaz
Founder
HackFate develops exact arithmetic systems for cryptography and computation. The core focus is eliminating the bootstrapping requirement in homomorphic encryption through integer-only methods.
All core algorithms are formally verified in Coq and Lean4. Benchmarks and a hands-on walkthrough are publicly available.
Technical Focus
- Homomorphic encryption
- Exact integer arithmetic
- Formal verification
- RNS-based computation