In the ever-expanding digital universe, data integrity and security are paramount. As we venture deeper into the era of Web3 and decentralized applications (dApps), the need for innovative solutions that ensure data is processed and stored securely becomes more critical. Space and Time, a trailblazer in the blockchain and database technology space, has introduced a groundbreaking solution: the Proof of SQL ZK coprocessor. This blog post will explore the intricacies of this technology, its potential to redefine data management, and the implications for the future of Web3.

The Problem with Traditional Smart Contracts

Smart contracts have revolutionized the way we conduct transactions and execute business logic on blockchains. However, they face limitations when it comes to accessing and processing complex data sets. Traditional smart contracts can only interact with data within the same blockchain and are restricted in their ability to process large volumes of information. This limitation hinders the development of more sophisticated dApps that require advanced data processing capabilities.

Enter the Proof of SQL ZK Coprocessor

Space and Time's Proof of SQL is a novel protocol that combines the power of SQL with the security of zero-knowledge (ZK) proofs. This coprocessor allows smart contracts to execute SQL queries on encrypted data, ensuring data privacy while providing verifiable results. The ZK coprocessor acts as a bridge between the blockchain and traditional databases, enabling smart contracts to access and process data from various sources securely and efficiently.

Key Features of the Proof of SQL ZK Coprocessor

1. Enhanced Security: By leveraging ZK proofs, the coprocessor ensures that data remains encrypted during processing, reducing the risk of data breaches.

2. Privacy Preservation: Zero-knowledge proofs allow for data validation without revealing the actual data, maintaining user privacy.

3. Scalability: Designed to handle complex queries and large datasets, the coprocessor supports the growing needs of dApps.

4. Interoperability: Compatible with SQL databases, the coprocessor integrates seamlessly with existing systems.

5. Decentralization: By operating on a decentralized network, the coprocessor aligns with the core principles of Web3.

How It Works

The Proof of SQL ZK coprocessor operates by processing SQL queries on encrypted data and generating a ZK proof to verify the results. This proof can be validated by smart contracts, ensuring that the data processing is accurate and untampered. The coprocessor can handle a wide range of queries, from simple selections to complex aggregations and joins, making it a versatile tool for dApp developers.

Use Cases

The Proof of SQL ZK coprocessor opens up a world of possibilities for dApp development. Some potential use cases include:

• Decentralized Finance (DeFi): Develop more sophisticated financial instruments that rely on complex data processing.

• Cross-Chain Communication: Facilitate communication and data sharing between different blockchains.

• Data-Driven dApps: Create dApps that can process large volumes of data for analytics, reporting, and decision-making.

• Secure Data Storage: Store sensitive data off-chain while maintaining the ability to verify its integrity on-chain.

The Future of Web3

The introduction of the Proof of SQL ZK coprocessor by Space and Time signifies a major leap forward in the evolution of Web3. As we move towards a more data-centric world, the need for secure, private, and efficient data management solutions is paramount. The ZK coprocessor promises to deliver on these fronts, offering a future where data can be utilized to its full potential without compromising on security or privacy.

Conclusion

The Proof of SQL ZK coprocessor is a testament to the innovation happening at the intersection of blockchain and traditional databases. It represents a paradigm shift in how we think about data processing, offering a secure and private way to handle data that was previously unimaginable. As we continue to explore the possibilities of this technology, the future of Web3 looks brighter and more secure than ever.

For more in-depth information and technical insights, I highly recommend visiting the whitepaper at https://spaceandtime.io/whitepaper, and the official website:

https://spaceandtime.io

It provides a comprehensive overview of Space and Time and its potential impact on the world of data management.

互動式資料模型瀏覽器

要開始探索資料模型，請前往互動式資料模型瀏覽器（下方連結到特定的鏈），然後按一下頂部功能表中的「資料集」。從那裡，您可以點擊不同的區塊鏈資料模型、您自己的資料集或社群共享資料。

若要在模型中搜尋資料元素，請使用瀏覽器左上角的「搜尋」欄：

區塊鏈數據模型

