Space And Time Unveils Sub-Second ZK Prover For SQL Queries, Powered By NVIDIA Technology
By: mpost io|2025/05/15 22:15:06
0
Share
Blockchain infrastructure focused on zero-knowledge (ZK)-verified data, Space and Time announced that its ZK prover for SQL queries, known as ‘Proof of SQL,’ is now capable of generating proofs in under one second for analytic queries involving datasets of up to one million rows. Utilizing NVIDIA’s accelerated computing technology, the solution is currently regarded as the most efficient in its category for verifying SQL queries within a ZK framework.“Space and Time is at the forefront of building fast, practical ZK for real-world workloads and applications. Our collaboration with NVIDIA and use of their technology is critical in realizing this vision,” said Jay White, the inventor of the Proof of SQL protocol, in a written statement. “We’re thrilled by the progress of Proof of SQL and look forward to continuing to build with the NVIDIA team to usher in the next generation of AI and blockchain applications, powered by ZK,” he added.Proof of SQL is a ZK circuit developed to validate the correctness and consistency of SQL database queries. It can be embedded within both centralized and decentralized SQL databases, including platforms such as Google BigQuery, and is currently utilized by various Web3 applications, artificial intelligence systems, financial organizations, and enterprises. The protocol employs NVIDIA’s accelerated computing technology along with a proprietary GPU optimization framework, enabling it to handle extensive data operations more efficiently than alternative methods. According to recent performance evaluations shared on GitHub, Proof of SQL can process analytical queries across datasets containing over one million rows in under one second when run on NVIDIA GPUs.The protocol is openly accessible on GitHub for developers and organizations aiming to implement verifiable data infrastructure within their systems.Space and Time Launches Permissionless MainnetSpace and Time is a blockchain protocol designed to deliver ZK-verified data, allowing smart contracts to access and perform computations on data from various blockchains and external sources without relying on trust. Central to this framework is Proof of SQL, a ZK coprocessor capable of executing sub-second proofs, which supports the development of data-centric applications with cryptographically verifiable outputs. The platform recently launched its public, permissionless mainnet, opening access to a broader developer and enterprise community.The post Space And Time Unveils Sub-Second ZK Prover For SQL Queries, Powered By NVIDIA Technology appeared first on Metaverse Post.
You may also like

Vitalik wrote a proposal teaching you how to secretly use AI large models
Vitalik believes that in the AI era, users should not have to give up their identity to use an AI tool.

On the eve of the explosion of on-chain options
Options are becoming a new anchor in the cryptocurrency market.

WEEX AI Hackathon: How Did This AI Trading Winner Succeed?
A self-taught AI trading enthusiast achieved top-10 results at the WEEX AI Hackathon. Learn about the mindset, AI tools, and lessons behind this impressive performance.

One Balance to Rule Them All: Gravitas' On-Chain Prime Broker Ambition
Forty years ago, a technological revolution broke the isolation of information, reshaping Wall Street. Forty years later, Grvt aims to break the isolation of capital with an on-chain prime brokerage model.

That person who cashed out at the NFT peak is now selling a new shovel in the OpenClaw craze
A skilled person never picks the table, they eat meat with every bite.

Inter-generational Prisoner's Dilemma Resolution: The Nomadic Capital and Bitcoin's Inevitable Path
When the Baby Boomer generation collectively sells off, who will be the "bag holder" in the next asset crash?

Upstream and downstream are starting to fight, all for the sake of everyone being able to "Lobster"
「Lobster」 may not be a mature product yet, but it has already ushered in a new era of 「AI Assistants」.

Circle and Mastercard Announce Partnership, the Next Stage for the Crypto Industry Belongs to Payments
Stablecoins are transitioning from a speculative tool to real financial scenarios such as payments, cross-border transfers, and store of value.

From 5 Mao per kWh of Chinese electricity to a $45 API export: Tokens are rewriting currency units
When the same unit can both measure hashing power and facilitate payments, it ceases to be just a term and begins to evolve into a new currency of both value and influence.

Why is OpenAI playing catch-up to Claude Code instead?
Anthropic Bets Earlier on AI Programming, OpenAI Strategic Tempo Misaligned

Vitalik wrote a proposal teaching you how to secretly use AI large models
Vitalik believes that in the AI era, users should not have to sacrifice their identity to use an AI tool.

The doubling of Circle's stock price and the paradigm shift of stablecoins
The initial investments from Circle and Stripe, whether it is the R&D expenses for Arc, the high financing costs associated with Tempo, or the billion-dollar acquisitions of Bridge-type assets, are more akin to "placement fees" rather than commercially recoverable investments in the short term.

Key Market Information Discrepancy on March 13th - A Must-See! | Alpha Morning Report
1. Top News: Latest Developments in US-Iran Conflict, Son of Soleimani Vows Revenge, US Navy Plans to Escort Ships in the Strait of Hormuz
2. Token Unlock: $HTM

On-Chain Options Explosion.ActionEvent
Options are becoming the new anchor in the cryptocurrency market.

《Time》 Magazine Names Anthropic as the World's Most Disruptive Company
The most AI-wary company has created the most dangerous AI

Predictions market gains mainstream traction in the US, Canada, Claude launches Chart Interaction feature, What's the English community talking about today?
What Did Foreigners Care About Most in the Last 24 Hours?

500 Million Dollars, 12 Seconds to Zero: How an Aave Transaction Fed Ethereum's "Dark Forest" Food Chain
Spend $154,000 to buy AAVE at market price of only $111

AI Agent needs Crypto, not Crypto needs AI
It is not Crypto that needs AI to survive, but rather AI Agents that need Crypto to be implemented: when AI truly shifts from "thinking" to "executing," it must seek the boundaries of authority and funding within the programmable primitives of Crypto.
Vitalik wrote a proposal teaching you how to secretly use AI large models
Vitalik believes that in the AI era, users should not have to give up their identity to use an AI tool.
On the eve of the explosion of on-chain options
Options are becoming a new anchor in the cryptocurrency market.
WEEX AI Hackathon: How Did This AI Trading Winner Succeed?
A self-taught AI trading enthusiast achieved top-10 results at the WEEX AI Hackathon. Learn about the mindset, AI tools, and lessons behind this impressive performance.
One Balance to Rule Them All: Gravitas' On-Chain Prime Broker Ambition
Forty years ago, a technological revolution broke the isolation of information, reshaping Wall Street. Forty years later, Grvt aims to break the isolation of capital with an on-chain prime brokerage model.
That person who cashed out at the NFT peak is now selling a new shovel in the OpenClaw craze
A skilled person never picks the table, they eat meat with every bite.
Inter-generational Prisoner's Dilemma Resolution: The Nomadic Capital and Bitcoin's Inevitable Path
When the Baby Boomer generation collectively sells off, who will be the "bag holder" in the next asset crash?