u/FormalCryptographer