我們不知道AI模型是如何做出決策的，或者它們是否有效。 通過ZK證明，我們可以以加密方式證明這一點。 歡迎來到可驗證AI的時代。