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

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

證明生成的過程中，約有60%的時間花在MSM上，其余時間由NTT/FTT主導。MSM和NTT都存在性能挑戰(zhàn)，通常的解決辦法：

●MSM可以在多線程上執(zhí)行，從而支持并行處理。然而，當處理大型數(shù)據(jù)向量時，例如6700萬個參數(shù)，乘法運算可能仍然很慢，并且需要大量的內(nèi)存資源。此外，MSM存在可擴展性方面的挑戰(zhàn)，即使在廣泛并行化的情況下也可能保持緩慢。

為什么以太坊或者門羅是抵制ASIC的？看看大餅就知道了，主要是比較低成本的ASIC讓以太坊社區(qū)預測到了ASIC機器未來可能占領(lǐng)以太坊網(wǎng)絡(luò)，而以太坊網(wǎng)絡(luò)開始的共識是PoW，和大餅一樣。

雖然PoW的周期是10年，不代表說10年后ASIC就不需要了，只要隱私委托代理計算方案還存在，那么ASIC其實是一直需要的。

總結(jié)，從算法、定位和共識三個方面綜合來看，Aleo都和以往的其他公鏈項目有本質(zhì)上的差別，而ASIC對于Aleo來說是必需的硬件設(shè)備，就好比專用顯卡/芯片對于AI大模型訓練是一樣的道理，所以官方明確表態(tài)支持ASIC也在情理之中，而且無論從Token價格、內(nèi)存、帶寬、成本、回本周期等因素長期來看，ASIC都是選擇。