1. 算法
從算法的角度上來看,Aleo屬于零知識證明(ZKP)賽道項目,復(fù)雜度是比大餅和以太坊算法都要復(fù)雜的。算法的核心計算我們之前也提過主要是MSM+NTT/FFT的計算,還會包含一些Hash運算。這些計算主要目的是為了生成零知識證明,而生成證明的速度直接會影響生態(tài)的體驗。
硬件層面,也就是所謂的硬件加速, CPU、GPU、FPGA、ASIC。CPU與GPU相比在大數(shù)據(jù)多任務(wù)處理上,肯定GPU更占優(yōu)勢。FPGA與GPU相比,在兼顧了靈活性的基礎(chǔ)上,無論是計算能力和功耗性能上都要更強,缺點是性價比太低。ASIC是的,其他的硬件形態(tài)都是無法比擬的。
再者對于隱私委托計算方案不僅可用于Aleo,也可用于其他需要生產(chǎn)證明的ZK項目,所以對于硬件的儲備和迭代是尤為重要的。
項目簡介Aleo 是個使用零知識證明解決隱私問題,同時保證可編程特性的公鏈。具體而言,Aleo通過零知識證明保護用戶隱私,包括隱藏參與者、金額、智能合約等交互細節(jié),同時讓用戶有選擇權(quán)(Aleo提供了可選擇退出隱私模式,確保終的控制權(quán)屬于用戶,并可以自行選擇他們所希望公開或隱藏的信息);通過使用零知識密碼學(xué),還將智能合約執(zhí)行轉(zhuǎn)移到鏈下,支持各種Dapp,保證其可拓展性(每秒數(shù)千筆交易)。