生成證明的速度可以從軟件和硬件兩個方面來優(yōu)化:
軟件層面,在語言層面上,ZK更友好的格式,也會帶來加速生成的過程,比如Aleo的Leo語言。再就是算法本身的優(yōu)化,雖然說有一定的優(yōu)化空間,但是要想有大的突破需要非常多的時間,畢竟?fàn)可娴胶芏鄶?shù)學(xué)問題。
既然共識是POS的,自然也就不怕ASIC控制網(wǎng)絡(luò),壓根也控制不了,也就不存在分叉的問題,而且從算法和定位的角度上來說,ASIC也是必然需求。Aleo芯片機(jī),Aleo-ASIC,zktaoma或者maxsayss
Aleo是什么?
Aleo是個提供完全私有應(yīng)用程序的公鏈,利用去中心化系統(tǒng)和零知識密碼學(xué)為用戶提供具有隱私的無限計(jì)算,通過構(gòu)建一個默認(rèn)為私有、開源且為Web構(gòu)建的區(qū)塊鏈,解決區(qū)塊鏈隱私保護(hù)的缺點(diǎn)。
零知識證明密碼學(xué)的一些用例包括:
區(qū)塊鏈和加密貨幣:Zcash 等區(qū)塊鏈技術(shù)使用 ZKP 來保護(hù)交易隱私。一個人可以證明他們擁有足夠的加密貨幣來進(jìn)行交易,而無需透露其資金的確切金額。這在保證交易完整性的同時維護(hù)了隱私。