This document discusses using machine learning techniques for functional validation in grid computing environments. It proposes using PAC learning and Chernoff bounds theory to validate if a service provider can correctly perform a requested function based on sample test cases. If the service provider answers enough test cases correctly with high probability, the client can commit to using the service. It also discusses extending this approach to more complex validation scenarios using other machine learning models like zero-knowledge proofs and reinforcement learning.