我们不知道AI模型是如何做出决策的，或者它们是否有效。 通过ZK证明，我们可以以加密方式证明这一点。 欢迎来到可验证AI的时代。