以下連結將直接帶您到不同的區塊鏈資料模型頁面：

• 比特幣

• 以太坊

• zkSync

• Polygon

• Sui

• Aptos

• Sei

即將推出：

• Avalanche

• BNB Chain

• Base

• Arbitrum

• Optimism

那麼鏈下數據呢？

您也可以將自己的鏈下資料載入到 Space and Time 中。這使您可以將應用程式生成的數據與區塊鏈數據結合起來，並透過單一查詢為您的遊戲生成 DeFi 選項或動態 NFT。

Source：

https://docs.spaceandtime.io/docs/blockchain-data-models

在 2022 年之前，如果你想在沒有作品本身的情況下快速回憶起你最喜歡的書中的特定段落或你剛剛看過的電影中的台詞，你可能會轉向搜尋引擎。您可以使用精心設計的搜尋輸入來提示它，解析返回的結果，訪問似乎包含您的答案的 SparkNotes 或 IMDB 鏈接，並在幾分鐘內在頁面上找到您要查找的文本。現在，您只需打開 ChatGPT，輸入「最著名的《終結者》名言是什麼？」 或「寫出《兩個城市的故事》的開頭段落」並在幾秒鐘內得到你的逐字回答。

大型語言模型 (LLM) 最簡單的用途之一是作為知識資料庫。 LLMs 接受過包含豐富資訊的大量資料集的培訓，像 ChatGPT 這樣的介面使得檢索變得容易。例如，當您提示 ChatGPT 返回電影或書籍中的內容時，您只是利用模型的能力來回憶其在訓練期間接觸到的信息。但是，如果它沒有接受《魔鬼終結者》劇本的訓練，或者它的權重不重視狄更斯的作品，該怎麼辦？為了即使是最簡單的用例（例如基本資訊檢索）也能提供最準確和相關的結果，LLMs 需要複雜的索引和檢索機制，能夠精確地存取廣泛的資訊。

了解 LLMs 內容生成和訓練

LLM 內容是透過稱為下一個令牌預測的過程產生的，該過程可確保回應上下文適當、多樣化，並在一定程度上反映了類似人類的理解。以下是下一個令牌預測的工作原理，一步一步：

輸入處理：當您鍵入提示或問題時，該輸入將轉換為標記：單字或單字片段。

上下文理解：模型會查看您給它的標記，並根據其訓練嘗試理解上下文，其中包括從當前主題到您可能使用的語氣的所有內容。

下一個標記預測：使用它所理解的上下文，模型然後預測最有可能的下一個標記是什麼。這不僅僅是根據前一個單字進行猜測；而是根據前一個單字進行猜測。它正在考慮到目前為止對話的整個背景。

令牌選擇：一旦預測了一系列可能的下一個令牌，它就會選擇一個。這種選擇是基於機率—根據模型訓練的數據，最有可能出現的標記。然而，值得注意的是，這裡也存在一些隨機性，這有助於產生更多樣化和聽起來更自然的反應。

輸出產生：然後將選定的標記轉換回人類可讀的文字。如果回應不完整（通常不是僅在一個令牌之後），則該過程會重複。新的標記被加入到序列中，模型根據更新的上下文預測下一個標記。

迭代細化：重複預測下一個標記並將其添加到序列中的過程，直到模型到達停止點。這可能是當反應達到一定長度時，模型預測一個表示句子或段落結束的標記，或當它滿足提示中嵌入的指令時。

LLM 訓練中壓縮的局限性

當 LLM 預測令牌時，它會有效地檢索並利用嵌入其權重中的壓縮知識來產生上下文適當的輸出。透過這種方式，LLM 培訓反映了資料庫壓縮。正如資料庫經過最佳化以快速調用經常存取的資料一樣，LLMs 旨在從其權重中檢索資訊（特定的插值記憶）。這種功能使其能夠對訓練期間遇到的熟悉材料的查詢產生精確的響應，就像在資料庫中查詢索引良好的資訊一樣。然而，當模型遇到不太熟悉或模糊的內容時，就會出現限制。

