- Buy Crypto
- Markets
Futures- Spot
- Copy Trade
- Earn
- More
Space and Time Delivers Sub-Second Zero-Knowledge Prover for SQL Powered by NVIDIA Accelerated Computing
By: chainwire org|2025/05/15 22:45:17
0
Share
Santa Clara, California, May 15th, 2025, ChainwireLatest performance benchmarks for Proof of SQL show sub-second proving for SQL queries against 1+ million rows of dataSanta Clara, California, May 15, 2025—Space and Time, a leader in blockchain, AI, data, and zero-knowledge (ZK), announced today that its ZK prover for SQL queries ‘Proof of SQL’ has reached sub-second proving speeds for analytic queries against 1 million rows of data. Powered by NVIDIA accelerated computing, the prover is the fastest on the market for proving SQL queries in ZK.Proof of SQL is a novel ZK circuit designed to verify the accuracy and integrity of SQL database queries. The prover can be integrated into any SQL database (such as Google BigQuery), centralized or decentralized, and is already securing some of the most prominent Web3 apps, AI protocols, financial institutions, and enterprises.Proof of SQL uses NVIDIA’s accelerated computing and its own custom GPU acceleration framework to process large data volumes faster than any other solution on the market. In the latest benchmarks published on GitHub, the protocol can execute analytic queries over 1 million-row tables in less than a second on NVIDIA GPUs.“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. 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,” said Jay White, PhD, Co-Founder and Head of Research at MakeInfinite Labs, and the inventor of the Proof of SQL protocol.Proof of SQL is available on GitHub for developers and enterprises that want to integrate ZK into their database and develop next-generation applications with verifiable data.About Space and TimeSpace and Time is the blockchain for ZK-proven data, which enables smart contracts to trustlessly access and compute over data from any chain or source. Powered by Proof of SQL, a sub-second ZK coprocessor, Space and Time empowers developers to build more intelligent, data-rich applications with verifiable data.For more information, visit: Website | X | Discord | Telegram | LinkedIn | YouTubeFor media inquiries, please contact: marketing@spaceandtime.ioAbout MakeInfinite LabsMakeInfinite Labs is a frontier protocol research lab contributing to some of the most prominent protocols and ecosystems across crypto, including the creation of Space and Time. MakeInfinite Labs raised $50 million from Microsoft’s M12 Ventures and other leading investors to build the infrastructure that enables developers and creators to build data-driven applications, tokenize and monetize and win in the AI economy.For more information, visit: Website | X | LinkedInFor media inquiries, please contact: marketing@makeinfinite.com ContactHead of MarketingCatherine DalySpace and TimeThe post Space and Time Delivers Sub-Second Zero-Knowledge Prover for SQL Powered by NVIDIA Accelerated Computing appeared first on Chainwire.
You may also like
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
How a Structured AI Crypto Trading Bot Won at the WEEX Hackathon
Ritmex demonstrates how disciplined risk control and structured signals can make an AI crypto trading bot more stable and reliable on WEEX, highlighting the importance of combining execution discipline with scalable AI trading systems.
Old Indicator Fails, Three Major New Signals Emerge: BTC True Bottom May Still Be Below $60K
When the grocery shopping auntie on the subway, or Tony the hairdresser, start asking you about BTC, crypto, and cryptocurrency investments, selling immediately will be the only best option.
Meeting OpenClaw Founder at a Hackathon: What Else Can Lobsters Do?
Imperial College London MetaGame: AI Agent × Web3 Landing Three Major Directions.
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.
App