Nexus Labs：如何通過可驗證云計算來對區塊鏈進行擴展？_Nexus

此文來自于斯坦福區塊鏈評論，深潮TechFlow為斯坦福區塊鏈評論合作伙伴，獨家獲授權編譯轉載。

隨著區塊鏈技術的不斷發展，越來越多的應用場景涌現出來，但其在大規模應用時仍存在一些挑戰，其中之一就是區塊鏈的可擴展性。

為了解決這個問題，NexusLabs提出了一種新的解決方案——基于區塊鏈的通用可驗證云計算網絡，可以為區塊鏈、Rollup和智能合約提供計算能力和可擴展性支持的解決訪問。本文將介紹Nexus和NexusZero的特點和架構，并探討它們如何促進區塊鏈技術的發展。

介紹

可驗證云計算提供了一種將傳統程序計算外包到遠程服務器并接收程序輸出和驗證計算正確性的證明的可能性。這將允許用戶將計算外包給不可信服務器，同時保留驗證結果。

美參議院銀行委員會主席：可從銀行和證券法中尋找監督加密的方式:金色財經報道，美國參議院銀行委員會主席Sherrod Brown在本周舉行的關于FTX的第二次聽證會上表示，“如果我們要從FTX的崩潰中吸取教訓，我們必須密切關注結合多種功能的加密平臺沖突帶來的風險。這意味著要考慮消費者和投資者真正需要的各種信息披露，以了解代幣或加密貨幣平臺的運作方式。立法者可以從現有的銀行和證券法中尋找經過時間考驗的方法，作為監督加密貨幣業務的一種方式。”(彭博社)[2022/12/16 21:47:53]

可驗證云計算對于區塊鏈領域的潛在影響是難以想象的。通過使智能合約能夠以數學上可驗證的方式外包計算、存儲和與其他系統的交互，這項技術有望大幅增強智能合約系統的計算能力。

Nexus是實現通用可驗證云計算的一次嘗試，將會特別用于擴展以太坊應用。在本文中，我們提供了一個簡要概述，介紹我們團隊正在努力實現這一未來所需的主要創新。

L1區塊鏈Canto與跨鏈流動性網絡 Synapse集成:金色財經報道，跨鏈橋接器之一的Synapse已經為名為Canto的新興區塊鏈啟用了橋接。Canto標志著第 18 個由 Synapse 的跨鏈流動性網絡互連的區塊鏈。采用 Canto 的主要問題之一是連接其他大型區塊鏈的可訪問性。在 Synapse 橋集成之前，將資產移動到 Canto 的唯一方法是通過 Cosmos Gravity Bridge。Canto 建立在 Cosmos 之上，允許開發人員建立自己的鏈。它采用了一種新的擴展方法，通過擁有一個本地內置的去中心化交易和借貸市場，用戶都可以免費使用。[2022/11/23 7:58:29]

可驗證計算

可驗證性可以通過不同的方式定義和實現。通常有：

有效性證明：通過零知識證明/zk-SNARKs，驗證者可以數學驗證某個程序是否計算正確。欺詐證明：也可以提供無效性的證明。這通常被稱為optimistic計算，并且需要至少一個誠實的一方來識別和證明存在欺詐行為。共識證明：不要求數學正確性，人們可以假設一個閾值(t-of-N)的各方是誠實的或經濟上理性的參與者。這是區塊鏈和側鏈采用的方法。每種方法在實現易用性和安全性之間有顯著的權衡，但一般來說，零知識證明提供最好的安全保證，而共識/狀態機提供了當今最實用和最強大的基本算法。

巴西參議院尋求聘請加密和區塊鏈專家為其提供政策建議:金色財經報道，巴西參議院希望招募具有加密資產和區塊鏈技術先進知識的專家——可能是為了幫助它更好地為該國新興的加密行業制定立法。

在參議院的官方帖子中，招聘經理寫道，候選人必須具備“加密資產和區塊鏈”的“特定知識”。該通知解釋說，除了有關該技術的“一般知識”外，候選人還需要證明他們對智能合約、區塊鏈技術和“算法”以及經濟、商業和消費者法知識有具體的了解。他們還需要充分了解該行業的相關法規。