例如，當你向LLMs 詢問《聖經》中的特定段落時，它會逐字引用它們，但它不能逐字引用任何它在訓練期間沒有多餘“見證”的概念，因為與該概念相關的權重太高了。從這個意義上來說，LLMs 也類似於資料庫。正如資料庫可能只傳回已明確儲存在其中的資料一樣，LLMs 可能很難產生其在訓練期間未廣泛見過的主題的內容。

當然，LLMs 超出了這個類比的範圍，因為他們內部有一個世界模型，使他們能夠「理解」純粹不僅僅是查找之外的事物。然而，這種過度簡化有助於我們理解 LLMs 訓練產生內容的方式的一些關鍵限制。

LLM 訓練的進一步限制

此外，下一個令牌預測系統還具有其他固有的局限性，這些局限性源於其生成文本的基本方法：

上下文視窗大小：主要限制之一是模型的上下文視窗大小 - 模型在進行預測時可以考慮的最大文字量（以標記為單位）。對於許多模型（包括早期版本的GPT）來說，此視窗不夠大，無法維護較長對話或文件的上下文，這可能會導致較長文本或複雜討論失去連貫性，而這些文本或複雜討論需要維護超出前一個標記的上下文。

泛化與特異性：雖然這些模型是在大量資料集上進行訓練的，但它們從訓練中泛化的能力有時會導致它們產生通用或模糊相關的內容。他們可能無法產生高度具體或細緻入微的回應，這些回應需要詳細的理解或訓練資料以外的最新知識。

缺乏外部知識存取：下一個令牌預測模型僅限於其訓練資料集中包含的資訊。他們無法在培訓後存取或整合新訊息，這意味著它們可能很快就會過時或缺乏當前背景，例如最近的事件、發現或熱門話題。

重複性和可預測性：下一個標記預測的演算法性質有時會導致重複或可預測的文字生成。由於該模型通常傾向於在給定上下文的情況下在統計上更有可能遵循的標記，因此它可能會陷入循環或喜歡常見短語，從而減少輸出的可變性。

檢索增強生成 (RAG) 解釋

如上所述，LLMs 根據訓練期間分配給資料不同方面的權重產生回應。這些權重反映了模型感知輸入資料的各種元素的重要性或重要性。如果使用者的提示包含訓練資料中未顯著表示的元素，則模型可能無法產生準確或相關的回應。

當對話超出LLM 的上下文視窗時，或者當提示超出LLM 自己的訓練資料集中的重要權重限制時（意味著它無法準確回憶起用戶正在尋找的答案），該模型通常依賴外部向量搜尋資料庫，這使得它能夠搜尋可以附加到使用者提示中的相關上下文或新資料。此過程稱為檢索增強生成 (RAG)。

“向量搜尋成功”

RAG 過程是透過向量搜尋資料庫實現的：向量搜尋資料庫是一種以向量形式儲存和管理資料的高級資料庫。這些向量表示高維空間中的數據，其中每個維度捕獲數據含義的某些方面，從而允許表示複雜的關係和屬性。在文字和語言的背景下，向量搜尋資料庫使用嵌入等技術將文字轉換為數值向量。這種轉換使系統能夠透過計算多維空間中不同文字片段對應向量之間的距離來測量不同文字片段之間的語義相似性。

在 RAG 期間，查詢（即使用者對 LLM 的輸入）和儲存的資料（例如文章、文件或句子）都使用文字嵌入轉換為向量。這些嵌入將文字資料轉換為數值向量，其中相似的含義被映射到向量空間中的鄰近點。然後，資料庫計算查詢向量與儲存資料向量之間的距離，以確定文字意義的相關程度。資料庫檢索向量最接近查詢向量的資料點（文字內容），即語意上與輸入最相似的資料點。這些數據點在上下文和含義方面被認為是「最近的鄰居」。

這些最近的鄰居為 LLMs 在其自己的訓練資料中可能無法存取的上下文相關的附加資訊提供了基礎，這可以顯著提高 LLMs 輸出的準確性、相關性、豐富性和多樣性。 Sam Altman 等人提倡「向量搜尋成功」方法，即依靠 RAG 來開發代理，而不是單獨進行模型微調。

