Operator of a cryptography research and development company intended for proactive security for AI/ML systems. The company uses zero-knowledge proofs to prove that models produced certain results and verify computation, without reviewing the model itself, enabling clients to verify model performance publicly with AI safety.