作為 AI 與區塊鏈的可驗證計算層，Space and Time（SxT）今天在 GitHub 上釋出了 SQL 證明器，這是一款用於處理資料的高效能 ZK 證明器。

SQL 證明器是 SxT 開發的一種新型 ZK 證明器，它透過密碼學保證 SQL 資料庫查詢在未被篡改的資料上準確計算。使用 SQL 證明器，開發者可以在無需信任的情況下對鏈上和鏈下資料集進行計算，並在交易過程中將結果及時證明給智慧合約，以支援更復雜的基於資料的 DeFi 協議。

SxT 聯合創始人兼研究主管、SQL 證明器協議的發明者 Jay White 博士表示：“Space and Time 很高興能夠帶領 Web3 進入資料驅動的智慧合約和下一代 DeFi 的新時代。“我們的團隊開創了亞秒級 ZK 證明器，以便智慧合約和 AI 代理可以詢問有關鏈活動以及鏈下資料的問題，並在交易期間在鏈上接收無需信任的 SQL 查詢結果，而無需等待 30 分鐘的證明時間。”

SQL 證明器已於 8 月以 alpha 版本釋出給一組選定的 SxT 客戶。隨著今天在 GitHub 上的釋出，該協議現在向公眾開放。社羣成員可以在 Space and Time Studio 上的 SxT 上執行無需信任的查詢，開發人員可以直接從 GitHub 下載儲存庫。

SQL 證明器是首個執行時間在亞秒級的 ZK 證明器。在 SxT 密碼學團隊最新的基準測試中，該協議可以在單個 GPU 上在不到一秒的時間內執行超過 10 萬行表的分析查詢，並且可以在單個 NVIDIA T 4 上在以太坊區塊時間內聚合超過數百萬行的索引資料。

與通用的 zkVM 和協處理器相比，SQL 證明器為處理大量資料提供了效能更高的架構。雖然通用 zkVM 為任意計算提供了可擴充套件的解決方案，但數據處理證明速度很慢。

SQL 證明器可以與這些 zkVM 整合，以提供可驗證的源資料，從而可以執行任意程式碼。Space and Time 鼓勵並邀請社羣成員以及其他 ZKP 工程團隊在 repo 中進行合作。證明器可以整合到任何 SQL 資料庫（如 Google BigQuery）中，無論是集中式還是去中心化的，並且已經在一些著名的Web3應用、金融機構和企業中得到應用。

關於 Space and Time

Space and Time 是 AI 與區塊鏈的可驗證計算層，將不可篡改的鏈上和鏈下資料結合起來，為智慧合約和 LLM（大型語言模型）提供企業級應用場景。Space and Time 開發了一種名為 SQL 證明器的新型密碼學，允許開發者將分析結果直接連線到智慧合約，從而在區塊鏈技術上開啟大量強大的新應用場景和業務邏輯。Space and Time 從頭開始構建，作為一個多鏈資料平臺，為金融服務、遊戲、DeFi 或任何需要在企業、區塊鏈和 AI 之間進行資料驗證的專案提供服務。

更多資訊，請訪問： Website | Twitter | Discord | Telegram | LinkedIn | YouTube