1. 算法
從算法的角度上來看,Aleo屬于零知識證明(ZKP)賽道項目,復雜度是比大餅和以太坊算法都要復雜的。算法的核心計算我們之前也提過主要是MSM+NTT/FFT的計算,還會包含一些Hash運算。這些計算主要目的是為了生成零知識證明,而生成證明的速度直接會影響生態的體驗。
生成證明的速度可以從軟件和硬件兩個方面來優化:
軟件層面,在語言層面上,ZK更友好的格式,也會帶來加速生成的過程,比如Aleo的Leo語言。再就是算法本身的優化,雖然說有一定的優化空間,但是要想有大的突破需要非常多的時間,畢竟牽涉到很多數學問題。
按照官方的設想和規劃未來在Aleo上每天的交易量都是上億美金的規模,在這樣大數據量的要求下,每時每刻都有證明需要被委托出去在極短的時間內完成證明的生產,不可能指望顯卡能解決這個問題。就像AI大模型訓練一樣,早期數據量和參數少的情況下可以用消費級顯卡,但是現在更多的都是為AI訓練設計的專用芯片和機器。
特色和優勢Aleo和其它公鏈的不同且獨特之處在于對隱私的保護和鏈上可擴展性。當前區塊鏈搭載的智能合約有兩個很大的限制:它們在設計上是完全公開、透明的,因此不允許隱私的存在;它們不能擴展到數百萬、更不用說數十億的用戶,意味著無法支持億萬用戶級別的線上實時游戲或活動。針對上述現象,Aleo網絡基于零知識證明密碼學,解決當前公鏈既保護隱私又支持處理海量數據(可擴展性)的難題。既解決當前互聯網數據泄露的困境,又完善當前區塊鏈數據信息公開透明的缺點,同時還實現和當前互聯網平臺相媲美的海量數據實時處理及豐富的可擴展性,這是Aleo項目為市場關注的特別之處。下圖能夠更直觀、清晰地了解Aleo網絡的特色: