Introducing Proving - A technique to rapidly verify and trust AI answers

The current main way to reduce hallucination to a manageable level is grounding. Grounding in LLMs refers to their ability to generate responses that are accurate, relevant, and aligned with real-world facts or context. Grounding ensures that the model’s output is not only coherent but also factual and contextually appropriate, often achieved by integrating external data sources or databases during the response generation process.

While grounding is an excellent technique to battle hallucination, end users are still left to just blindly trust that methods used by developers produce factually correct results. For end users to truly trust AI systems, they need not only use grounding or similar techniques to reduce hallucinations, but also provide proof that the generated text is factually correct, even when the user does not have direct access to context used to generate the text.

Introducing Proving

To solve these problems, we introduce a technique called Proving to ensure AI answers on private data are correct, every time, with results backed by cryptographic proofs. Provably has developed ZK protocols for SQL computations on databases and tabular structures, allowing agents to prove the correctness of their computations and enabling others to independently verify the results in less than 2 seconds.

The beauty of this approach is that recipients of AI answers—whether users, agents, or applications—don’t need to understand the systems behind the AI. They can verify correctness without concerning themselves with the specific technologies used, saving time and reducing complexity. For deterministic tasks like database queries, the end user only needs to focus on integrating the answers into their workflow without worrying about the truthfulness of the results.

Each answer provided by Provably includes a ZK proof along with metadata such as the SQL query, data source, result, and timestamp, all explained in plain English. Users can revise their prompts and re-query as needed. ZK proofs can be stored immutably, explained, repeated, and verified later to resolve disputes or address legal issues.

This approach enables AI agents to handle straightforward sales tasks, such as generating a bill for a shopping basket, as well as complex processes like loan origination, where the agent can conduct credit and risk analysis to help the end user and financial provider select the most suitable loan product.

On the privacy front, agents can make claims without revealing sensitive data. ZK identity allows agents to act securely on behalf of humans, enabling them to perform tasks involving ad hoc database computations while preserving user privacy.

How Proving works

Instead of LLMs interacting directly with data, they will increasingly generate precise and accurate code to communicate with databases. This capability will only improve over time.

Provably is a ZK middleware tool that connects to database management systems like PostgreSQL. The ZK protocols ensure that the query is executed correctly by the DBMS and the query answer contains all and only correct data. Our research focuses on generating proofs for large datasets efficiently.

Additionally, Provably includes a platform to manage multiple middleware instances, create AI-friendly private data catalogs, and govern secure access through a robust permission management system.

1. Alice asks the agent a Natural language question.
2. The agent passes the question to Provably. Provably uses LLM workflow with RAG (for search) and CoT (for natural lang to SQL) agent self-correcting mechanism to convert the question into an SQL.
3. Provably orchestrates the SQL query execution on the relevant database. It also generates a proof that certifies the validity of the query’s answer.
4. The answer is returned to Alice in natural language along with a ZK proof.
5. Alice can independently verify the proof in seconds to confirm the correctness of the result.

Trustworthy AI for all

Proving is a powerful tool, and its middleware approach makes it accessible to all AI teams operating in any environment. This setup allows any agent to interact with databases via Provably for truthful verifiable results. Currently, Provably supports PostgreSQL, and we are actively working to expand compatibility to other databases. We also provide integration for custom tabular structures, such as application-specific data stores—contact us for tailored solutions.

Provably V1, currently supports aggregate SQL queries on databases with up to 1 million rows. To meet the growing demands of AI workloads, we are developing Provably V2. This new version will feature faster proving and verification, support for general SQL queries, and the ability to handle larger datasets.

High-speed, truthful answers are set to transform AI, and we’re thrilled to lead this charge. ZK technologies empower us to build “trustworthy systems” by enabling precise proof and verification of facts. For AI to deliver accurate results, data must be correct, questions understood, and computations flawless. The biggest opportunity in our eyes is to solve the User doubt over AI’s ability to perform accurate computations. By focusing on this key challenge, we offer developers an immediate solution that integrates seamlessly without complex migrations or overhauls.

• 
  SourceryKit: Runtime Verification of Agent Tool CallsIntroducing runtime verification for agent tool calling: how SourceryKit lets production agents prove and verify tool outputs at runtime, catch errors before they propagate, and move closer to reliable autonomy.
  Jul 08, 2026
• 
  Provably V2 is LiveProvably V2 is now live and available for anyone to access and use. Allows users to connect to Relation DBs, comes with an SQL IDE to run verifiable queries at speed.
  Mar 04, 2026
• 
  Beyond Circuits: A New Era for Verifiable DatabasesWhy QEDB makes verifiable SQL practical, without circuits or heavy SNARK overhead.
  Feb 08, 2026