作為 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