參議院表示將尋求在該領域招聘兩名，成功的候選人將被授予“參議院立法顧問”的頭銜。員工將提供“立法和預算建議”以及“經濟”和“IT”“分析”。（cryptonews）[2022/8/26 12:50:18]

安全性和活性

僅靠可驗證性是不夠的。實現真正的去中心化應用需要提供兩個安全保證：

三星資管推出元宇宙概念ETF，7月7日于港交所上市:6月27日消息，據三星資產管理（香港）官方網站宣布，該公司將推出“三星亞太元宇宙概念ETF”（SAMSUNG Asia Pacific ex NZ Metaverse Theme ETF），計劃于7月7日在港交所上市，設定的上市價格為15港元，每手50個基金單位，價格約為750港元。

這是香港首只亞太元宇宙主動型管理ETF，幫助投資者在亞太（新西蘭除外）投資元宇宙相關行業，擬投資的元宇宙業務公司可能包括但不限于以下類別：擴增實境／虛擬實境、人工智能、社交媒體、網絡游戲、數碼交易、裝置和平臺。[2022/6/28 1:34:52]

安全性：這等同于可驗證性/正確性屬性。活性：確保應用程序最終執行，即不受審查。像Optimistic和ZKRollups這樣的系統可以提供安全性，但不能提供活性。一個同時提供安全性和活性的系統被認為是完全正確的。

Nexus：實現完全正確的通用可驗證云計算

Nexus是一個可驗證云計算的去中心化市場。

它使開發人員能夠托管使用傳統語言編寫的無服務器云應用程序，類似于AWSLambda，同時享有安全性和活性保證。

Nexus有兩種不同的版本：Nexus和NexusZero。

NexusZero：零知識云計算網絡

NexusZero是一個去中心化的鏈下零知識證明者網絡，它允許以太坊智能合約外包一般計算。

它由三個組件組成：

一個通用的零知識虛擬機(zkVM)。一個無需許可的證明者網絡。一個去中心化的做市商網絡。NexusZero上的應用程序是無狀態的“zk-Functions”，由智能合約直接調用。這意味著NexusZero使用一個通用電路來證明任何計算，而不是將程序編譯為不同的電路表示形式。

Nexus：去中心化的云計算網絡

Nexus是一個去中心化云計算網絡。換句話說，它是由獨立的、外部感知的“無服務器區塊鏈”組成的網絡。

在Nexus上的應用是有狀態的“Nexus函數”，由智能合約直接調用。Nexus網絡可用于從智能合約系統中外包計算、存儲和I/O能力。Nexus網絡還可用于復制任何證明系統，并且在一般情況下完成AWS/GoogleCloud正在做的事情，且具備完全正確性保證。

Nexus網絡達成內部共識，并可以通過特殊的多方計算技術與外部系統通信。節點激勵基于傳統的PoS。

因此，人們可以使用Nexus立即啟動一個連接到以太坊的“無服務器區塊鏈”。這些網絡可以作為側鏈、預言機網絡、存儲/數據可用性網絡、守護者網絡、去中心化排序器網絡或專用區塊鏈使用。

Nexus：簡單

除了實現通用可驗證云計算外，NexusLabs的中心目標之一是提供極其簡單和愉悅的開發體驗。

這就是為什么Nexus和NexusZero都被設計成提供與傳統云計算無異的體驗。開發人員可以使用傳統語言編寫程序并導入自己喜歡的庫。

上述是在Nexus上連接到以太坊的狀態無關的“Lambda函數”示例，它在每個新塊上調用。函數還可以訪問存儲和本地類似于POSIX的文件系統。

此外，Nexus函數還可以像智能合約一樣保持狀態，與智能合約不同的是，它們可以運行長時間運行的任務，如rollup排序器或任何零知識證明，只要它滿足兩個條件：1）是確定性的，2）編譯為WASM。

結論

通用可驗證云計算為區塊鏈可擴展性為我們開辟了新的未知領域，未來有望大幅增強區塊鏈、rollup和智能合約的計算能力。

Tags：NEXNexus區塊鏈ZERdigifinex交易所排名EtherNexus區塊鏈技術通俗講解知乎Paradigm Zero

加密貨幣