生成證明的速度可以從軟件和硬件兩個方面來優(yōu)化:

軟件層面，在語言層面上，ZK更友好的格式，也會帶來加速生成的過程，比如Aleo的Leo語言。再就是算法本身的優(yōu)化，雖然說有一定的優(yōu)化空間，但是要想有大的突破需要非常多的時間，畢竟牽涉到很多數(shù)學問題。

硬件層面，也就是所謂的硬件加速，CPU、GPU、FPGA、ASIC。CPU與GPU相比在大數(shù)據(jù)多任務處理上，肯定GPU更占優(yōu)勢。FPGA與GPU相比，在兼顧了靈活性的基礎上，無論是計算能力和功耗性能上都要更強，缺點是性價比太低。ASIC是的，其他的硬件形態(tài)都是無法比擬的。

根據(jù)近期Aleo項目官方信息，Testnet3的第二階段(證明者POW挖礦)將會在未來幾周開始，很大概率會在十月底啟動。

4.市面Aleo礦機的種類比較多，應該怎么選擇?有哪些參考標準?

市面上無論給出怎樣的配置和方案，終都要看這個礦機實在能夠有多少PPS的算力，因為終Ale0積分獎勵只跟機器能產(chǎn)生的PPS算力相關，跟其它的無關。 因此不管是二卡機，四卡機，六卡機，八卡機等，無論是多少復雜的配置，終投資者只需要盯著每PPS的投入成本和產(chǎn)生的收益即可，這樣可以屏蔽掉市面上很多雜音。具體針對礦機的參考標準可以參考之前的文章《Aleo 礦機配置參考因素對比分析》