生成證明的速度可以從軟件和硬件兩個方面來優(yōu)化:
軟件層面,在語言層面上,ZK更友好的格式,也會帶來加速生成的過程,比如Aleo的Leo語言。再就是算法本身的優(yōu)化,雖然說有一定的優(yōu)化空間,但是要想有大的突破需要非常多的時間,畢竟牽涉到很多數(shù)學問題。
再者對于隱私委托計算方案不僅可用于Aleo,也可用于其他需要生產(chǎn)證明的ZK項目,所以對于硬件的儲備和迭代是尤為重要的。
項目簡介Aleo 是個使用零知識證明解決隱私問題,同時保證可編程特性的公鏈。具體而言,Aleo通過零知識證明保護用戶隱私,包括隱藏參與者、金額、智能合約等交互細節(jié),同時讓用戶有選擇權(quán)(Aleo提供了可選擇退出隱私模式,確保終的控制權(quán)屬于用戶,并可以自行選擇他們所希望公開或隱藏的信息);通過使用零知識密碼學,還將智能合約執(zhí)行轉(zhuǎn)移到鏈下,支持各種Dapp,保證其可拓展性(每秒數(shù)千筆交易)。
特色和優(yōu)勢Aleo和其它公鏈的不同且獨特之處在于對隱私的保護和鏈上可擴展性。當前區(qū)塊鏈搭載的智能合約有兩個很大的限制:它們在設(shè)計上是完全公開、透明的,因此不允許隱私的存在;它們不能擴展到數(shù)百萬、更不用說數(shù)十億的用戶,意味著無法支持億萬用戶級別的線上實時游戲或活動。針對上述現(xiàn)象,Aleo網(wǎng)絡(luò)基于零知識證明密碼學,解決當前公鏈既保護隱私又支持處理海量數(shù)據(jù)(可擴展性)的難題。既解決當前互聯(lián)網(wǎng)數(shù)據(jù)泄露的困境,又完善當前區(qū)塊鏈數(shù)據(jù)信息公開透明的缺點,同時還實現(xiàn)和當前互聯(lián)網(wǎng)平臺相媲美的海量數(shù)據(jù)實時處理及豐富的可擴展性,這是Aleo項目為市場關(guān)注的特別之處。下圖能夠更直觀、清晰地了解Aleo網(wǎng)絡(luò)的特色: