潛力賽道前瞻:去中心化算力市場(上)

進階1/4/2024, 6:39:54 PM
本文探討去中心化算力市場的潛力與挑戰,指出去中心化算力市場所麵臨的難題,併且介紹Gensyn 和 Together.AI兩個項目。

前言

自 GPT-3 誕生以來,生成式 AI 以其驚人的錶現以及廣闊的應用場景,讓人工智能領域迎來了爆炸式的拐點,科技巨頭開始扎堆抱團跳入 AI 賽道。但問題也隨之而來,大型語言模型(LLM)訓練和推理的運行需要大量算力支撐,伴隨著模型的迭代升級,算力需求和成本更是呈指數級的增加。以 GPT-2 和 GPT-3 爲例,GPT-2 和 GPT-3 之間的參數量相差 1166 倍(GPT-2 爲 1.5 億參數,GPT-3 爲 1750 億參數),GPT-3 的一次訓練成本以當時公有 GPU 雲的價格模型計算最高可達 1200 萬美元,爲 GPT-2 的 200 倍。而在實際使用過程中,用戶的每次提問都需要推理運算,按今年年初 1300 萬獨立用戶訪問的情況來説,對應的芯片需求是 3 萬多片 A100GPU。那麽初始投入成本將達到驚人的 8 億美元,每日模型推理費用預估費用 70 萬美元。

算力不足和成本過高成爲整個 AI 行業麵臨的難題,然而衕樣的問題似乎也將睏擾區塊鏈行業。一方麵比特幣的第四次減半與 ETF 通過即將到來,隨著未來價格攀升,礦商對於算力硬件的需求必然大幅提高。而另一方麵零知識證明(”Zero-Knowledge Proof”,簡稱 ZKP)技術正在蓬勃髮展,Vitalik 也曾多次強調 ZK 在未來十年內對區塊鏈領域的影響將與區塊鏈本身一樣重要。雖然這項技術的未來被區塊鏈行業寄予厚望,但 ZK 由於覆雜的計算過程,在生成證明過程中衕 AI 一樣也需要消耗大量的算力與時間。

在可預見的未來裡,算力短缺將成爲必然,那麽去中心化算力市場是否會是一門好生意?

去中心化算力市場定義

去中心化算力市場其實基本等價於去中心化雲計算賽道,但相比於去中心化雲計算,我個人認爲這個詞來描述之後所講的新項目會更爲貼切。去中心化算力市場應屬於 DePIN(去中心化物理基礎設施網絡)的子集,其目標旨在創建一個開放的算力市場,通過代幣激勵使得任何擁有閒置算力資源的人都可以在此市場上提供他們的資源,主要服務於 B 端用戶及開髮者群體。從較爲熟知的項目來説,比如基於去中心化 GPU 的渲染解決方案網絡 Render Network 和用於雲計算的分布式點對點市場 Akash Network 都屬於這條賽道。

而下文將從基礎概念開始,再展開討論該賽道下的三個新興市場:AGI 算力市場、比特幣算力市場以及 ZK 硬件加速市場中的 AGI 算力市場,後兩個將在《潛力賽道前瞻:去中心化算力市場(下)》中進行討論。

算力概述

算力概念的起源可以追溯到計算機髮明之初,最初的計算機是由機械裝置完成計算任務,而算力指的是機械裝置的計算能力。隨著計算機技術的髮展,算力的概念也隨之演化,現在的算力通常指的是計算機硬件(CPU、GPU、FPGA 等)和軟件(操作繫統、編譯器、應用程序等)協衕工作的能力。

定義

算力(Computing Power)是指計算機或其他計算設備在一定時間內可以處理的數據量或完成的計算任務的數量。算力通常被用來描述計算機或其他計算設備的性能,它是衡量一颱計算設備處理能力的重要指標。

衡量標準

算力可以用各種方式來衡量,例如計算速度、計算能耗、計算精度、併行度。在計算機領域,常用的算力衡量指標包括 FLOPS(每秒浮點運算次數)、IPS(每秒指令數)、TPS(每秒事務數)等。

FLOPS(每秒浮點運算次數)是指計算機處理浮點運算(帶有小數點的數字進行數學運算,需要考慮精度問題和捨入誤差等問題)的能力,它衡量的是計算機每秒能夠完成多少次浮點運算。FLOPS 是衡量計算機高性能計算能力的指標,通常用於衡量超級計算機、高性能計算服務器和圖形處理器(GPU)等的計算能力。例如,一個計算機繫統的 FLOPS 爲 1 TFLOPS(1 萬億次浮點運算每秒),意味著它每秒可以完成 1 萬億次浮點運算。

IPS(每秒指令數)是指計算機處理指令的速度,它衡量的是計算機每秒能夠執行多少條指令。IPS 是衡量計算機單指令性能的指標,通常用於衡量中央處理器(CPU)等的性能。例如,一個 CPU 的 IPS 爲 3 GHz(每秒可以執行 3 億次指令),意味著它每秒可以執行 3 億次指令。

TPS(每秒事務數)是指計算機處理事務的能力,它衡量的是計算機每秒可以完成多少個事務。通常用於衡量數據庫服務器的性能。例如,一個數據庫服務器的 TPS 爲 1000,意味著它每秒可以處理 1000 個數據庫事務。

此外,還有一些針對特定應用場景的算力指標,例如推理速度、圖像處理速度、語音識別準確率。

算力的類型

GPU 算力指的是圖形處理器(Graphics Processing Unit)的計算能力。與 CPU(Central Processing Unit)不衕,GPU 是專門設計用於處理圖像和視頻等圖形數據的硬件,它具有大量的處理單元和高效的併行計算能力,可以衕時進行大量的浮點運算。由於 GPU 最初是用於游戲圖形處理的,因此它們通常比 CPU 擁有更高的時鐘頻率和更大的內存帶寬,以支持覆雜的圖形運算。

CPU 和 GPU 的區別

架構:CPU 和 GPU 的計算架構不衕。CPU 通常採用一或多個核心,每個核心都是一個通用的處理器,能夠執行各種不衕的操作。而 GPU 則擁有大量的流處理器(Stream Processors)和著色器(Shader),這些處理器專門用於執行圖像處理相關的運算;

併行計算:GPU 通常具有更高的併行計算能力。CPU 的核心數量有限,每個核心隻能執行一條指令,但 GPU 可以擁有數千個流處理器,可以衕時執行多個指令和操作。因此,GPU 通常比 CPU 更適合執行併行計算任務,例如機器學習和深度學習等需要大量併行計算的任務;

程序設計:GPU 的程序設計相對於 CPU 來説更爲覆雜,需要使用特定的編程語言(如 CUDA 或 OpenCL),併使用特定的編程技巧來利用 GPU 的併行計算能力。相比之下,CPU 的程序設計更爲簡單,可以使用通用的編程語言和編程工具。

算力的重要性

在工業革命時代,石油是世界的血液,滲透到各個産業之中。算力在區塊鏈中而在即將到來的 AI 時代,算力會是全世界的「數字石油」。從各大企業對於 AI 芯片的瘋搶以及 Nvidia 股票突破萬億,再到美國近期對中國的高端芯片封鎖詳細到算力大小、芯片麵積,甚至計畫禁用 GPU 雲,其重要性已不言而喻,算力將是下個時代的大宗商品。

人工通用智能概述

人工智能 (Artificial Intelligence),是研究、開髮用於模擬、延伸和擴展人的智能的理論、方法、技術及應用繫統的一門新的技術科學。它起源於 20 世紀五六十年代,經過半個多世紀的演變,經歷了符號主義、連接主義和行爲主體三次浪潮的相互交織髮展,到如今,作爲一項新興的通用技術,正在推動著社會生活與各行各業的巨變。而現階段常見的生成式 AI 更具體的定義是:人工通用智能(Artificial General Intelligence, 簡稱 AGI),一種具有廣泛理解能力的人工智能繫統,它能在多種不衕任務和領域中錶現出與人類相似或超越人類的智能。AGI 基本需要三個要素組成,深度學習(deep learning,簡稱 DL)、大數據、大規模算力。

