ZK 協處理器可擴展性指南

新手Dec 26, 2023
本文回顧了協處理器的定義和意義,以及如何使用 Bonsai ZK 協處理器架構來擴展應用。
ZK 協處理器可擴展性指南

如果您正在運行鏈上應用程序,ZK 協處理器是可使用的一個重要工具,可讓您擴展鏈上邏輯,衕時保持較低的 Gas 成本。在這篇文章中,我們探討了什麽是協處理器、爲什麽它很重要,以及如何使用 Bonsai ZK 協處理器架構來擴展您的應用程序。

鏈上應用的計算限製

讓應用程序完全在 EVM 上執行會造成一些缺陷。需要大量計算或大量數據存儲的任務需要高昂的Gas費,以至於您應用程序的使用成本很快就會變得很高。這意味著某些功能在 EVM 上實際是不可能實現,從而限製了應用程序的潛力。

方法是將計算移至鏈外,這能大幅降低 Gas 費用,併使您的應用程序對用戶更具吸引力。傳統上,這需要信任在中心化服務器上執行的計算,以節省成本的名義犧牲了以太坊的可驗證生態繫統。幸運的是,ZK 證明提供了一種安全驗證這些鏈下結果的方法,衕時保持去中心化的核心價值,併且成本僅爲鏈上成本的一小部分。

進入聊天:Bonsai ZK 協處理器

Bonsai ZK 協處理器架構通過可編程和可驗證的鏈下計算擴展了鏈上應用程序的功能。您可以上傳程序併請求 Bonsai 按需生成證明,而不是構建自己的 ZK 基礎設施。

Bonsai ZK 協處理器架構通過使用我們的 ETH 中繼將我們的 zkVM 和 Bonsai 與以太坊連接,以此來提供支持。這使我們能夠通過允許應用程序將邏輯移植到 Rust 中併在 Bonsai 上執行鏈下邏輯來擴展以太坊智能合約的功能。

Bonsai:以太坊的 ZK 協處理器

由 RISC Zero 構建,使用 RISC Zero zkVM

利用 ZK 使您的鏈上應用程序更精簡、更便宜🧵🧵🧵

— 2023年7月7日,RISC Zero (@RiscZero) 髮布

一個重要的提示是,Bonsai併不局限於以太坊。任何擁有執行和共識層的區塊鏈都可以利用 Bonsai 協處理器將執行或計算轉移到鏈外。

其中一些例子有:

  • Optimistic 第2層協議,例如 Optimism 和 Arbitrum
  • ZK 第2層協議,如 Starkware 和 ZKSync
  • EVM 第1層協議,包括 Avalanche 和 Polygon
  • 非 EVM 第1層協議,包括 Solana 和 Aptos
  • Cosmos 跨

什麽是協處理器?

協處理器充當處理器的搭檔,允許在資源受限的繫統中卸載計算。例如,在手機上運行像 ChatGPT 這樣的 AI 模型是不可行的。您的手機速度慢,存儲空間有限,需要付費才能下載大型模型,併且電池壽命有限。然而,當您曏 ChatGPT 詢問問題時,它會被髮送到專用服務器,在那裡它能廉價且高效地運行,然後髮回答案。這樣,ChatGPT 的服務器就可以充當您手機有限資源的人工智能協處理器。

相反,EVM 是一個能夠執行各種操作的通用平颱。與個人設備類似,EVM 可以處理多種任務,但對於大批量操作來説可能併不總是最有效的。zkVM 與雲計算機或大型機非常相似,專爲通用任務而設計,但在速度和成本效益方麵錶現出色。

Bonsai ZK 協處理器的架構

調用 Bonsai,指定要執行的程序和輸入。您可以通過以下兩種方式之一調用 Bonsai:

  • 從以太坊調用 Bonsai:從您的智能合約中調用 BonsaiRelay 合約。

  • 從鏈下調用 Bonsai:使用 REST API 調用 Bonsai。

Bonsai 使用您提供的輸入在 zkVM 上離線執行您的程序。

Bonsai 將已執行程序的證明髮送回 BonsaiRelay。

該證明由鏈上驗證者檢查。

您的合約會收到經過驗證的結果。

Bonsai 大幅降低了Gas費用併擴展了鏈上應用程序的功能,這爲用戶消除了價格障礙,衕時爲開髮人員提供了更廣泛的機會。這種架構允許您將應用程序中昂貴部分(甚至整個邏輯)從 Solidity 智能合約中移出,轉移到鏈下執行的 Rust 程序中。

ZK 協處理器的用例

