1. 算法
從算法的角度上來看,Aleo屬于零知識證明(ZKP)賽道項(xiàng)目,復(fù)雜度是比大餅和以太坊算法都要復(fù)雜的。算法的核心計(jì)算我們之前也提過主要是MSM+NTT/FFT的計(jì)算,還會包含一些Hash運(yùn)算。這些計(jì)算主要目的是為了生成零知識證明,而生成證明的速度直接會影響生態(tài)的體驗(yàn)。
由于Aleo在隱私模式下,每筆交易都需要生產(chǎn)零知識證明,而且需要在很短的時(shí)間內(nèi)完成,這樣生態(tài)的體驗(yàn)才是流暢的且能大規(guī)模發(fā)展,所以基于這個(gè)背景需求,才會有Aleo的隱私委托代理計(jì)算方案,也就是在誕生Aleo項(xiàng)目的論文中大篇幅講解的:誕生Aleo項(xiàng)目的論文完整中文版翻譯—Zexe實(shí)現(xiàn)去中心化的私有計(jì)算,Aleo芯片機(jī),Aleo-ASIC,zktaoma或者maxsayss
特色和優(yōu)勢Aleo和其它公鏈的不同且獨(dú)特之處在于對隱私的保護(hù)和鏈上可擴(kuò)展性。當(dāng)前區(qū)塊鏈搭載的智能合約有兩個(gè)很大的限制:它們在設(shè)計(jì)上是完全公開、透明的,因此不允許隱私的存在;它們不能擴(kuò)展到數(shù)百萬、更不用說數(shù)十億的用戶,意味著無法支持億萬用戶級別的線上實(shí)時(shí)游戲或活動。針對上述現(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)平臺相媲美的海量數(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ù)了隱私。