Space and Time發布亞秒級ZK證明器並开源

2024-06-14 00:06:10

作為 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 之間進行數據驗證的項目提供服務。