Space and Time Delivers Sub-Second Zero-Knowledge Prover for SQL Powered by NVIDIA Accelerated Computing
By: chainwire org|2025/05/15 14: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 ten years of Cloud on the Air: From corner coffee to global financial infrastructure
How did a remittance company grow into a financial infrastructure that can replace SWIFT; when it really reaches this scale, how should stablecoins be positioned for it; and what can AI integrate into this infrastructure?
From ByteDance to Financial Freedom: How did "Byte Brother" Leto develop his investment judgment skills to achieve a turnaround of 30 million?
Speak with data and signals, validate judgments with A/B tests, and seek asymmetric returns with limited risk exposure.
OUSD False Cooperation Controversy? The Credit Game of Stablecoins and Endorsements by Giants
The success of stablecoins does not rely on rallying a group of alliance members for marketing, but rather on whether they have real use cases and genuine users.
Trump, the best stock trader among U.S. presidents
Trump has almost turned the presidency into a business and maximized the conversion of presidential influence into commercial profits.
Q-Day Countdown: Will Quantum Computing End Cryptocurrency?
In the face of dormant coins being plundered by quantum computing power, should we firmly uphold the unalterable bottom line of "code is law," or should we enforce a soft fork to freeze legacy assets?
Selling coins despite a loss of 55 million dollars, the faith in Strategy has reached the interest payment date
The moment faith was securitized, Bitcoin became a bill.
The cryptocurrency industry has become a traditional industry
For entrepreneurs and retail investors still in this industry, they should either embrace the current changes or explore the next unpredictable field in cryptocurrency.
Chip frenzy cooling down? Morgan Stanley's Wilson: Funds are shifting towards AI supercomputing giants like Microsoft and Amazon
Morgan Stanley's chief equity strategist Wilson pointed out that the momentum in the semiconductor sector is waning, with the Philadelphia Semiconductor Index having dropped nearly 14% from its peak. Funds are shifting towards AI supercomputing giants like Microsoft, Amazon, and Meta, as well as sec...
$10,000 in TRUMP Token vs. $10,000 in Nasdaq: The "Trump Trade" That Actually Worked in 2026
TRUMP Token lost more than 96% after its launch, while Nasdaq stocks and NVIDIA delivered strong gains. Compare what happened to a $10,000 investment and explore why asset fundamentals matter more than market hype.
Morning Report | Vitalik outlines Ethereum's long-term roadmap, Lean Ethereum will become the third major iteration; SK Hynix seeks to attract more AI investors by listing in the U.S
July 5 Market Important Events Overview
The impact of OUSD on Circle, Tether, and Paxos: not a single negative factor, but a more complex reshaping of competition
OUSD will not be the last new competitor; Circle needs to respond more actively in terms of products, distribution, and ecosystem collaboration.
Li Feifei's latest long article: When video generation, robots, and NVIDIA all claim to be world models, we need a taxonomy
Language gives machines a way to talk about the world. The world model is the means by which machines ultimately understand, imagine, reason, and interact with it.
Blaming the desolation of the cryptocurrency world on the rise of AI is a form of intellectual laziness
The emergence of giants signifies a mature business model. Although it will reduce speculative space, there is also enough room for error, allowing for the continuous emergence of new forces.
Strategy Founder: The Next 10 Years of Bitcoin
In the next decade, the biggest evolution of Bitcoin is precisely "responding to change with invariance." The four-year cycle is giving way to capital flows such as ETFs, corporate and sovereign reserves, and bank credit, while digital credit and digital currency will grow layer upon layer on top of...
Forbes Special Report: Stablecoin cross-border payments are faster now, but not cheaper yet
Cross-border payments using stablecoins are rapidly expanding, bringing speed and accessibility, but due to insufficient institutional liquidity, they have not yet delivered on their promised cost savings. The technology has been validated, and regulations are improving, but the industry has not yet...
A valuation of 8 billion dollars, doubling in 8 months! What makes the crypto-friendly bank Erebor Bank stand out?
Erebor is a high-profile experiment taking place at the intersection of banking, cryptocurrency, and industrial policy.
340 billion valuation: Li Yanhong's largest IPO, a seat in Kunlunxin's shares is hard to come by
As a core asset in Baidu's AI landscape, Kunlun Chip is expected to exceed Baidu's market value after going public, becoming an important bargaining chip in its turnaround battle.
Stablecoins are the "royalists" of the crypto world: Open USD brings the old currency system into play
The emergence of Open USD has shifted the competition for stablecoins from the market struggle of crypto startups to a battle for infrastructure involving traditional finance, payment networks, technology platforms, and public chain ecosystems.
The ten years of Cloud on the Air: From corner coffee to global financial infrastructure
How did a remittance company grow into a financial infrastructure that can replace SWIFT; when it really reaches this scale, how should stablecoins be positioned for it; and what can AI integrate into this infrastructure?
From ByteDance to Financial Freedom: How did "Byte Brother" Leto develop his investment judgment skills to achieve a turnaround of 30 million?
Speak with data and signals, validate judgments with A/B tests, and seek asymmetric returns with limited risk exposure.
OUSD False Cooperation Controversy? The Credit Game of Stablecoins and Endorsements by Giants
The success of stablecoins does not rely on rallying a group of alliance members for marketing, but rather on whether they have real use cases and genuine users.
Trump, the best stock trader among U.S. presidents
Trump has almost turned the presidency into a business and maximized the conversion of presidential influence into commercial profits.
Q-Day Countdown: Will Quantum Computing End Cryptocurrency?
In the face of dormant coins being plundered by quantum computing power, should we firmly uphold the unalterable bottom line of "code is law," or should we enforce a soft fork to freeze legacy assets?
Selling coins despite a loss of 55 million dollars, the faith in Strategy has reached the interest payment date
The moment faith was securitized, Bitcoin became a bill.
Customer Support:@weikecs
Business Cooperation:@weikecs
Quant Trading & MM:bd@weex.com
VIP Program:support@weex.com
