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

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

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

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

介紹

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

金融做市商IMC收購加密公司Altas Technologies:金色財經報道，專注于從事ETF和期權的算法做市商IMC在本周完成了對荷蘭技術和交易公司AltasTechnologies的收購，交易條款并未披露。 AltasTechnologies專注于“加密交易的機器學習和投資組合管理功能”。

這并不是IMC第一次進軍加密貨幣交易和結算領域，該公司在整個歐洲、印度和美國均設有辦事處。該公司的一位發言人表示，IMC在過去兩到三年里一直在“增強加密業務能力”。此前IMC曾投資了Paradigm，同時與PythNetwork建立了聯系，對資產的交易提供加密貨幣定價數據。[2023/7/29 16:05:41]

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

Terra Classic L1團隊已將測試網升級至V2.0.0，并發布主網升級提案:5月7日消息，Terra Classic（LUNC）L1聯合任務組（L1JTF）團隊近日已經將其rebel-2測試網升級到2.0.0版本。

使用Cosmos SDK v0.45的L1JTF測試網v2.0.0升級是該項目的一個重要里程碑，因為它引入幾個增強其功能和安全性的新特性。Terra Classic社區在推動該項目的振興計劃方面也給予了支持。

該團隊的兼職開發人員Till表示，這也可以促進Terra Classi主網升級到2.0.0版本的過渡。他透露，只有六個驗證者（包括takeBin、Lunanauts、Allnodes）參與并成功升級。該項目的一些愛好者（比如reXx）表達了對開發中涉及的驗證者數量的擔憂，指出數量應該達到30個。

在成功升級測試網后，L1團隊項目經理LuncBurnArmy已經提交一份將Terra Core主網升級到2.0.0版本的提案。

根據該提案，此版本包含Terra Classic區塊鏈的治理批準功能，包括治理提案的最低初始存款、Cosmos SDK v0.45.13和Tendermint v0.34.24。這是第二個利用升級治理提案機制來升級鏈的主要版本。該提案將在區塊高度12,812,900（或大概UTC時間5月17日14:03:32）停止鏈。如果該提案通過，屆時所有全節點和驗證者需要安裝并運行升級版本v2.0.0，才能繼續運行。（Bitcoinist）[2023/5/7 14:48:03]

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

共和黨立法者支持Custodia與美聯儲的法律斗爭:金色財經報道，七名美國共和黨立法者在支持數字資產銀行Custodia為獲得美聯儲的主賬戶而進行的法律斗爭。參議院銀行委員會的三名成員以及眾議院金融服務委員會的四名成員，周四提交了一份非當事人意見陳述，敦促懷俄明州法院駁回美聯儲的動議——駁回Custodia提起的訴訟。

Custodia于6月對美聯儲提起訴訟，聲稱美聯儲非法拖延是否批準該加密銀行的主賬戶申請的決定，并要求立即批準。在起訴時，Custodia已經等待19個月才收到關于其申請的答復，較法定期限多出7個月。Custodia的律師認為，主賬戶“對Custodia有效和高效的運營能力至關重要”，而美聯儲在決定上的持續猶豫不決對Custodia的客戶是不利的。（CoinDesk）[2022/9/22 7:14:38]

可驗證計算

MetaThaicoin（TAC）已經完成全新的DAO構建:據官方消息，MetaThaicoin宣稱，TAC已經完成在T生態上構建DAO基礎設施，將會在8月3日推出。TAC的DAO治理是擁有穩定資產支持的DEFI經濟，玩家可以通過質押TAC代幣DEFI挖礦，產出的礦稅用于DAO治理。形成一個閉環DAO治理經濟。同時MetaThaicoin還宣稱，希望能夠通過TAC DAO幫助到市場用心研發區塊鏈應用的項目，幫助大家能夠平穩度過瓶頸。[2022/7/31 2:49:58]

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

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

安全性和活性

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

安全性：這等同于可驗證性/正確性屬性。活性：確保應用程序最終執行，即不受審查。像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區塊鏈ODIdigifinexappEtherNexus區塊鏈通俗易懂的例子odin幣今日價格

比特幣