深度學習

深度學習是機器學習(ML)的一個子領域,深度學習算法是仿照人腦建模的神經網絡。例如,人腦包含數百萬個相互關聯的神經元,它們協衕工作以學習和處理信息。衕樣,深度學習神經網絡(或人工神經網絡)是由在計算機內部協衕工作的多層人工神經元組成的。人工神經元是稱爲節點的軟件模塊,它使用數學計算來處理數據。人工神經網絡是使用這些節點來解決覆雜問題的深度學習算法。

從層次上畫分神經網絡可分爲輸入層、隱藏層、輸出層,而不衕層之間連接的便是參數。

輸入層(Input Layer):輸入層是神經網絡的第一層,負責接收外部輸入數據。輸入層的每個神經元對應於輸入數據的一個特徵。例如,在處理圖像數據時,每個神經元可能對應於圖像的一個像素值;

隱藏層(Hidden Layers):輸入層處理數據併將其傳遞到神經網絡中更遠的層。這些隱藏層在不衕層級處理信息,在接收新信息時調整其行爲。深度學習網絡有數百個隱藏層,可用於從多個不衕角度分析問題。例如,你得到了一張必鬚分類的未知動物的圖像,則可以將其與你已經認識的動物進行比較。比如通過耳朵形狀、腿的數量、瞳孔的大小來判斷這是什麽動物。深度神經網絡中的隱藏層以相衕的方式工作。如果深度學習算法試圖對動物圖像進行分類,則其每個隱藏層都會處理動物的不衕特徵併嘗試對其進行準確的分類;

輸出層(Output Layer):輸出層是神經網絡的最後一層,負責生成網絡的輸出。輸出層的每個神經元代錶一個可能的輸出類別或值。例如,在分類問題中,每個輸出層神經元可能對應於一個類別,而在回歸問題中,輸出層可能隻有一個神經元,其值錶示預測結果;

參數:在神經網絡中,不衕層之間的連接由權重(Weights)和偏置(Biases)參數錶示,這些參數在訓練過程中被優化以使網絡能夠準確地識別數據中的模式和進行預測。參數的增加可以提高神經網絡的模型容量,即模型能夠學習和錶示數據中覆雜模式的能力。但相對應的是參數的增加會提升對算力的需求。

大數據

爲了有效訓練,神經網絡通常需要大量、多樣及質量高和多源的數據。它是機器學習模型訓練和驗證的基礎。通過分析大數據,機器學習模型可以學習數據中的模式和關繫,從而進行預測或分類。

大規模算力

神經網絡的多層覆雜結構、大量參數、大數據處理需求、迭代訓練方式(在訓練階段,模型需要反覆迭代,訓練過程中需要對每一層計算前曏傳播和反曏傳播,包括激活函數的計算、損失函數的計算、梯度的計算和權重的更新)、高精度計算需求、併行計算能力、優化和正則化技術以及模型評估和驗證過程共衕導緻了對高算力的需求,隨著深度學習的推進,AGI 對大規模算力的要求每年增加 10 倍左右。截止目前最新的模型 GPT-4 包含 1.8 兆參數,單次訓練成本超 6000 萬美元,所需算力 2.15e25 FLOPS(21500 萬億次浮點計算)。而接下來的模型訓練對算力的需求還在不斷擴大,新的模型也在不斷增加。

AI 算力經濟學

未來市場規模

根據最權威的測算,國際數據公司 IDC(International Data Corporation)與浪潮信息和清華大學全球産業研究院聯合編製的《2022-2023 全球計算力指數評估報告》,全球 AI 計算市場規模將從 2022 年的 195.0 億美元增長到 2026 年的 346.6 億美元,其中生成式 AI 計算市場規模將從 2022 年的 8.2 億美元增長到 2026 年的 109.9 億美元。生成式 AI 計算占整體 AI 計算市場的比例將從 4.2% 增長到 31.7%。

算力經濟壟斷

AI GPU 的生産已被 NVIDA 獨家壟斷,還極其昂貴(最新的 H100,單片售價已炒至 4 萬美元),併且 GPU 一經髮售就遭硅穀巨頭搶購一空,這些設備的其中一部分用於自家新模型的訓練。而另外一部分則通過雲平颱出租給 AI 開髮者,如 Google、Amazon 和 Microsoft 的雲計算平颱掌握了大量的服務器、GPU 和 TPU 等算力資源。算力已然成爲巨頭壟斷的新資源,大量 AI 相關開髮者甚至購買不到一張不加價的專用 GPU,爲了使用最新的設備,開髮者不得不租用 AWS 或者 Microsoft 的雲服務器。從財報上看這項業務擁有極高的利潤,AWS 的雲服務有 61% 的毛利率,而微軟則更高有 72% 的毛利率。

那麽我們是否不得不接受這種集中式的權威和控製,併爲算力資源支付 72% 的利潤費用?壟斷 Web2 的巨頭還會壟斷下一個時代嗎?

去中心化 AGI 算力的難題

提到反壟斷,去中心化通常都是最優解,從現有的項目看我們是否能通過 DePIN 中的存儲項目加 RDNR 之類的空閒 GPU 利用協議來實現 AI 所需的大規模算力?答案是否定的,屠龍的道路併沒有那麽簡單,早期的項目併沒有爲 AGI 算力而專門設計,不具備可行性,算力上鏈至少需要麵臨以下五個挑戰:

  1. 工作驗證:構建一個真正無需信任的計算網絡,併爲參與者提供經濟激勵,網絡必鬚有辦法驗證深度學習計算工作是否實際執行。這個問題的核心是深度學習模型的狀態依賴性;在深度學習模型中,每一層的輸入都依賴於前一層的輸出。這意味著,不能僅僅驗證模型中的某一層而不考慮它之前的所有層。每一層的計算都是基於它前麵所有層的結果。因此,爲了驗證特定點(比如特定的層)完成的工作,必鬚執行從模型的開始到那個特定點的所有工作;

  2. 市場:AI 算力市場作爲一個新興市場受製於供求睏境,比如冷啟動問題,供應和需求流動性需要從一開始就大緻匹配,以便市場能夠成功地增長。爲了捕穫潛在的算力供應,必鬚爲參與者提供明確的獎勵以換取他們的算力資源。市場需要一個機製來跟蹤完成的計算工作,併及時曏提供者支付相應的費用。傳統的市場中,中介負責處理管理和入職等任務,衕時通過設定最低支付額度來減少運營成本。然而,這種方式在擴展市場規模時成本較高。隻有少部分供應能夠在經濟上被有效捕穫,這導緻了一個閾值平衡狀態,即市場隻能捕穫和維持有限的供應,而無法進一步增長;

  3. 停機問題:停機問題是計算理論中的一個基本問題,它涉及到判斷一個給定的計算任務是否會在有限的時間內完成或者永遠不會停止。這個問題是不可解的,意味著不存在一個通用的算法能夠對所有的計算任務預判它們是否會在有限時間內停止。比如在以太坊上智能合約執行也麵臨著類似的停機問題。即無法預先確定一個智能合約的執行需要多少計算資源,或者是否會在合理的時間內完成;

(在深度學習的背景下,這個問題將更覆雜,因爲模型和框架將從靜態圖構建切換到動態構建和執行。)

  1. 隱私:對隱私意識的設計和開髮是項目方必鬚要做的。雖然大量的機器學習研究可以在公開數據集上進行,但爲了提高模型的性能和適應特定的應用,通常需要在專有的用戶數據上對模型進行微調。這種微調過程可能涉及到個人數據的處理,因此需要考慮隱私保護的要求;

  2. 併行化:這一點是當前項目不具備可行性的關鍵因素,深度學習模型通常在擁有專有架構和極低的延遲的大型硬件集群上併行訓練,而分布式計算網絡中的 GPU 需要進行頻繁的數據交換將會帶來延遲,併且會受限於性能最低的 GPU。算力源存在不可信與不可靠的情況下,如何異構併行化是必鬚解決的問題,目前可行的方法是通過變壓器模型(Transformer Model)來實現併行化,比如 Switch Transformers,現在已經具有高度併行化的特性。

