Verifiable computation and biometric authentication