Space and Time launches verifiable SQL database for AI agents
Space and Time announced Space and Time Enterprise on Nov. 9, 2026. Per the company's GitHub repository, the database attaches a zero-knowledge proof to each query result, so others can check it without seeing the records.
Space and Time announced Space and Time Enterprise on Monday, Nov. 9, 2026, according to Decrypt. MakeInfinite Labs is the original developer of Space and Time. The product is a deployable SQL database that attaches a zero-knowledge proof to each query result. It lets AI tools, auditors and other parties check a calculation on private data without access to the records.
The primary press release could not be retrieved, and the Decrypt and Crypto Briefing articles were read only through search excerpts. This brief relies on those, ChainCatcher and the company's GitHub repository.
How it works
Per the repository README, the product builds on Proof of SQL. Every query returns a proof that binds the result to the submitted SQL and to a commitment to the tables it read. Checked against a commitment the client already trusts, the proof shows the result is the output of that SQL over the committed data.
The software is packaged as a database server that runs on an ordinary laptop or server. Proving happens on the same machine, so no blockchain, GPU or network of nodes is required to commit the data. Private data stays on infrastructure the customer controls. Decrypt describes Space and Time as a blockchain data project, but per the repository README this product does not require a blockchain to commit the data.
Checking a proof requires only the SQL, the proof and the commitments. An auditor can verify a result offline on their own laptop.
What the proof does not do
The repository states the limit of the guarantee. A verified proof shows the returned rows are the output of the submitted SQL over the data covered by the commitments. It does not establish that the underlying data is true or complete.
Who it targets
According to a search-result excerpt of the Decrypt article, Nate Holiday, CEO of MakeInfinite Labs, said businesses want AI agents to run workflows using their data but that the agents do not need unrestricted access to the records behind every calculation. ChainCatcher's summary of Decrypt adds that Holiday said unrestricted access would create new exposure channels.
ChainCatcher also reported that the company is working with clients in construction, engineering and manufacturing. The aim is for agents, reporting tools and compliance teams to work from the same business records and verify the computations they rely on. No customers were named.
What "Microsoft-backed" means
Decrypt describes the project as Microsoft-backed. ChainCatcher's summary of Decrypt mentions a $20 million round led by Microsoft's venture fund M12 in 2022. We could not verify this against a primary source. That round is not new and is not tied to this launch.
The material reviewed did not mention a Microsoft role in this product, but the company's own release was not retrieved. Crypto Briefing reported that Space and Time plans to strengthen its integration with Microsoft Fabric. We found no timeline, and this is a plan, not a shipped feature.
Caveats
The repository README calls the product "the first verifiable database." That is the company's own claim and was not independently validated. No pricing, availability date, benchmarks or audit details were found.
Decrypt's byline on the article is "Decrypt Agent," and its page metadata carries the tag 'agentic AI'. ChainCatcher summarizes Decrypt's report, while Crypto Briefing reported the announcement separately. Neither had a primary press release available to us.