- Buy Crypto
- Markets
Futures- Spot
- Copy Trade
- Earn
- More
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
Exchanging 200,000 for nearly 100 million, DeFi stablecoins face another attack
DeFi project teams cannot assume that the modules they control are necessarily secure.
The underlying business agreement of the trillion-dollar Agent economy: Understanding ERC-8183, it's not just about payments, but the future
This article systematically analyzes the technical principles and commercial value of the ERC-8183 protocol from the dimensions of technical architecture, core mechanisms, application scenarios, and ecological collaboration.
When Wall Street's ETH begins to "yield": Looking at the asset properties of Ethereum from BlackRock's ETHB
ETH is undergoing a paradigm shift from a "volatile asset" to a "yield-generating cash flow asset."
The Power of Agency: The Agentic Wallet and the Next Decade of Wallets
In 1984, Apple killed the command line with a mouse. In 2026, Agent is killing the mouse.
Understanding x402 and MPP in One Article: Two Routes for Agent Payments
x402 makes payments within the agreement, while MPP makes system-level payments.
Particle Founder: The entrepreneurial insights I have gained the most from in the past year
Stop lean startup, stop lightning entrepreneurship, and think carefully about what your product aspirations are.
Huang Renxun's latest podcast transcript: The future of Nvidia, the development of embodied intelligence and agents, the explosion of inference demand, and the public relations crisis of artificial intelligence
The competition in the future is not just about whose model is larger or whose computing power is stronger, but also about who understands the industry better, who can embed AI more deeply into real processes, and who can organize these capabilities into a runnable and scalable system.
OKX Ventures Research Report: AI Agent Economic Infrastructure Research Report (Part 1)
The existing infrastructure is hostile to the Agent economy. Agents can think and act independently at the "capability level," but at the "economic level," they are still locked into infrastructure designed for humans.
The migration of settlement rights: B18 and the institutional starting point of on-chain banks
In the traditional system, banks decide the settlement; in the on-chain system, code begins to take over this responsibility.
From Tencent and Circle: Looking at the Simple and Difficult Questions of Investment
The AI narrative continues to ferment, but the recent performance of related stocks varies, with some in the midst of summer and others as if in winter.
The second half of stablecoins no longer belongs to the crypto circle
What Coinbase doesn't want, Mastercard is eager to buy.
Cursor "Shell" Kimi Controversy Reversed: From Copyright Infringement Allegations to Authorized Collaboration, China's Open Source Model Once Again Becomes a Global AI Foundation
Cursor was accused of being based on Kimi K2.5, which sparked controversy, and was later confirmed to be compliant through Fireworks AI due diligence.
The Real Reason Tokens Don't Sell: 90% of Crypto Projects Overlook Investor Relations
Provide an Investor Relations Best Practices Guide for Crypto Projects.
Is the income of pump.fun real, earning a million dollars a day despite the market downturn?
If it can really earn this much, what is the reason for the low price of $PUMP?
The real reason why tokens are not selling: 90% of crypto projects neglect investor relations
Investor Relations Practice Guide for Cryptocurrency Projects.
Who is the true winner of the "Tokenization" narrative?
Virtually everyone benefits, but the reason for the benefit, the timing, and the underlying logic are completely different.
Moss: The Era of AI-Traded by Anyone | Project Introduction
AI Trading Agent is rapidly growing its infrastructure.
Chip Smuggling Case Exposes Regulatory Loophole | Rewire News Evening Update
AI chips have become a strategic asset more sensitive than missiles
Exchanging 200,000 for nearly 100 million, DeFi stablecoins face another attack
DeFi project teams cannot assume that the modules they control are necessarily secure.
The underlying business agreement of the trillion-dollar Agent economy: Understanding ERC-8183, it's not just about payments, but the future
This article systematically analyzes the technical principles and commercial value of the ERC-8183 protocol from the dimensions of technical architecture, core mechanisms, application scenarios, and ecological collaboration.
When Wall Street's ETH begins to "yield": Looking at the asset properties of Ethereum from BlackRock's ETHB
ETH is undergoing a paradigm shift from a "volatile asset" to a "yield-generating cash flow asset."
The Power of Agency: The Agentic Wallet and the Next Decade of Wallets
In 1984, Apple killed the command line with a mouse. In 2026, Agent is killing the mouse.
Understanding x402 and MPP in One Article: Two Routes for Agent Payments
x402 makes payments within the agreement, while MPP makes system-level payments.
Particle Founder: The entrepreneurial insights I have gained the most from in the past year
Stop lean startup, stop lightning entrepreneurship, and think carefully about what your product aspirations are.
App