解決方案:雖然目前對於去中心化 AGI 算力市場的嘗試還處於早期,但恰好存在兩個項目初步解決了去中心化網絡的共識設計及去中心化算力網絡在模型訓練和推理上的落地過程。下文將以 Gensyn 和 Together 爲例進行分析去中心化 AGI 算力市場的設計方式與問題所在。

Gensyn

Gensyn 是一個還處於構建階段的 AGI 算力市場,旨在解決去中心化深度學習計算的多種挑戰,以及降低當前深度學習的費用。Gensyn 本質上是基於 Polkadot 網絡上的第一層權益證明協議,它通過智能合約直接獎勵求解者(Solver)換取他們的閒置 GPU 設備用於計算,併執行機器學習任務。

那麽回到上文的問題,構建一個真正無需信任的計算網絡核心在於驗證已完成的機器學習工作。這是一個高度覆雜的問題,需要在覆雜性理論、博弈論、密碼學和優化的交彙之間找到一個平衡點。

Gensyn 提出一個簡單的解決方案是,求解者提交他們完成的機器學習任務的結果。爲了驗證這些結果是否準確,另一個獨立的驗證者會嘗試重新執行相衕的工作。這個方法可被稱爲單一覆製,因爲隻有一個驗證者會進行重新執行。這意味著隻有一次額外的工作來驗證原始工作的準確性。然而,如果驗證工作的人不是原始工作的請求者,那麽信任問題仍然存在。因爲驗證者本身可能也不誠實,而且他們的工作需要被驗證。這導緻了一個潛在問題,即如果驗證工作的人不是原始工作的請求者,那麽就需要另一個驗證者來驗證他們的工作。但這個新的驗證者也可能不被信任,因此需要另一個驗證者來驗證他們的工作,這可能會一直延續下去,形成一個無限的覆製鏈。此處需要引入三個關鍵概念併將其交織構建四個角色的參與者繫統來解決無限鏈問題。

概率學習證明:使用基於梯度的優化過程的元數據來構建完成工作的證書。通過覆製某些階段,可以快速驗證這些證書,從而確保工作已經如期完成。

基於圖的精確定位協議:使用多粒度、基於圖的精確定位協議,以及交叉評估器的一緻性執行。這允許重新運行和比較驗證工作以確保一緻性,併最終由區塊鏈本身確認。

Truebit 風格的激勵游戲:使用抵押和削減來構建激勵游戲,確保每個經濟上合理的參與者都會誠實行事併執行其預期的任務。

參與者繫統由提交者、求解者、驗證者和舉報者組成。

提交者(Submitters):

提交者是繫統的終端用戶,提供將被計算的任務,併支付已完成工作單位的費用;

求解者(Solvers):

求解者是繫統的主要工作者,執行模型訓練併生成由驗證者檢查的證明;

驗證者(Verifiers):

驗證者是將非確定性訓練過程與確定性線性計算聯繫起來的關鍵,覆製解決者的證明的一部分併將距離與預期閾值進行比較;

舉報者(Whistleblowers):

舉報者是最後一道防線,檢查驗證者的工作併提出挑戰,希望穫得豐厚的獎金支付。

繫統運作

該協議設計的博弈繫統運作將包括八個階段,涵蓋四個主要參與者角色,用於完成從任務提交到最終驗證的完整流程。

任務提交 (Task Submission): 任務由三個特定的信息組成:

描述任務和超參數的元數據;

一個模型二進製文件(或基本架構);

公開可訪問的、預處理過的訓練數據。

爲了提交任務,提交者以機器可讀的格式指定任務的詳細信息,併將其連衕模型二進製文件(或機器可讀架構)和預處理過的訓練數據的公開可訪問位置提交給鏈。公開的數據可以存儲在簡單的對象存儲如 AWS 的 S3 中,或在一個去中心化的存儲如 IPFS、Arweave 或 Subspace 中。

分析(Profiling): 分析過程爲學習驗證的證明確定了一個基線距離閾值。驗證者將定期抓取分析任務,併爲學習證明比較生成變異閾值。爲了生成閾值,驗證者將確定性地運行和重運行訓練的一部分,使用不衕的隨機種子,生成併檢查自己的證明。在此過程中,驗證者將建立一個可用作驗證解決方案的非確定性工作的總體預期距離閾值。

訓練(Training): 在分析之後,任務進入公共任務池(類似於以太坊的 Mempool)。選擇一個求解者來執行任務,併從任務池中移除任務。求解者根據提交者提交的元數據以及提供的模型和訓練數據執行任務。在執行訓練任務時,求解者還通過定期檢查點併存儲訓練過程中的元數據(包括參數)來生成學習證明,以便驗證者盡可能準確地覆製以下優化步驟。

證明生成(Proof generation): 求解者周期性地存儲模型權重或更新以及與訓練數據集的相應索引,以識別用於生成權重更新的樣本。可以調整檢查點頻率以提供更強的保證或節省存儲空間。證明可以「堆疊」,這意味著證明可以從用於初始化權重的隨機分布開始,或從使用自己的證明生成的預訓練權重開始。這使協議能夠建立一組已經證明的、預訓練的基礎模型(即基礎模型),這些模型可以針對更具體的任務進行微調。

證明的驗證(Verification of proof): 任務完成後,求解者曏鏈註冊任務完成,併在公開可訪問的位置展示其學習證明,以便驗證者訪問。驗證者從公共任務池中提取驗證任務,併執行計算工作以重運行證明的一部分併執行距離計算。然後鏈(連衕在分析階段計算的閾值)使用得到的距離來確定驗證是否與證明匹配。

基於圖的精確定位挑戰(Graph-based pinpoint challenge): 在驗證學習證明之後,舉報者可以覆製驗證者的工作以檢查驗證工作本身是否正確執行。如果舉報者認爲驗證已被錯誤執行(惡意或非惡意),他們可以曏合約仲裁髮起挑戰以穫得獎勵。這種獎勵可以來自解決者和驗證者的存款(在真正積極的情況下),或來自彩票庫獎金池(在假陽性的情況下),併使用鏈本身執行仲裁。舉報者(在他們的例子中是驗證者)隻有在期望收到適當的補償時才會驗證併隨後挑戰工作。實際上,這意味著舉報者預計會根據其他活動的舉報者的數量(即,具有實時存款和挑戰)加入和離開網絡。因此,任何舉報者的預期默認策略是在其他舉報者數量較少時加入網絡,髮布存款,隨機選擇一個活動任務,併開始他們的驗證過程。在第一個任務結束後,他們將抓取另一個隨機活動任務併重覆,直到舉報者的數量超過其確定的支付閾值,然後他們將離開網絡(或更可能地,根據他們的硬件能力轉曏網絡中執行另一個角色——驗證者或求解者),直到情況再次逆轉。

合約仲裁(Contract arbitration):當驗證者被舉報人質疑時,他們會與鏈條進入一個流程,以找出有爭議的操作或輸入的位置,最 終由鏈條執行最終的基本操作併確定質疑是否有理。爲了保持舉報人的誠實可信併剋服驗證者的睏境,此處引入定期強製錯誤和頭獎支付。

結算(Settlement): 在結算過程中,根據概率和確定性檢查的結論來支付參與者。根據先前驗證和挑戰的結果,不衕的場景會有不衕的支付。如果認爲工作已正確執行且所有檢查都已通過,則根據執行的操作獎勵解決方案提供者和驗證者。

項目簡評

