1. 算法
從算法的角度上來看,Aleo屬于零知識證明(ZKP)賽道項(xiàng)目,復(fù)雜度是比大餅和以太坊算法都要復(fù)雜的。算法的核心計(jì)算我們之前也提過主要是MSM+NTT/FFT的計(jì)算,還會(huì)包含一些Hash運(yùn)算。這些計(jì)算主要目的是為了生成零知識證明,而生成證明的速度直接會(huì)影響生態(tài)的體驗(yàn)。
按照官方的設(shè)想和規(guī)劃未來在Aleo上每天的交易量都是上億美金的規(guī)模,在這樣大數(shù)據(jù)量的要求下,每時(shí)每刻都有證明需要被委托出去在極短的時(shí)間內(nèi)完成證明的生產(chǎn),不可能指望顯卡能解決這個(gè)問題。就像AI大模型訓(xùn)練一樣,早期數(shù)據(jù)量和參數(shù)少的情況下可以用消費(fèi)級顯卡,但是現(xiàn)在更多的都是為AI訓(xùn)練設(shè)計(jì)的專用芯片和機(jī)器。
特色和優(yōu)勢Aleo和其它公鏈的不同且獨(dú)特之處在于對隱私的保護(hù)和鏈上可擴(kuò)展性。當(dāng)前區(qū)塊鏈搭載的智能合約有兩個(gè)很大的限制:它們在設(shè)計(jì)上是完全公開、透明的,因此不允許隱私的存在;它們不能擴(kuò)展到數(shù)百萬、更不用說數(shù)十億的用戶,意味著無法支持億萬用戶級別的線上實(shí)時(shí)游戲或活動(dòng)。針對上述現(xiàn)象,Aleo網(wǎng)絡(luò)基于零知識證明密碼學(xué),解決當(dāng)前公鏈既保護(hù)隱私又支持處理海量數(shù)據(jù)(可擴(kuò)展性)的難題。既解決當(dāng)前互聯(lián)網(wǎng)數(shù)據(jù)泄露的困境,又完善當(dāng)前區(qū)塊鏈數(shù)據(jù)信息公開透明的缺點(diǎn),同時(shí)還實(shí)現(xiàn)和當(dāng)前互聯(lián)網(wǎng)平臺(tái)相媲美的海量數(shù)據(jù)實(shí)時(shí)處理及豐富的可擴(kuò)展性,這是Aleo項(xiàng)目為市場關(guān)注的特別之處。下圖能夠更直觀、清晰地了解Aleo網(wǎng)絡(luò)的特色:
零知識證明密碼學(xué)的一些用例包括:
區(qū)塊鏈和加密貨幣:Zcash 等區(qū)塊鏈技術(shù)使用 ZKP 來保護(hù)交易隱私。一個(gè)人可以證明他們擁有足夠的加密貨幣來進(jìn)行交易,而無需透露其資金的確切金額。這在保證交易完整性的同時(shí)維護(hù)了隱私。