RAG 作為微調的替代方案

微調 LLMs 涉及根據特定資料集的額外訓練來調整模型的權重，以提高特定任務的效能或增進對某些領域的理解。這個過程不僅慢於創新的速度，這意味著經過微調的模型幾乎和更新一樣快地過時，而且它也沒有解決新數據的問題。

相比之下，RAG 使模型能夠即時存取外部資料庫，以檢索與當前查詢相關的最新資訊。即使底層模型最近沒有更新或微調，它仍然可以產生包含最新資料的回應。模型可以更長時間地保持相關性，因為它們可以適應新的資料和變化，透過檢索外部資訊來源來了解上下文。

解決 LLMs 的進一步限制

除了微調之外，RAG 還解決了先前提到的與標準 LLMs 相關的挑戰：

擴展上下文理解：RAG 透過獲取增強模型響應的最新或詳細資訊來擴展傳統 LLMs 的上下文視窗。

提高特異性和準確性：RAG 允許模型將檢索到的文件中的特定詳細資訊注入到其回應中，而不是僅依賴訓練期間學習的模式，從而使它們不僅更加準確，而且可以針對當前的特定查詢進行自訂。

減少重複性和可預測性：透過為每個查詢動態提取不同的資訊集，RAG 可以顯著改變模型的回應。這種可變性有助於減少純生成模型中常見的重複性和可預測性，因為外部資料在對話中引入了新的措詞和細節。

RAG 的挑戰與必要的演變

然而，RAG 也有其自身的挑戰，即延遲和缺乏智慧。考慮一個基於回合的代理聊天機器人對話，其中用戶提交提示，LLM 吐出一些標記表明它需要更多上下文，向量搜尋資料庫透過用戶的輸入提示檢索最近鄰居上下文，然後最終發送兩者再次向LLM進行推理。然後，輪到用戶回复，等等。

在此系統中，每個使用者提示都會啟動一個多步驟操作，其中每個步驟都會增加總處理時間。整個過程的速度也取決於向量搜尋資料庫檢索必要上下文的速度。如果資料庫查詢很複雜或資料庫本身很大且沒有最佳索引，則此檢索可能會導致嚴重的延遲。此外，特別是在更複雜的對話中，這種生成和檢索的順序可能需要重複多次才能充分細化回應。這種迭代循環會增加延遲，導致互動速度比僅依賴內部資料的純生成模型慢。

此外，富含 RAG 的 LLMs 的智力在很大程度上取決於從向量搜尋資料庫檢索到的資訊的品質和相關性。如果資料庫內容不全面、不最新或維護良好，則檢索到的資訊的效用可能會受到限制，從而影響回應的整體智慧。

即使檢索到高品質的外部數據，挑戰仍然在於如何有效地將這些資訊整合到 LLMs 現有的回應框架中。該模型不僅必須包含這些外部數據，而且必須以適合上下文且連貫的方式進行。模型的訓練與外部資料的性質之間的不一致可能會導致技術上準確但情境脫節的反應。

下一代 LLMs

新一代 LLMs 可能會將基於向量搜尋的 RAG 和傳統的訓練/微調方法以及結構化資料處理（例如 TradFi 市場資料和相關金融新聞的 SQL 資料庫）混合在一起。 「這裡」有一個 LLMs 提供者，「那裡」有一個單獨的向量搜尋資料庫的概念將透過新模型進行整理，該模型直觀地將其索引工作記憶體擴展到具有 TB 向量化上下文的本地 SSD。

Space and Time 已經向客戶提供了Proof of SQL（一種ZK 證明，用於驗證SQL 資料庫處理的準確性和防篡改性），並且最近還提供了Proof of Vector Search（向量搜尋檢索），它對向量搜尋檢索具有相同的作用。這些新穎的證明為未來開闢了道路， LLMs 可以整合新的背景，即時存取更廣泛、更細緻的資料範圍，並整合結構化資料處理以產生更有洞察力的分析，所有這些都以可追蹤、可驗證的方式進行。這些進步最終將擴大 LLMs 的應用範圍，擴大其在金融服務、新聞聚合和風險評估等嚴重依賴最新數據的領域的效用，從而推動下一波創新驅動的人工智慧浪潮。

