作爲 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 是 AI 與區塊鏈的可驗證計算層,將不可篡改的鏈上和鏈下數據結合起來,爲智能合約和 LLM(大型語言模型)提供企業級應用場景。Space and Time 開發了一種名爲 SQL 證明器的新型密碼學,允許開發者將分析結果直接連接到智能合約,從而在區塊鏈技術上開啓大量強大的新應用場景和業務邏輯。Space and Time 從頭開始構建,作爲一個多鏈數據平臺,爲金融服務、遊戲、DeFi 或任何需要在企業、區塊鏈和 AI 之間進行數據驗證的項目提供服務。
更多信息,請訪問: Website | Twitter | Discord | Telegram | LinkedIn | YouTube