生成證明的速度可以從軟件和硬件兩個(gè)方面來(lái)優(yōu)化:
軟件層面,在語(yǔ)言層面上,ZK更友好的格式,也會(huì)帶來(lái)加速生成的過(guò)程,比如Aleo的Leo語(yǔ)言。再就是算法本身的優(yōu)化,雖然說(shuō)有一定的優(yōu)化空間,但是要想有大的突破需要非常多的時(shí)間,畢竟?fàn)可娴胶芏鄶?shù)學(xué)問(wèn)題。
如果熟悉以太坊PoW算法的應(yīng)該知道,它的算法并不像大餅的算法,算力大小是與內(nèi)存和帶寬正相關(guān),這點(diǎn)上和Aleo的算法很像,所以我們看到在以太坊PoW算法上能做出有競(jìng)爭(zhēng)力的ASIC芯片機(jī)廠商屈指可數(shù)!
對(duì)比ASIC來(lái)說(shuō),由于是專用的機(jī)器,利用某些技術(shù)可以把內(nèi)存和帶寬做的很大,甚至是4090的幾十倍,但是成本和功耗卻非常低,這就是ASIC的優(yōu)勢(shì)。
由于Aleo在隱私模式下,每筆交易都需要生產(chǎn)零知識(shí)證明,而且需要在很短的時(shí)間內(nèi)完成,這樣生態(tài)的體驗(yàn)才是流暢的且能大規(guī)模發(fā)展,所以基于這個(gè)背景需求,才會(huì)有Aleo的隱私委托代理計(jì)算方案,也就是在誕生Aleo項(xiàng)目的論文中大篇幅講解的:誕生Aleo項(xiàng)目的論文完整中文版翻譯—Zexe實(shí)現(xiàn)去中心化的私有計(jì)算,Aleo芯片機(jī),Aleo-ASIC,zktaoma或者maxsayss
其次,與以太坊對(duì)比來(lái)看,以太坊并不是隱私公鏈,沒(méi)有隱私的剛性要求,從開(kāi)始設(shè)計(jì)的時(shí)候就沒(méi)有考慮過(guò)隱私,雖然在L2上也有像Aztec這樣的隱私項(xiàng)目,但是和Aleo這種L1的公鏈相比,完全不在一個(gè)數(shù)量級(jí)別。