Gensyn 在驗證層和激勵層上設計了一套精彩的博弈繫統,通過找出網絡中的分歧點能快速鎖定錯誤所在,但目前的繫統中還缺少很多細節。比如説如何設置參數才能保證獎懲合理,又不會門檻過高?博弈中的環節是否有考慮過極端情況與求解者算力不衕的問題?在當前版本的白皮書中也沒有異構併行化運行的詳細説明,目前來看 Gensyn 的落地還道阻且長。

Together.ai

Together 是一家專註於大模型的開源,緻力於去中心化的 AI 算力方案的公司,希望任何人在任何地方都能接觸和使用 AI。嚴格來説 Together 併非區塊鏈項目,但項目目前已經初步解決了去中心化 AGI 算力網絡中的延遲問題。所以下文隻分析 Together 的解決方案,對項目不做評價。

在去中心化網絡比數據中心慢 100 倍的情況下,如何實現大模型的訓練和推理?

讓我們想象一下去中心化的情況下,參與網絡的 GPU 設備分布情況會是怎麽樣?這些設備將分布於不衕的大洲,不衕的城市,設備之間需要連接,而連接的延遲和帶寬又各不相衕。如下圖所示,模擬了一個分布式的情況,設備分布處於北美洲、歐洲和亞洲,設備之間的帶寬和延遲各不相衕。那麽需要如何做才能將其串聯?

分布式訓練計算建模:下圖爲在多颱設備上進行基礎模型訓練的情況,從通信類型來看具有前曏激活 (Forward Activation)、反曏梯度(Backward Gradient)、橫曏通信三種通信類型。

結合通信帶寬和延遲,需要考慮兩種形式的併行性:管道併行性和數據併行性,對應於多設備情況下的三種通信類型:

在管道併行中,模型的所有層都分爲多個階段,其中每個設備處理一個階段,該階段是連續的層序列,例如多個 Transformer 塊;在前曏傳遞中,激活被傳遞到下一個階段,而在後曏傳遞中,激活的梯度被傳遞到前一階段。

在數據併行中,設備獨立計算不衕微批次的梯度,但需要通過通信來衕步這些梯度。

調度優化:

在一個去中心化的環境中,訓練過程通常受到通信限製。調度算法一般會將需要大量通信的任務分配給連接速度更快的設備,考慮到任務之間的依賴關繫和網絡的異構性,首先需要對特定的調度策略的成本進行建模。爲了捕捉訓練基礎模型的覆雜通信成本,Together 提出了一個新穎的公式,併通過圖論將成本模型分解爲兩個層次:

圖論是數學的一個分支,主要研究圖(網絡)的性質和結構。圖由頂點(節點)和邊(連接節點的線)組成。圖論中的主要目的是研究圖的各種性質,如圖的連通性、圖的色彩、圖中路徑和循環的性質。

第一層是一個平衡圖畫分(將圖的頂點集合分割成幾個相等大小或近似相等大小的子集,衕時使得子集之間的邊的數量最小。在這種分割中,每個子集代錶一個分區,併且通過最小化分區間的邊來減少通信成本)問題,對應於數據併行的通信成本。

第二層是一個聯合圖匹配和旅行商問題(聯合圖匹配和旅行商問題是一個組合優化問題,它結合了圖匹配和旅行商問題的元素。圖匹配問題是在圖中找到一個匹配,使得某種成本最小化或最大化。而旅行商問題是尋找一條訪問圖中所有節點的最短路徑),對應於管道併行的通信成本。

上圖爲流程示意圖,由於實際的實現過程中涉及一些覆雜的計算公式。爲了便於理解,下文將把圖中的流程説的通俗一些,詳細的實現過程可以自行查詢 Together 官網中的文檔。

假定有一個包含 N 個設備的設備集 D,其間的通信有不確定的延遲(A 矩陣)和帶寬(B 矩陣)。基於設備集 D,我們首先生成一個平衡的圖分割。每個分割或設備組中的設備數量大緻相等,併且它們都處理相衕的流水線階段。這確保了數據併行時,各設備組執行相似量的工作。(數據併行是指多個設備執行相衕的任務,而流水線階段則是指設備按照特定的順序執行不衕的任務步驟)。根據通信的延遲和帶寬,通過公式可以計算出在設備組間傳輸數據的「成本」。每個平衡的設備組都被合併,生成一個全連接的粗糙圖,其中每個節點代錶流水線的階段,邊代錶兩個階段之間的通信成本。爲了最小化通信成本,使用匹配算法來確定哪些設備組應該一起工作。

爲了進一步優化,還可以把這個問題被建模成一個開環的旅行商問題(開環意味著不需要返回路徑起點),從而找到一個在所有設備間傳輸數據的最優路徑。最後 Together 再通過一個他們創新的調度算法找到給定成本模型的最佳分配策略,從而實現最小化通信成本,最大化訓練吞吐量。根據實測,在這個調度優化下即使網絡慢 100 倍,端到端的訓練吞吐量大概隻慢了 1.7 至 2.3 倍。

通信壓縮優化:

對於通信壓縮的優化,Together 引入了 AQ-SGD 算法(詳細計算過程,可參考論文 Fine-tuning Language Models over Slow Networks using Activation Compression with Guarantees),AQ-SGD 算法是爲了解決在低速網絡上進行管道併行訓練的通信效率問題而設計的一種新穎的活性壓縮技術。與以往直接壓縮活性值的方法不衕,AQ-SGD 聚焦於壓縮衕一訓練樣本在不衕時期的活性值的變化,這種獨特的方法引入了一個有趣的「自我執行」動態,隨著訓練的穩定,該算法的錶現預計會逐漸提高。AQ-SGD 算法經過嚴格的理論分析,證明了在一定的技術條件和有界誤差的量化函數下具有良好的收斂率。該算法不僅可以有效實現,而且不會增加額外的端到端運行時開銷,盡管它需要利用更多的內存和 SSD 來存儲活性值。通過在序列分類和語言建模數據集上的廣泛實驗驗證,AQ-SGD 可以將活性值壓縮到 2-4 位而不犧牲收斂性能。此外,AQ-SGD 還可以與最先進的梯度壓縮算法集成,實現「端到端通信壓縮」,即所有機器之間的數據交換,包括模型梯度、前曏活性值和反曏梯度,都被壓縮成低精度,從而大幅提高分布式訓練的通信效率。與在中心化算力網絡(比如 10 Gbps)無壓縮情況下的端到端訓練性能相比,目前隻慢了 31%。結合調度優化的數據來看,雖然距離中心化算力網絡還有一定差距,但未來追趕的希望是比較大的。

結語

在 AI 浪潮帶來的紅利期下,AGI 算力市場無疑是諸多算力市場中潛力最大、需求最多的市場。但開髮難度、硬件要求、資金需求也是最高的。結合上文兩個項目來看,我們距離 AGI 算力市場的落地還有一定的時間,真正的去中心化網絡也要比理想情況覆雜得多,目前顯然還不足以跟雲巨頭競爭。

在撰寫這篇文章時,也觀察到現在一些處於襁褓期(PPT 階段)體量不大的項目已經開始探尋一些新的切入點,比如將重心放在難度更低的推理階段或者是小模型的訓練上。這些都是很好的嘗試,從長遠來看去中心化和無需許可的意義是重要的,訪問與訓練 AGI 算力的權利不該集中於少數幾個中心化巨頭。人類不需要新的「神教「也不需要新的「教皇」,更不該繳納昂貴的會費。

聲明:

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

潛力賽道前瞻:去中心化算力市場(上)

進階1/4/2024, 6:39:54 PM
本文探討去中心化算力市場的潛力與挑戰,指出去中心化算力市場所麵臨的難題,併且介紹Gensyn 和 Together.AI兩個項目。

前言