https://www.spaceandtime.io/blog/vector-search-to-success

當談到人工智慧時，品牌信任已經不夠了。 利用 LLM 的企業需要能夠為消費者、訴訟律師、立法者和利害關係人提供以下問題的答案：

🟣 使用哪些資料集來訓練/微調 LLM ？ 這些資料集是否包含任何受版權保護的內容或受保護的智慧財產權？

🟣 在訓練之前（或在填充要在提示中檢索的向量搜尋資料庫之前）是否刪除了敏感資料？

🟣 是否使用正確的 LLM 二進位檔案和權重處理使用者請求？ 當使用第三方託管的 LLM 服務時，您能相信第三方沒有操縱回應嗎？

🟣 是否有任何敏感 IP 因 RAG 流程而意外傳送到第三方 LLM 服務？

🟣 我們如何制定管理流程來管理和批准使用企業資料集的程式碼庫或人工智慧代理流程中的提示？

🟣 我們如何證明某一內容對於組織來源來說是真實的並驗證其來源？

在這篇 SxT 部落格中，Space and Time 共同創辦人兼技術長 @chiefbuidl 介紹了提供端到端可驗證的 LLM 系統的過程和挑戰：從防篡改和淨化的訓練資料集開始，然後最終證明正確的模型使用和水印產生的內容。

當實現後，可驗證的法學碩士將提供更好的… ‍

✅ 值得信賴 ✅ 準確性和可靠性 ✅ 定制 ✅ 內容真實性

Space and Time 專注於將可驗證性引入到這個過程中的幾個關鍵步驟中，使用 ZK 和區塊鏈技術來加密證明用於 LLM 訓練、微調和 RAG 的資料。

在這裡閱讀部落格文章：

https://t.co/62fLwv7Evt

Source：

https://twitter.com/SpaceandTimeDB/status/1772645983400202351?s=20

首先，请加入我们的 Discord 服务器。

关于 Space and Time Community 积分

Space and Time 社区积分系统的核心不仅仅是奖励参与； 这是关于围绕我们的技术和生态系统建立一个充满活力的互动社区。 通过参加时空的各种活动和参与，会员可以获得象征其贡献和参与的积分。

社区积分被概念化为我们生态系统中参与的标记，并不具有现实价值。 需要注意的是，Space and Time 目前没有令牌。 对任何有关 SxT 代币的索赔保持警惕，并保护自己免受潜在的诈骗。 如果您不确定互动是否正式且安全，请联系主持人或团队成员。

另请注意，社区积分尚处于测试阶段，系统的结构可能会随着时间的推移而发生变化。 随着社区成员解锁新关卡，我们将不断添加新的任务和奖励。 敬请关注！

如何参与

通过积极参与我们的社区，您将在 Zealy 上积累积分。 有些任务专门针对开发人员和分析师，而其他任务则旨在促进普遍的社区参与。 您可能会看到的一些任务示例包括：

• 在 Space and Time Studio 上构建公共仪表板

• 在 SxT 上构建演示应用程序

• 将 SxT 博客翻译成另一种语言

• 创建有关 SxT 的信息图

参与奖励

虽然社区积分没有现实价值，但它们可以作为社区内参与度和贡献的衡量标准。 根据我们增强社区参与度的承诺，我们将定期宣布与积分系统相关的各种奖励。 这些奖励可能包括独家参与活动、社区内的特殊地位或其他福利。

给早期支持者的特别说明

如果您是 SxT 社区的一员，您可能已经通过测验和小任务在 Zealy 上获得了一些积分。 对于一直与我们一起并通过 Zealy 积极参与的敬业社区成员来说，你们的努力并没有被忽视。 您之前获得的积分仍然有效，并将在我们的新系统中兑现。 这是我们表达感谢并承认您的贡献的方式。 您的早期支持仍然是我们社区成功的基石。

