關鍵要點
ZKThreads 是一個框架，可以使用零知識證明 (ZKP) 增強去中心化應用程序 (DApps) 的性能和可擴展性。
ZKThreads 可以通過改善用戶體驗、降低交易成本和增強安全性來提供益處。
ZKThreads 可用於各種應用程序，例如去中心化交易所 (DEX)、基於會話的遊戲、zk 安全中間件和鏈上 AI 系統。
介紹
安全性、可組合性和互操作性是去中心化應用程序 (DApps) 高效運行的關鍵，但往往很難平衡。ZKThreads 爲這一難題提出了一個潛在的解決方案。在本文中，我們將探討什麼是 ZKThreads、它們的工作原理、它們與其他 zk 解決方案的區別以及它們的一些優點和用例。
什麼是 ZKThreads？
ZKThreads 是一個零知識框架，可增強 DApp 的性能和可擴展性。它們利用 Starknet 的功能創建標準化環境，用於在區塊鏈上開發和運行可互操作的應用程序。
ZKThreads 如何工作？
1. 應用邏輯部署
該流程從將應用程序邏輯部署到 ZKThreads 的應用程序合約開始。這些合約本質上是管理應用程序如何運行的規則和程序。
2. 批量交易
ZKThreads 不會單獨處理每個事務，而是將多個事務分組爲一個批次。這使得處理大量事務更加高效。
3. 創建證明
然後，創建一個稱爲 STARK 證明的加密證明，以確保批次中的所有交易都是有效的並且已根據合約規則進行處理。
4. 驗證
接下來，STARK 證明被髮送到第 2 層排序器，在那裏根據 DApp 的規範記錄進行驗證。規範記錄是指應用程序的驗證和接受狀態。
Starknet 上的合約 ZKThread Verifier 會檢查證明以確保其準確性。它會檢查是否存在雙重支付，確保所有交易都經過授權，並控制最終狀態是否符合區塊鏈規則。
如果證明有效，ZKThread 驗證器將更新 DApp 的規範狀態記錄。如果證明無效，則拒絕更改，從而確保應用程序的完整性。
ZKThreads 與其他 ZK 解決方案的比較
數據處理
ZKThreads 旨在將狀態和交易數據存儲在鏈下，同時利用零知識證明（ZKP）來驗證交易。這與許多傳統的零知識彙總（zk-rollups）不同，後者將計算移到鏈下但仍將交易數據存儲在鏈上。
通過將所有數據保留在鏈下，ZKThreads 可以顯著減少主區塊鏈上的數據負載，從而提高可擴展性並降低成本。相反，像 zkSync 這樣的 zk-rollups 會定期在鏈上發佈批量交易數據，確保基礎層處理數據可用性。
互操作性
ZKThreads 優先考慮可互操作的應用程序，減少碎片化並確保不同的 DApp 可以在同一生態系統內無縫交互。相比之下，zkEVM 等其他解決方案更注重兼容性。
驗證機制
ZKThreads 中的驗證過程涉及創建 STARK 證明，以驗證批量交易和狀態更改的正確性。然後根據 DApp 的規範狀態驗證這些證明。相比之下，一些 zk-rollup（如 zkSync）使用 zk-SNARK 或 zk-STARK 來創建在鏈上驗證的加密證明。
ZKThreads 的優勢
改善用戶體驗
ZKThreads 允許不同 DApp 之間無縫交互，提升用戶體驗。用戶無需切換網絡即可訪問多個應用程序。
降低成本
通過將交易分組並一次性處理，ZKThreads 減少了需要記錄在主區塊鏈上的交易數量。這降低了用戶的交易費用，使 DApp 更加實惠。
此外，它們將狀態和交易數據存儲在鏈下，同時仍通過 ZKP 保持安全性和完整性。這減少了區塊鏈上的數據負載，從而降低了 gas 費用。
增強安全性
ZKThreads 利用 ZKP 來增強安全性。ZKP 允許在不泄露底層數據的情況下驗證交易，從而保護隱私。此外，它們還確保所有交易都按照預定義的規則進行處理，從而防止未經授權的活動。
ZKThreads 的用例
L2 去中心化交易所
ZKThreads 可以降低用戶的交易費用，從而提高 Starknet 上的 DEX 效率。通常情況下，Starknet 上的 DEX 並不實用，因爲用戶必須爲每筆交易支付費用。使用 ZKThreads，用戶只需在提取資金時支付費用，從而降低交易的總成本，使 DEX 更加實用且經濟實惠。
基於會話的遊戲
在基於會話的遊戲中，例如撲克和國際象棋，ZKThreads 可以幫助彙總費用。玩家無需爲每一步收取費用，而是在遊戲結束時（最終結果記錄在 Starknet 上）僅支付一筆費用。這使開發人員可以創建更廣泛的完全鏈上游戲，而不必擔心高昂的交易成本。
Zk 安全中間件和共享流動性基礎設施
ZKThreads 爲中間件應用程序（例如預言機和橋接器）提供安全高效的框架。通過直接在 ZKThread 中構建功能，這些應用程序可以利用 ZKP 來確保安全性和互操作性。
鏈上人工智能
ZKThreads 提供在區塊鏈上直接運行 AI 模型所需的計算能力。這意味着 AI 程序可以在 ZKThread 內進行管理，同時保持其核心數據和操作的一致性。然後，這些 AI 模型可供不同的應用程序使用，例如遊戲、社交媒體平臺和生產力工具。
結束語
ZKThreads 是一個使用 ZKP 構建可擴展且安全的 DApp 的框架。它們可用於 Starknet DEX、基於會話的遊戲和中間件應用程序。與其他 zk 解決方案不同，ZKThreads 強調互操作性，將所有數據保留在鏈下，並使用不同的驗證機制。展望未來，ZKThreads 有可能顯著提高 DApp 的性能和可用性。
進一步閱讀
利用零知識證明提高加密透明度
樂觀彙總與零知識彙總：有什麼區別？
什麼是區塊鏈三難困境？
區塊鏈與人工智能的關係
免責聲明：本內容按“原樣”提供給您，僅供一般信息和教育目的，不作任何形式的陳述或保證。它不應被視爲財務、法律或其他專業建議，也不旨在推薦購買任何特定產品或服務。您應該向適當的專業顧問尋求自己的建議。如果文章是由第三方貢獻者提供的，請注意，這些觀點屬於第三方貢獻者，並不一定反映幣安學院的觀點。請在此處閱讀我們的完整免責聲明以瞭解更多詳情。數字資產價格可能會波動。您的投資價值可能會下跌或上漲，您可能無法收回投資金額。您對自己的投資決策負全部責任，幣安學院對您可能遭受的任何損失概不負責。本材料不應被視爲財務、法律或其他專業建議。有關更多信息，請參閱我們的使用條款和風險警告。