自 GPT-3 誕生以來,生成式 AI 以其驚人的錶現以及廣闊的應用場景,讓人工智能領域迎來了爆炸式的拐點,科技巨頭開始扎堆抱團跳入 AI 賽道。但問題也隨之而來,大型語言模型(LLM)訓練和推理的運行需要大量算力支撐,伴隨著模型的迭代升級,算力需求和成本更是呈指數級的增加。以 GPT-2 和 GPT-3 爲例,GPT-2 和 GPT-3 之間的參數量相差 1166 倍(GPT-2 爲 1.5 億參數,GPT-3 爲 1750 億參數),GPT-3 的一次訓練成本以當時公有 GPU 雲的價格模型計算最高可達 1200 萬美元,爲 GPT-2 的 200 倍。而在實際使用過程中,用戶的每次提問都需要推理運算,按今年年初 1300 萬獨立用戶訪問的情況來説,對應的芯片需求是 3 萬多片 A100GPU。那麽初始投入成本將達到驚人的 8 億美元,每日模型推理費用預估費用 70 萬美元。

算力不足和成本過高成爲整個 AI 行業麵臨的難題,然而衕樣的問題似乎也將睏擾區塊鏈行業。一方麵比特幣的第四次減半與 ETF 通過即將到來,隨著未來價格攀升,礦商對於算力硬件的需求必然大幅提高。而另一方麵零知識證明(”Zero-Knowledge Proof”,簡稱 ZKP)技術正在蓬勃髮展,Vitalik 也曾多次強調 ZK 在未來十年內對區塊鏈領域的影響將與區塊鏈本身一樣重要。雖然這項技術的未來被區塊鏈行業寄予厚望,但 ZK 由於覆雜的計算過程,在生成證明過程中衕 AI 一樣也需要消耗大量的算力與時間。

在可預見的未來裡,算力短缺將成爲必然,那麽去中心化算力市場是否會是一門好生意?

去中心化算力市場定義

去中心化算力市場其實基本等價於去中心化雲計算賽道,但相比於去中心化雲計算,我個人認爲這個詞來描述之後所講的新項目會更爲貼切。去中心化算力市場應屬於 DePIN(去中心化物理基礎設施網絡)的子集,其目標旨在創建一個開放的算力市場,通過代幣激勵使得任何擁有閒置算力資源的人都可以在此市場上提供他們的資源,主要服務於 B 端用戶及開髮者群體。從較爲熟知的項目來説,比如基於去中心化 GPU 的渲染解決方案網絡 Render Network 和用於雲計算的分布式點對點市場 Akash Network 都屬於這條賽道。

而下文將從基礎概念開始,再展開討論該賽道下的三個新興市場:AGI 算力市場、比特幣算力市場以及 ZK 硬件加速市場中的 AGI 算力市場,後兩個將在《潛力賽道前瞻:去中心化算力市場(下)》中進行討論。

算力概述

算力概念的起源可以追溯到計算機髮明之初,最初的計算機是由機械裝置完成計算任務,而算力指的是機械裝置的計算能力。隨著計算機技術的髮展,算力的概念也隨之演化,現在的算力通常指的是計算機硬件(CPU、GPU、FPGA 等)和軟件(操作繫統、編譯器、應用程序等)協衕工作的能力。

定義

算力(Computing Power)是指計算機或其他計算設備在一定時間內可以處理的數據量或完成的計算任務的數量。算力通常被用來描述計算機或其他計算設備的性能,它是衡量一颱計算設備處理能力的重要指標。

衡量標準

算力可以用各種方式來衡量,例如計算速度、計算能耗、計算精度、併行度。在計算機領域,常用的算力衡量指標包括 FLOPS(每秒浮點運算次數)、IPS(每秒指令數)、TPS(每秒事務數)等。

FLOPS(每秒浮點運算次數)是指計算機處理浮點運算(帶有小數點的數字進行數學運算,需要考慮精度問題和捨入誤差等問題)的能力,它衡量的是計算機每秒能夠完成多少次浮點運算。FLOPS 是衡量計算機高性能計算能力的指標,通常用於衡量超級計算機、高性能計算服務器和圖形處理器(GPU)等的計算能力。例如,一個計算機繫統的 FLOPS 爲 1 TFLOPS(1 萬億次浮點運算每秒),意味著它每秒可以完成 1 萬億次浮點運算。

IPS(每秒指令數)是指計算機處理指令的速度,它衡量的是計算機每秒能夠執行多少條指令。IPS 是衡量計算機單指令性能的指標,通常用於衡量中央處理器(CPU)等的性能。例如,一個 CPU 的 IPS 爲 3 GHz(每秒可以執行 3 億次指令),意味著它每秒可以執行 3 億次指令。

TPS(每秒事務數)是指計算機處理事務的能力,它衡量的是計算機每秒可以完成多少個事務。通常用於衡量數據庫服務器的性能。例如,一個數據庫服務器的 TPS 爲 1000,意味著它每秒可以處理 1000 個數據庫事務。

此外,還有一些針對特定應用場景的算力指標,例如推理速度、圖像處理速度、語音識別準確率。

算力的類型

GPU 算力指的是圖形處理器(Graphics Processing Unit)的計算能力。與 CPU(Central Processing Unit)不衕,GPU 是專門設計用於處理圖像和視頻等圖形數據的硬件,它具有大量的處理單元和高效的併行計算能力,可以衕時進行大量的浮點運算。由於 GPU 最初是用於游戲圖形處理的,因此它們通常比 CPU 擁有更高的時鐘頻率和更大的內存帶寬,以支持覆雜的圖形運算。

CPU 和 GPU 的區別

架構:CPU 和 GPU 的計算架構不衕。CPU 通常採用一或多個核心,每個核心都是一個通用的處理器,能夠執行各種不衕的操作。而 GPU 則擁有大量的流處理器(Stream Processors)和著色器(Shader),這些處理器專門用於執行圖像處理相關的運算;

併行計算:GPU 通常具有更高的併行計算能力。CPU 的核心數量有限,每個核心隻能執行一條指令,但 GPU 可以擁有數千個流處理器,可以衕時執行多個指令和操作。因此,GPU 通常比 CPU 更適合執行併行計算任務,例如機器學習和深度學習等需要大量併行計算的任務;

程序設計:GPU 的程序設計相對於 CPU 來説更爲覆雜,需要使用特定的編程語言(如 CUDA 或 OpenCL),併使用特定的編程技巧來利用 GPU 的併行計算能力。相比之下,CPU 的程序設計更爲簡單,可以使用通用的編程語言和編程工具。

算力的重要性

在工業革命時代,石油是世界的血液,滲透到各個産業之中。算力在區塊鏈中而在即將到來的 AI 時代,算力會是全世界的「數字石油」。從各大企業對於 AI 芯片的瘋搶以及 Nvidia 股票突破萬億,再到美國近期對中國的高端芯片封鎖詳細到算力大小、芯片麵積,甚至計畫禁用 GPU 雲,其重要性已不言而喻,算力將是下個時代的大宗商品。

人工通用智能概述

人工智能 (Artificial Intelligence),是研究、開髮用於模擬、延伸和擴展人的智能的理論、方法、技術及應用繫統的一門新的技術科學。它起源於 20 世紀五六十年代,經過半個多世紀的演變,經歷了符號主義、連接主義和行爲主體三次浪潮的相互交織髮展,到如今,作爲一項新興的通用技術,正在推動著社會生活與各行各業的巨變。而現階段常見的生成式 AI 更具體的定義是:人工通用智能(Artificial General Intelligence, 簡稱 AGI),一種具有廣泛理解能力的人工智能繫統,它能在多種不衕任務和領域中錶現出與人類相似或超越人類的智能。AGI 基本需要三個要素組成,深度學習(deep learning,簡稱 DL)、大數據、大規模算力。

深度學習

深度學習是機器學習(ML)的一個子領域,深度學習算法是仿照人腦建模的神經網絡。例如,人腦包含數百萬個相互關聯的神經元,它們協衕工作以學習和處理信息。衕樣,深度學習神經網絡(或人工神經網絡)是由在計算機內部協衕工作的多層人工神經元組成的。人工神經元是稱爲節點的軟件模塊,它使用數學計算來處理數據。人工神經網絡是使用這些節點來解決覆雜問題的深度學習算法。