許多應用程序,例如鏈上游戲或中央限價訂單簿,需要鏈下計算才算經濟。然而,任何需要超過 250K Gas 的應用程序邏輯都可以通過 ZK 協處理器降低成本。

DAO 是一個很好的示例,它有涉及許多參與者和多個智能合約參與大量計算的集體鏈上活動。用於 DAO 治理的 ZK 協處理器可確保鏈下計算的Gas更便宜,併保證各方之間鏈上數據的驗證。通過 Bonsai DAO 治理者,DAO 成員通過將計算轉移到鏈下,能夠將其 Gas 費降低 50% 以上(從7月23日期間的每一投票6-9美元降至2-3美元)。我們很快就會髮布更多關於如何構建Bonsai治理者的信息!

另一個值得註意的用例包括 Web2 到 Web3 的驗證。例如,Bonfire 錢包允許用戶使用 WebAuthn 創建 Burner錢包,而 Bonsai ZK 協處理器則處理鏈外計算。

Bonsai:以太坊的 ZK 協處理器

由 RISC Zero 構建,使用了 RISC Zero zkVM

利用 ZK 使您的鏈上應用程序更精簡、更便宜

— 2023年7月7日,‍RISC Zero (@RiscZero) 髮貼‍

使用Bonsai構建

要將 Bonsai 用作以太坊的協處理器,您需要做的就是:

編寫一個處理您的應用程序邏輯的 zkVM 應用程序

編寫一個 Solidity 合約,要求 Bonsai 運行您的 zkVM 應用程序以及如何處理結果

然後,按照部署指南中的説明進行操作。

無論您是希望在鏈外進行繁重的計算,還是需要爲去信任、可驗證的軟件生成證明,Bonsai 都可以爲您提供幫助。如您有任何疑問,請通過 Discord 聯繫我們的團隊!

聲明:

  1. 本文轉載自[risczero],著作權歸屬原作者[KAYLEI ATCHLEY],如對轉載有異議,請聯繫Gate Learn團隊,團隊會根據相關流程盡速處理。
  2. 免責聲明:本文所錶達的觀點和意見僅代錶作者個人觀點,不構成任何投資建議。
  3. 文章其他語言版本由Gate Learn團隊翻譯, 在未提及Gate.io的情況下不得覆製、傳播或抄襲經翻譯文章。

ZK 協處理器可擴展性指南

新手Dec 26, 2023
本文回顧了協處理器的定義和意義,以及如何使用 Bonsai ZK 協處理器架構來擴展應用。
ZK 協處理器可擴展性指南

如果您正在運行鏈上應用程序,ZK 協處理器是可使用的一個重要工具,可讓您擴展鏈上邏輯,衕時保持較低的 Gas 成本。在這篇文章中,我們探討了什麽是協處理器、爲什麽它很重要,以及如何使用 Bonsai ZK 協處理器架構來擴展您的應用程序。

鏈上應用的計算限製

讓應用程序完全在 EVM 上執行會造成一些缺陷。需要大量計算或大量數據存儲的任務需要高昂的Gas費,以至於您應用程序的使用成本很快就會變得很高。這意味著某些功能在 EVM 上實際是不可能實現,從而限製了應用程序的潛力。

方法是將計算移至鏈外,這能大幅降低 Gas 費用,併使您的應用程序對用戶更具吸引力。傳統上,這需要信任在中心化服務器上執行的計算,以節省成本的名義犧牲了以太坊的可驗證生態繫統。幸運的是,ZK 證明提供了一種安全驗證這些鏈下結果的方法,衕時保持去中心化的核心價值,併且成本僅爲鏈上成本的一小部分。

進入聊天:Bonsai ZK 協處理器

Bonsai ZK 協處理器架構通過可編程和可驗證的鏈下計算擴展了鏈上應用程序的功能。您可以上傳程序併請求 Bonsai 按需生成證明,而不是構建自己的 ZK 基礎設施。

Bonsai ZK 協處理器架構通過使用我們的 ETH 中繼將我們的 zkVM 和 Bonsai 與以太坊連接,以此來提供支持。這使我們能夠通過允許應用程序將邏輯移植到 Rust 中併在 Bonsai 上執行鏈下邏輯來擴展以太坊智能合約的功能。

Bonsai:以太坊的 ZK 協處理器

由 RISC Zero 構建,使用 RISC Zero zkVM

利用 ZK 使您的鏈上應用程序更精簡、更便宜🧵🧵🧵

— 2023年7月7日,RISC Zero (@RiscZero) 髮布

一個重要的提示是,Bonsai併不局限於以太坊。任何擁有執行和共識層的區塊鏈都可以利用 Bonsai 協處理器將執行或計算轉移到鏈外。

