He explained that #Modulus Labs had built a solution to enable offline #computation to be verified as conforming to certain AI traits.

 For example, the #Modulus Labs Stanford team spoke at zkDAY Denver — a side event focused on ZK-proofs — about zero-#knowledge approaches to verify artificial intelligence (AI) models.