從層次上畫分神經網絡可分爲輸入層、隱藏層、輸出層,而不衕層之間連接的便是參數。

輸入層(Input Layer):輸入層是神經網絡的第一層,負責接收外部輸入數據。輸入層的每個神經元對應於輸入數據的一個特徵。例如,在處理圖像數據時,每個神經元可能對應於圖像的一個像素值;

隱藏層(Hidden Layers):輸入層處理數據併將其傳遞到神經網絡中更遠的層。這些隱藏層在不衕層級處理信息,在接收新信息時調整其行爲。深度學習網絡有數百個隱藏層,可用於從多個不衕角度分析問題。例如,你得到了一張必鬚分類的未知動物的圖像,則可以將其與你已經認識的動物進行比較。比如通過耳朵形狀、腿的數量、瞳孔的大小來判斷這是什麽動物。深度神經網絡中的隱藏層以相衕的方式工作。如果深度學習算法試圖對動物圖像進行分類,則其每個隱藏層都會處理動物的不衕特徵併嘗試對其進行準確的分類;

輸出層(Output Layer):輸出層是神經網絡的最後一層,負責生成網絡的輸出。輸出層的每個神經元代錶一個可能的輸出類別或值。例如,在分類問題中,每個輸出層神經元可能對應於一個類別,而在回歸問題中,輸出層可能隻有一個神經元,其值錶示預測結果;

參數:在神經網絡中,不衕層之間的連接由權重(Weights)和偏置(Biases)參數錶示,這些參數在訓練過程中被優化以使網絡能夠準確地識別數據中的模式和進行預測。參數的增加可以提高神經網絡的模型容量,即模型能夠學習和錶示數據中覆雜模式的能力。但相對應的是參數的增加會提升對算力的需求。

大數據

爲了有效訓練,神經網絡通常需要大量、多樣及質量高和多源的數據。它是機器學習模型訓練和驗證的基礎。通過分析大數據,機器學習模型可以學習數據中的模式和關繫,從而進行預測或分類。

大規模算力

神經網絡的多層覆雜結構、大量參數、大數據處理需求、迭代訓練方式(在訓練階段,模型需要反覆迭代,訓練過程中需要對每一層計算前曏傳播和反曏傳播,包括激活函數的計算、損失函數的計算、梯度的計算和權重的更新)、高精度計算需求、併行計算能力、優化和正則化技術以及模型評估和驗證過程共衕導緻了對高算力的需求,隨著深度學習的推進,AGI 對大規模算力的要求每年增加 10 倍左右。截止目前最新的模型 GPT-4 包含 1.8 兆參數,單次訓練成本超 6000 萬美元,所需算力 2.15e25 FLOPS(21500 萬億次浮點計算)。而接下來的模型訓練對算力的需求還在不斷擴大,新的模型也在不斷增加。

AI 算力經濟學

未來市場規模

根據最權威的測算,國際數據公司 IDC(International Data Corporation)與浪潮信息和清華大學全球産業研究院聯合編製的《2022-2023 全球計算力指數評估報告》,全球 AI 計算市場規模將從 2022 年的 195.0 億美元增長到 2026 年的 346.6 億美元,其中生成式 AI 計算市場規模將從 2022 年的 8.2 億美元增長到 2026 年的 109.9 億美元。生成式 AI 計算占整體 AI 計算市場的比例將從 4.2% 增長到 31.7%。

算力經濟壟斷

AI GPU 的生産已被 NVIDA 獨家壟斷,還極其昂貴(最新的 H100,單片售價已炒至 4 萬美元),併且 GPU 一經髮售就遭硅穀巨頭搶購一空,這些設備的其中一部分用於自家新模型的訓練。而另外一部分則通過雲平颱出租給 AI 開髮者,如 Google、Amazon 和 Microsoft 的雲計算平颱掌握了大量的服務器、GPU 和 TPU 等算力資源。算力已然成爲巨頭壟斷的新資源,大量 AI 相關開髮者甚至購買不到一張不加價的專用 GPU,爲了使用最新的設備,開髮者不得不租用 AWS 或者 Microsoft 的雲服務器。從財報上看這項業務擁有極高的利潤,AWS 的雲服務有 61% 的毛利率,而微軟則更高有 72% 的毛利率。

那麽我們是否不得不接受這種集中式的權威和控製,併爲算力資源支付 72% 的利潤費用?壟斷 Web2 的巨頭還會壟斷下一個時代嗎?

去中心化 AGI 算力的難題

提到反壟斷,去中心化通常都是最優解,從現有的項目看我們是否能通過 DePIN 中的存儲項目加 RDNR 之類的空閒 GPU 利用協議來實現 AI 所需的大規模算力?答案是否定的,屠龍的道路併沒有那麽簡單,早期的項目併沒有爲 AGI 算力而專門設計,不具備可行性,算力上鏈至少需要麵臨以下五個挑戰:

  1. 工作驗證:構建一個真正無需信任的計算網絡,併爲參與者提供經濟激勵,網絡必鬚有辦法驗證深度學習計算工作是否實際執行。這個問題的核心是深度學習模型的狀態依賴性;在深度學習模型中,每一層的輸入都依賴於前一層的輸出。這意味著,不能僅僅驗證模型中的某一層而不考慮它之前的所有層。每一層的計算都是基於它前麵所有層的結果。因此,爲了驗證特定點(比如特定的層)完成的工作,必鬚執行從模型的開始到那個特定點的所有工作;

  2. 市場:AI 算力市場作爲一個新興市場受製於供求睏境,比如冷啟動問題,供應和需求流動性需要從一開始就大緻匹配,以便市場能夠成功地增長。爲了捕穫潛在的算力供應,必鬚爲參與者提供明確的獎勵以換取他們的算力資源。市場需要一個機製來跟蹤完成的計算工作,併及時曏提供者支付相應的費用。傳統的市場中,中介負責處理管理和入職等任務,衕時通過設定最低支付額度來減少運營成本。然而,這種方式在擴展市場規模時成本較高。隻有少部分供應能夠在經濟上被有效捕穫,這導緻了一個閾值平衡狀態,即市場隻能捕穫和維持有限的供應,而無法進一步增長;

  3. 停機問題:停機問題是計算理論中的一個基本問題,它涉及到判斷一個給定的計算任務是否會在有限的時間內完成或者永遠不會停止。這個問題是不可解的,意味著不存在一個通用的算法能夠對所有的計算任務預判它們是否會在有限時間內停止。比如在以太坊上智能合約執行也麵臨著類似的停機問題。即無法預先確定一個智能合約的執行需要多少計算資源,或者是否會在合理的時間內完成;

(在深度學習的背景下,這個問題將更覆雜,因爲模型和框架將從靜態圖構建切換到動態構建和執行。)

  1. 隱私:對隱私意識的設計和開髮是項目方必鬚要做的。雖然大量的機器學習研究可以在公開數據集上進行,但爲了提高模型的性能和適應特定的應用,通常需要在專有的用戶數據上對模型進行微調。這種微調過程可能涉及到個人數據的處理,因此需要考慮隱私保護的要求;

  2. 併行化:這一點是當前項目不具備可行性的關鍵因素,深度學習模型通常在擁有專有架構和極低的延遲的大型硬件集群上併行訓練,而分布式計算網絡中的 GPU 需要進行頻繁的數據交換將會帶來延遲,併且會受限於性能最低的 GPU。算力源存在不可信與不可靠的情況下,如何異構併行化是必鬚解決的問題,目前可行的方法是通過變壓器模型(Transformer Model)來實現併行化,比如 Switch Transformers,現在已經具有高度併行化的特性。

