Space and Time 發布亞秒 ZK 驗證器 SQL 並開源

Space and Time (SxT) 是人工智慧和區塊鏈的可驗證運算層，今天在 GitHub 上發布了 SQL Prover，這是一種用於處理資料的高效能 ZK 證明器。

SQL Prover是SxT開發的一種新型ZK Prover，它使用密碼學來確保SQL資料庫查詢在未被竄改的資料上準確計算。使用SQL Prover，開發者可以無需信任地計算鏈上和鏈下資料集，並在交易過程中及時向智能合約證明結果，以支援更複雜的基於資料的DeFi協定。

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

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

SQL 證明器是第一個在亞秒級時間內運作的 ZK 證明器。在SxT Cryptography 團隊最近的基準測試中，該協議可以在單一GPU 上不到一秒的時間內對超過100,000 行的表執行分析查詢，並且可以在單一NVIDIA T4 上在以太坊區塊時間內聚合超過數百萬行的索引資料。

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

SQL 證明器可以與這些 zkVM 整合以提供可驗證的來源數據，從而允許執行任意程式碼。 Space and Time 鼓勵並邀請社群成員和其他 ZKP 工程團隊在儲存庫中進行協作。該證明器可以整合到任何SQL資料庫（例如Google BigQuery）中，無論是集中式還是分散式，並已在一些知名的Web3應用程式、金融機構和企業中使用。

關於空間和時間

Space and Time 是人工智慧和區塊鏈的可驗證計算層，結合了不可變的鏈上和鏈下數據，為智慧合約和 LLM（大型語言模型）提供企業級用例。 Space and Time 開發了一種名為 SQL Provers 的新型密碼學，允許開發人員將分析直接連接到智慧合約，從而在區塊鏈技術上開闢了許多強大的新用例和業務邏輯。 Space and Time 是從頭開始建立的多鏈數據平台，適用於金融服務、遊戲、DeFi 或任何需要企業、區塊鏈和人工智慧之間進行數據驗證的項目。

欲了解更多信息，請訪問： 網站 | 推特 | Discord | 電報 | 領英 | Youtube

本文源自網路：時空發布亞秒ZK Prover SQL並開源

相關：UniSat拒絕PUA並免費提供用戶$500披薩銘文

原創| Odaily 星球日報 作者 |如何 今天早上，UniSat 正式分發披薩銘文。二級市場單一披薩價格一度上漲500USDT以上，直接帶動銘文市場整體上漲。披薩銘文為歷史悠久的比特幣生態系統注入了新的活力。該披薩銘文先前由 UniSat 為紀念第 14 屆比特幣披薩節而推出，並免費空投給平台用戶。與先前公開鑄造銘文不同的是，使用者無需花費任何額外費用即可領取。而且，與其他因各種原因沒有發幣的知名項目相比，UniSat空投規則就像是免費贈送一樣，導致賺錢社群集體崩潰。他們認為…