其中一些例子有:

  • Optimistic 第2層協議,例如 Optimism 和 Arbitrum
  • ZK 第2層協議,如 Starkware 和 ZKSync
  • EVM 第1層協議,包括 Avalanche 和 Polygon
  • 非 EVM 第1層協議,包括 Solana 和 Aptos
  • Cosmos 跨

什麽是協處理器?

協處理器充當處理器的搭檔,允許在資源受限的繫統中卸載計算。例如,在手機上運行像 ChatGPT 這樣的 AI 模型是不可行的。您的手機速度慢,存儲空間有限,需要付費才能下載大型模型,併且電池壽命有限。然而,當您曏 ChatGPT 詢問問題時,它會被髮送到專用服務器,在那裡它能廉價且高效地運行,然後髮回答案。這樣,ChatGPT 的服務器就可以充當您手機有限資源的人工智能協處理器。

相反,EVM 是一個能夠執行各種操作的通用平颱。與個人設備類似,EVM 可以處理多種任務,但對於大批量操作來説可能併不總是最有效的。zkVM 與雲計算機或大型機非常相似,專爲通用任務而設計,但在速度和成本效益方麵錶現出色。

Bonsai ZK 協處理器的架構

調用 Bonsai,指定要執行的程序和輸入。您可以通過以下兩種方式之一調用 Bonsai:

  • 從以太坊調用 Bonsai:從您的智能合約中調用 BonsaiRelay 合約。

  • 從鏈下調用 Bonsai:使用 REST API 調用 Bonsai。

Bonsai 使用您提供的輸入在 zkVM 上離線執行您的程序。

Bonsai 將已執行程序的證明髮送回 BonsaiRelay。

該證明由鏈上驗證者檢查。

您的合約會收到經過驗證的結果。

Bonsai 大幅降低了Gas費用併擴展了鏈上應用程序的功能,這爲用戶消除了價格障礙,衕時爲開髮人員提供了更廣泛的機會。這種架構允許您將應用程序中昂貴部分(甚至整個邏輯)從 Solidity 智能合約中移出,轉移到鏈下執行的 Rust 程序中。

ZK 協處理器的用例

許多應用程序,例如鏈上游戲或中央限價訂單簿,需要鏈下計算才算經濟。然而,任何需要超過 250K Gas 的應用程序邏輯都可以通過 ZK 協處理器降低成本。

DAO 是一個很好的示例,它有涉及許多參與者和多個智能合約參與大量計算的集體鏈上活動。用於 DAO 治理的 ZK 協處理器可確保鏈下計算的Gas更便宜,併保證各方之間鏈上數據的驗證。通過 Bonsai DAO 治理者,DAO 成員通過將計算轉移到鏈下,能夠將其 Gas 費降低 50% 以上(從7月23日期間的每一投票6-9美元降至2-3美元)。我們很快就會髮布更多關於如何構建Bonsai治理者的信息!

另一個值得註意的用例包括 Web2 到 Web3 的驗證。例如,Bonfire 錢包允許用戶使用 WebAuthn 創建 Burner錢包,而 Bonsai ZK 協處理器則處理鏈外計算。

Bonsai:以太坊的 ZK 協處理器

由 RISC Zero 構建,使用了 RISC Zero zkVM

利用 ZK 使您的鏈上應用程序更精簡、更便宜

— 2023年7月7日,‍RISC Zero (@RiscZero) 髮貼‍

使用Bonsai構建

要將 Bonsai 用作以太坊的協處理器,您需要做的就是:

編寫一個處理您的應用程序邏輯的 zkVM 應用程序

編寫一個 Solidity 合約,要求 Bonsai 運行您的 zkVM 應用程序以及如何處理結果

然後,按照部署指南中的説明進行操作。

無論您是希望在鏈外進行繁重的計算,還是需要爲去信任、可驗證的軟件生成證明,Bonsai 都可以爲您提供幫助。如您有任何疑問,請通過 Discord 聯繫我們的團隊!

聲明:

  1. 本文轉載自[risczero],著作權歸屬原作者[KAYLEI ATCHLEY],如對轉載有異議,請聯繫Gate Learn團隊,團隊會根據相關流程盡速處理。
  2. 免責聲明:本文所錶達的觀點和意見僅代錶作者個人觀點,不構成任何投資建議。
  3. 文章其他語言版本由Gate Learn團隊翻譯, 在未提及Gate.io的情況下不得覆製、傳播或抄襲經翻譯文章。
Empieza ahora
¡Regístrate y recibe un bono de
$100
!
Crea tu cuenta