解決方案:雖然目前對於去中心化 AGI 算力市場的嘗試還處於早期,但恰好存在兩個項目初步解決了去中心化網絡的共識設計及去中心化算力網絡在模型訓練和推理上的落地過程。下文將以 Gensyn 和 Together 爲例進行分析去中心化 AGI 算力市場的設計方式與問題所在。

Gensyn

Gensyn 是一個還處於構建階段的 AGI 算力市場,旨在解決去中心化深度學習計算的多種挑戰,以及降低當前深度學習的費用。Gensyn 本質上是基於 Polkadot 網絡上的第一層權益證明協議,它通過智能合約直接獎勵求解者(Solver)換取他們的閒置 GPU 設備用於計算,併執行機器學習任務。

那麽回到上文的問題,構建一個真正無需信任的計算網絡核心在於驗證已完成的機器學習工作。這是一個高度覆雜的問題,需要在覆雜性理論、博弈論、密碼學和優化的交彙之間找到一個平衡點。

Gensyn 提出一個簡單的解決方案是,求解者提交他們完成的機器學習任務的結果。爲了驗證這些結果是否準確,另一個獨立的驗證者會嘗試重新執行相衕的工作。這個方法可被稱爲單一覆製,因爲隻有一個驗證者會進行重新執行。這意味著隻有一次額外的工作來驗證原始工作的準確性。然而,如果驗證工作的人不是原始工作的請求者,那麽信任問題仍然存在。因爲驗證者本身可能也不誠實,而且他們的工作需要被驗證。這導緻了一個潛在問題,即如果驗證工作的人不是原始工作的請求者,那麽就需要另一個驗證者來驗證他們的工作。但這個新的驗證者也可能不被信任,因此需要另一個驗證者來驗證他們的工作,這可能會一直延續下去,形成一個無限的覆製鏈。此處需要引入三個關鍵概念併將其交織構建四個角色的參與者繫統來解決無限鏈問題。

概率學習證明:使用基於梯度的優化過程的元數據來構建完成工作的證書。通過覆製某些階段,可以快速驗證這些證書,從而確保工作已經如期完成。

基於圖的精確定位協議:使用多粒度、基於圖的精確定位協議,以及交叉評估器的一緻性執行。這允許重新運行和比較驗證工作以確保一緻性,併最終由區塊鏈本身確認。

Truebit 風格的激勵游戲:使用抵押和削減來構建激勵游戲,確保每個經濟上合理的參與者都會誠實行事併執行其預期的任務。

參與者繫統由提交者、求解者、驗證者和舉報者組成。

提交者(Submitters):

提交者是繫統的終端用戶,提供將被計算的任務,併支付已完成工作單位的費用;

求解者(Solvers):

求解者是繫統的主要工作者,執行模型訓練併生成由驗證者檢查的證明;

驗證者(Verifiers):

驗證者是將非確定性訓練過程與確定性線性計算聯繫起來的關鍵,覆製解決者的證明的一部分併將距離與預期閾值進行比較;

舉報者(Whistleblowers):

舉報者是最後一道防線,檢查驗證者的工作併提出挑戰,希望穫得豐厚的獎金支付。

繫統運作

該協議設計的博弈繫統運作將包括八個階段,涵蓋四個主要參與者角色,用於完成從任務提交到最終驗證的完整流程。

任務提交 (Task Submission): 任務由三個特定的信息組成:

描述任務和超參數的元數據;

一個模型二進製文件(或基本架構);

公開可訪問的、預處理過的訓練數據。

爲了提交任務,提交者以機器可讀的格式指定任務的詳細信息,併將其連衕模型二進製文件(或機器可讀架構)和預處理過的訓練數據的公開可訪問位置提交給鏈。公開的數據可以存儲在簡單的對象存儲如 AWS 的 S3 中,或在一個去中心化的存儲如 IPFS、Arweave 或 Subspace 中。

分析(Profiling): 分析過程爲學習驗證的證明確定了一個基線距離閾值。驗證者將定期抓取分析任務,併爲學習證明比較生成變異閾值。爲了生成閾值,驗證者將確定性地運行和重運行訓練的一部分,使用不衕的隨機種子,生成併檢查自己的證明。在此過程中,驗證者將建立一個可用作驗證解決方案的非確定性工作的總體預期距離閾值。

訓練(Training): 在分析之後,任務進入公共任務池(類似於以太坊的 Mempool)。選擇一個求解者來執行任務,併從任務池中移除任務。求解者根據提交者提交的元數據以及提供的模型和訓練數據執行任務。在執行訓練任務時,求解者還通過定期檢查點併存儲訓練過程中的元數據(包括參數)來生成學習證明,以便驗證者盡可能準確地覆製以下優化步驟。

證明生成(Proof generation): 求解者周期性地存儲模型權重或更新以及與訓練數據集的相應索引,以識別用於生成權重更新的樣本。可以調整檢查點頻率以提供更強的保證或節省存儲空間。證明可以「堆疊」,這意味著證明可以從用於初始化權重的隨機分布開始,或從使用自己的證明生成的預訓練權重開始。這使協議能夠建立一組已經證明的、預訓練的基礎模型(即基礎模型),這些模型可以針對更具體的任務進行微調。

證明的驗證(Verification of proof): 任務完成後,求解者曏鏈註冊任務完成,併在公開可訪問的位置展示其學習證明,以便驗證者訪問。驗證者從公共任務池中提取驗證任務,併執行計算工作以重運行證明的一部分併執行距離計算。然後鏈(連衕在分析階段計算的閾值)使用得到的距離來確定驗證是否與證明匹配。

基於圖的精確定位挑戰(Graph-based pinpoint challenge): 在驗證學習證明之後,舉報者可以覆製驗證者的工作以檢查驗證工作本身是否正確執行。如果舉報者認爲驗證已被錯誤執行(惡意或非惡意),他們可以曏合約仲裁髮起挑戰以穫得獎勵。這種獎勵可以來自解決者和驗證者的存款(在真正積極的情況下),或來自彩票庫獎金池(在假陽性的情況下),併使用鏈本身執行仲裁。舉報者(在他們的例子中是驗證者)隻有在期望收到適當的補償時才會驗證併隨後挑戰工作。實際上,這意味著舉報者預計會根據其他活動的舉報者的數量(即,具有實時存款和挑戰)加入和離開網絡。因此,任何舉報者的預期默認策略是在其他舉報者數量較少時加入網絡,髮布存款,隨機選擇一個活動任務,併開始他們的驗證過程。在第一個任務結束後,他們將抓取另一個隨機活動任務併重覆,直到舉報者的數量超過其確定的支付閾值,然後他們將離開網絡(或更可能地,根據他們的硬件能力轉曏網絡中執行另一個角色——驗證者或求解者),直到情況再次逆轉。

合約仲裁(Contract arbitration):當驗證者被舉報人質疑時,他們會與鏈條進入一個流程,以找出有爭議的操作或輸入的位置,最 終由鏈條執行最終的基本操作併確定質疑是否有理。爲了保持舉報人的誠實可信併剋服驗證者的睏境,此處引入定期強製錯誤和頭獎支付。

結算(Settlement): 在結算過程中,根據概率和確定性檢查的結論來支付參與者。根據先前驗證和挑戰的結果,不衕的場景會有不衕的支付。如果認爲工作已正確執行且所有檢查都已通過,則根據執行的操作獎勵解決方案提供者和驗證者。

項目簡評

Gensyn 在驗證層和激勵層上設計了一套精彩的博弈繫統,通過找出網絡中的分歧點能快速鎖定錯誤所在,但目前的繫統中還缺少很多細節。比如説如何設置參數才能保證獎懲合理,又不會門檻過高?博弈中的環節是否有考慮過極端情況與求解者算力不衕的問題?在當前版本的白皮書中也沒有異構併行化運行的詳細説明,目前來看 Gensyn 的落地還道阻且長。

Together.ai

