# Computational Verifiability

As use of AI becomes increasingly ubiquitous, the importance of computational verifiability becomes increasingly important to ensure honest behavior. Consider the following scenario: 

*"A user types in a query on ChatGPT and submits it, the query is sent as an API request to OpenAI's servers where OpenAI inferences their GPT model with the query, then returns the result back to the client (user) where the result is displayed on the site"*

OpenAI claims that they run the query through GPT4, but the user has no idea if they used the correct query, or more importantly, *the correct model*. The user is completely trusting the company to do the right thing. This is dangerous becuase running inference on large AI models is extremely expensive, so it's completely possible that companies could bait-and-switch and choose to use cheaper/smaller models instead to reduce their costs. After all, who would know?

<figure><img src="/files/onyAeJhNB1RdYScLIrNs" alt=""><figcaption><p>Ensuring comptuational verifiability with ZKML</p></figcaption></figure>

That's why Vanna Labs is developing cryptographic schemes as enshrined  primitives on the network that gives inference the consumers the option to have their inference requests cryptographically secured. For more information about Vanna's security models around inference, check out:

{% content-ref url="/pages/fP82GbezvZBWMkiUYf6U" %}
[Inference Modes](/vanna-network/inference-modes.md)
{% endcontent-ref %}

In addition to cryptographic proofs that are validated on the Vanna Network, the inference results and artifacts will all be posted to a data availability layer where they can be inspected or verified by anyone.

**Computational verifiability becomes increasingly important as the implications of the inference result increases.**&#x20;

What if a fintech company uses cheaper models which results in inaccurate risk assessments? What if a healthcare AI company uses a cheaper model which results in incorrect diagnoses? The Vanna Network and its enshrinement of zkML as a primitive helps to guarantee computational verifiability to protect against such scenarios.


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://docs.vannalabs.ai/vision/computational-verifiability.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.