證明生成的過程中,約有60%的時間花在MSM上,其余時間由NTT/FTT主導。MSM和NTT都存在性能挑戰,通常的解決辦法:
●MSM可以在多線程上執行,從而支持并行處理。然而,當處理大型數據向量時,例如6700萬個參數,乘法運算可能仍然很慢,并且需要大量的內存資源。此外,MSM存在可擴展性方面的挑戰,即使在廣泛并行化的情況下也可能保持緩慢。
目前零知識證明(ZKP)應用的主要2個方向:隱私和可驗證計算,Aleo是隱私L1公鏈,同時兼具可編程性,像ZCash等雖然也是隱私公鏈,但是不具備可編程性。以太坊L2上的ZK-Rollup項目,屬于可驗證計算,我們之前的文章也分析過:重磅分析!為什么說FPGA或者ZK通用服務器在Aleo項目上機會是零?,在證明的需求量上完全不是一個級別。
按照官方的設想和規劃未來在Aleo上每天的交易量都是上億美金的規模,在這樣大數據量的要求下,每時每刻都有證明需要被委托出去在極短的時間內完成證明的生產,不可能指望顯卡能解決這個問題。就像AI大模型訓練一樣,早期數據量和參數少的情況下可以用消費級顯卡,但是現在更多的都是為AI訓練設計的專用芯片和機器。
Aleo簡單理解就是一個做跨鏈去中心化交易的平臺。之前完成850萬美元種子輪融資,Republic Crypto領投,Arrington Capital、DeFi Alliance、Huobi Ventures、Ascensive Assets、Morningstar Ventures、GSR和Marshland Capital等參投。Aleo生態系統集成了各種 L1 鏈和 L2 網絡,允許開發人員和交易者使用來自隔離鏈的單動性,并具有且無憂的用戶界面,有助于為每個人創建一個更易于訪問和的 DeFi 生態系統。