Coinspeaker Space and Time 引入 SQL Prover 系統的證明

總部位於加州的加密初創公司 Space and Time (SXT) 發佈了其亞秒級零知識 (ZK) 證明器堆棧，名爲 Proof of SQL。用於 AI 和區塊鏈的可驗證計算層旨在授予其用戶訪問 GitHub 上此高性能零知識證明器的權限。可以在任何 SQL 數據庫（如 Google BigQuery）上集成該證明器。此類數據庫可以是集中式的，也可以是分散式的。

到目前爲止，Space and Time 已經獲得了一些最著名的 Web 3.0 DApp、金融機構和企業的青睞。值得注意的是，證明系統最初於 2023 年 8 月在 alpha 版本中向一些 SxT 客戶端推出，但最新的 GitHub 版本已將其向公衆開放。

SQL 證明的唯一性

SQL 證明是一種新穎的 ZK 證明，它以加密方式保證針對未篡改的數據準確計算 SQL 數據庫查詢。ZK 模型的一個關鍵複雜性在於，它們允許開發人員或用戶確認數據或交易的有效性或真實性，而無需泄露機密信息。

它爲開發人員提供了以無需信任的方式計算鏈上和鏈下數據集的機會。然後在交易過程中及時將結果證明給他們的智能合約，從而通過數據驅動的智能合約爲更復雜的去中心化金融 (DeFi) 協議提供支持。

SxT 聯合創始人兼研究主管 Jay White 博士也是 SQL 證明協議的發明者，他表示：

“Space and Time 很高興帶領 Web3 進入數據驅動智能合約的新時代和下一代 DeFi。”

“我們的團隊率先推出了亞秒級 ZK 證明，以便智能合約和 AI 代理可以詢問有關鏈活動以及鏈下數據的問題，並在交易期間在鏈上接收無需信任的 SQL 查詢結果，而無需等待 30 分鐘的證明時間，”他補充道。

SQL 證明和對關鍵前景和能力的洞察

通過 SQL 證明，社區成員可以在 Space and Time Studio 上對 SxT 執行無需信任的查詢。

此外，開發人員可以直接從 GitHub 下載存儲庫。SQL 能夠在不到 1 秒的時間內使用單個 GPU 對 10 萬行表執行分析查詢，這一點得到了證實。此外，它還能夠在單個 NVIDIA T4 上在以太坊區塊時間內聚合數百萬行索引數據。

SQL 證明協議的架構設計比通用 zkVM 和協處理器更有利於處理更大量的數據。

衆所周知，通用 zkVM 可以爲任意計算提供可擴展的解決方案，然而，數據處理在系統上的驗證速度很慢。將這些 zkVM 與 SQL 證明相結合帶來了新的希望，提供了可驗證的源數據，可以在其上執行任意代碼。

Space and Time 已向社區成員敞開了貢獻之門。它還鼓勵 ZKP 工程團隊在 repo 中進行協作。

下一個

空間與時間引入 SQL Prover 系統的證明