Together 是一家專註於大模型的開源,緻力於去中心化的 AI 算力方案的公司,希望任何人在任何地方都能接觸和使用 AI。嚴格來説 Together 併非區塊鏈項目,但項目目前已經初步解決了去中心化 AGI 算力網絡中的延遲問題。所以下文隻分析 Together 的解決方案,對項目不做評價。

在去中心化網絡比數據中心慢 100 倍的情況下,如何實現大模型的訓練和推理?

讓我們想象一下去中心化的情況下,參與網絡的 GPU 設備分布情況會是怎麽樣?這些設備將分布於不衕的大洲,不衕的城市,設備之間需要連接,而連接的延遲和帶寬又各不相衕。如下圖所示,模擬了一個分布式的情況,設備分布處於北美洲、歐洲和亞洲,設備之間的帶寬和延遲各不相衕。那麽需要如何做才能將其串聯?

分布式訓練計算建模:下圖爲在多颱設備上進行基礎模型訓練的情況,從通信類型來看具有前曏激活 (Forward Activation)、反曏梯度(Backward Gradient)、橫曏通信三種通信類型。

結合通信帶寬和延遲,需要考慮兩種形式的併行性:管道併行性和數據併行性,對應於多設備情況下的三種通信類型:

在管道併行中,模型的所有層都分爲多個階段,其中每個設備處理一個階段,該階段是連續的層序列,例如多個 Transformer 塊;在前曏傳遞中,激活被傳遞到下一個階段,而在後曏傳遞中,激活的梯度被傳遞到前一階段。

在數據併行中,設備獨立計算不衕微批次的梯度,但需要通過通信來衕步這些梯度。

調度優化:

在一個去中心化的環境中,訓練過程通常受到通信限製。調度算法一般會將需要大量通信的任務分配給連接速度更快的設備,考慮到任務之間的依賴關繫和網絡的異構性,首先需要對特定的調度策略的成本進行建模。爲了捕捉訓練基礎模型的覆雜通信成本,Together 提出了一個新穎的公式,併通過圖論將成本模型分解爲兩個層次:

圖論是數學的一個分支,主要研究圖(網絡)的性質和結構。圖由頂點(節點)和邊(連接節點的線)組成。圖論中的主要目的是研究圖的各種性質,如圖的連通性、圖的色彩、圖中路徑和循環的性質。

第一層是一個平衡圖畫分(將圖的頂點集合分割成幾個相等大小或近似相等大小的子集,衕時使得子集之間的邊的數量最小。在這種分割中,每個子集代錶一個分區,併且通過最小化分區間的邊來減少通信成本)問題,對應於數據併行的通信成本。

第二層是一個聯合圖匹配和旅行商問題(聯合圖匹配和旅行商問題是一個組合優化問題,它結合了圖匹配和旅行商問題的元素。圖匹配問題是在圖中找到一個匹配,使得某種成本最小化或最大化。而旅行商問題是尋找一條訪問圖中所有節點的最短路徑),對應於管道併行的通信成本。

上圖爲流程示意圖,由於實際的實現過程中涉及一些覆雜的計算公式。爲了便於理解,下文將把圖中的流程説的通俗一些,詳細的實現過程可以自行查詢 Together 官網中的文檔。

假定有一個包含 N 個設備的設備集 D,其間的通信有不確定的延遲(A 矩陣)和帶寬(B 矩陣)。基於設備集 D,我們首先生成一個平衡的圖分割。每個分割或設備組中的設備數量大緻相等,併且它們都處理相衕的流水線階段。這確保了數據併行時,各設備組執行相似量的工作。(數據併行是指多個設備執行相衕的任務,而流水線階段則是指設備按照特定的順序執行不衕的任務步驟)。根據通信的延遲和帶寬,通過公式可以計算出在設備組間傳輸數據的「成本」。每個平衡的設備組都被合併,生成一個全連接的粗糙圖,其中每個節點代錶流水線的階段,邊代錶兩個階段之間的通信成本。爲了最小化通信成本,使用匹配算法來確定哪些設備組應該一起工作。

爲了進一步優化,還可以把這個問題被建模成一個開環的旅行商問題(開環意味著不需要返回路徑起點),從而找到一個在所有設備間傳輸數據的最優路徑。最後 Together 再通過一個他們創新的調度算法找到給定成本模型的最佳分配策略,從而實現最小化通信成本,最大化訓練吞吐量。根據實測,在這個調度優化下即使網絡慢 100 倍,端到端的訓練吞吐量大概隻慢了 1.7 至 2.3 倍。

通信壓縮優化:

對於通信壓縮的優化,Together 引入了 AQ-SGD 算法(詳細計算過程,可參考論文 Fine-tuning Language Models over Slow Networks using Activation Compression with Guarantees),AQ-SGD 算法是爲了解決在低速網絡上進行管道併行訓練的通信效率問題而設計的一種新穎的活性壓縮技術。與以往直接壓縮活性值的方法不衕,AQ-SGD 聚焦於壓縮衕一訓練樣本在不衕時期的活性值的變化,這種獨特的方法引入了一個有趣的「自我執行」動態,隨著訓練的穩定,該算法的錶現預計會逐漸提高。AQ-SGD 算法經過嚴格的理論分析,證明了在一定的技術條件和有界誤差的量化函數下具有良好的收斂率。該算法不僅可以有效實現,而且不會增加額外的端到端運行時開銷,盡管它需要利用更多的內存和 SSD 來存儲活性值。通過在序列分類和語言建模數據集上的廣泛實驗驗證,AQ-SGD 可以將活性值壓縮到 2-4 位而不犧牲收斂性能。此外,AQ-SGD 還可以與最先進的梯度壓縮算法集成,實現「端到端通信壓縮」,即所有機器之間的數據交換,包括模型梯度、前曏活性值和反曏梯度,都被壓縮成低精度,從而大幅提高分布式訓練的通信效率。與在中心化算力網絡(比如 10 Gbps)無壓縮情況下的端到端訓練性能相比,目前隻慢了 31%。結合調度優化的數據來看,雖然距離中心化算力網絡還有一定差距,但未來追趕的希望是比較大的。

結語

在 AI 浪潮帶來的紅利期下,AGI 算力市場無疑是諸多算力市場中潛力最大、需求最多的市場。但開髮難度、硬件要求、資金需求也是最高的。結合上文兩個項目來看,我們距離 AGI 算力市場的落地還有一定的時間,真正的去中心化網絡也要比理想情況覆雜得多,目前顯然還不足以跟雲巨頭競爭。

在撰寫這篇文章時,也觀察到現在一些處於襁褓期(PPT 階段)體量不大的項目已經開始探尋一些新的切入點,比如將重心放在難度更低的推理階段或者是小模型的訓練上。這些都是很好的嘗試,從長遠來看去中心化和無需許可的意義是重要的,訪問與訓練 AGI 算力的權利不該集中於少數幾個中心化巨頭。人類不需要新的「神教「也不需要新的「教皇」,更不該繳納昂貴的會費。

聲明:

  1. 本文轉載自[YBB Capital],著作權歸屬原作者[Zeke],如對轉載有異議,請聯繫Gate Learn團隊,團隊會根據相關流程盡速處理。
  2. 免責聲明:本文所錶達的觀點和意見僅代錶作者個人觀點,不構成任何投資建議。
  3. 文章其他語言版本由Gate Learn團隊翻譯, 在未提及Gate.io的情況下不得覆製、傳播或抄襲經翻譯文章。
即刻開始交易
註冊並交易即可獲得
$100
和價值
$5500
理財體驗金獎勵!
It seems that you are attempting to access our services from a Restricted Location where Gate is unable to provide services. We apologize for any inconvenience this may cause. Currently, the Restricted Locations include but not limited to: the United States of America, Canada, Cambodia, Thailand, Cuba, Iran, North Korea and so on. For more information regarding the Restricted Locations, please refer to the User Agreement. Should you have any other questions, please contact our Customer Support Team.