准备启动

我们邀请你们每一个人积极参与这一旅程。 无论您是新成员还是从一开始就加入我们，您的参与将塑造时空社区。 加入我们，开启令人兴奋的 Space and Time 新篇章！

还有其他问题吗？ 我们有答案！

我已经通过之前的活动在 SxT Zealy 上积累了一些积分。 这些积分会转移吗？

是的，您通过 Zealy 上的 SxT 活动获得的任何积分都将转入新系统。 这种无缝过渡意味着早期支持者已经开始根据之前积累的积分兑换奖励。

社区积分可以在会员之间转移吗？

不，社区积分对于每个成员的贡献和努力都是独一无二的。 因此，它们不能在会员之间转让，从而确保奖励是单独赚取和兑换的。

是否有参与限制或赚取积分上限？

SxT 不打算对您可以获得的积分设置任何上限。 您可以获得 Zealy 平台支持的尽可能多的积分。 随着社区成员解锁新级别，我们将定期添加奖励。

是否有杰出贡献者排行榜？

您可以在 Zealy 上查看实时排行榜。

Space and Time 将如何解决潜在的游戏或积分系统的利用问题？

我们与 Zealy 密切合作，实施严格的措施来防止机器人和剥削。 我们的 Discord 服务器还采取了强有力的措施来维护积分系统的完整性。

社区是否有机会就任务和奖励提出意见或建议？

我们高度重视社区的投入！ 请随意在我们的 Discord 中分享您对任务和奖励的想法。

会员可以开始赚取积分是否有具体的开始日期？

更新后的积分系统现已上线！ 您可以通过参加社区活动立即开始赚取积分。

积分系统内是否有不同的等级？

是的，这些都在 Zealy 中显示。 解锁新关卡是获得奖励的关键。 随着新奖励的添加，我们将在 Discord 中列出这些奖励。

如何用积分兑换已公布的奖励？

有些奖励将自动兑换，其他奖励则必须由 SxT 团队手动分配。 不管怎样，你所要做的就是赚钱！ 您的积分、已完成的任务和当前等级都会在 Zealy 中进行追踪。 当新奖励公布时，我们将提供有关奖励流程的更多信息。

还有其他问题吗？

如果您有任何其他问题，您可以随时在 Discord 上联系我们！

原文出处：

https://www.spaceandtime.io/blog/introducing-space-and-time-community-points

1. 导航到 Space and Time Studio，然后单击右上角的“登录”按钮。

2. 使用您的钱包登录，或单击“注册”按钮并输入您的首选用户名和密码。 单击“创建帐户”按钮。

3. 单击右上角的“我的帐户”按钮。 在弹出窗口中，单击“权限和饼干”。 从顶部部分创建您的 API 密钥。

4. 使用您的 API 密钥和 SQL 请求调用代理 SQL 执行 API。

Last week, Matt Haney, the California Assembly’s Democrat member for San Francisco, submitted a bill to create a business category for DAOs. The bill limits DAO members’ obligations and liability for matters related to its operations. Administrators and agents could still be held accountable under certain circumstances, such as taking responsibility for an obligation in writing, receiving a benefit from a contract, or executing a contract without the DAO’s approval. Interestingly, the bill would also amend California’s corporations code to add ‘decentralized nonprofit associations’ (DNPAs), taking inspiration from the work of Miles Jennings and the a16z legal team. This would be a massive development for the development and legitimacy of DAOs in the US.

MANGA Trading Competition

Manga competition will reward users with tiered Manga NFTs. Users must generate a minimum trading volume on Odos (app.odos.xyz) in order to mint 1, 2, 3 or 4 NFTs. Trading volume is chain-specific, meaning that only trading volume on one chain, Arbitrum, for example, will be counted for an Arbitrum NFT (activity on multiple chains will not be counted as cumulative volume).

A new MILLION GAME begins.

Huge money for me, keep going on WEB3!