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

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

目前零知識(shí)證明（ZKP）應(yīng)用的主要2個(gè)方向：隱私和可驗(yàn)證計(jì)算，Aleo是隱私L1公鏈，同時(shí)兼具可編程性，像ZCash等雖然也是隱私公鏈，但是不具備可編程性。以太坊L2上的ZK-Rollup項(xiàng)目，屬于可驗(yàn)證計(jì)算，我們之前的文章也分析過(guò)：重磅分析！為什么說(shuō)FPGA或者ZK通用服務(wù)器在Aleo項(xiàng)目上機(jī)會(huì)是零？，在證明的需求量上完全不是一個(gè)級(jí)別。

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

項(xiàng)目簡(jiǎn)介Aleo 是個(gè)使用零知識(shí)證明解決隱私問(wèn)題，同時(shí)保證可編程特性的公鏈。具體而言，Aleo通過(guò)零知識(shí)證明保護(hù)用戶隱私，包括隱藏參與者、金額、智能合約等交互細(xì)節(jié)，同時(shí)讓用戶有選擇權(quán)（Aleo提供了可選擇退出隱私模式，確保終的控制權(quán)屬于用戶，并可以自行選擇他們所希望公開(kāi)或隱藏的信息）；通過(guò)使用零知識(shí)密碼學(xué)，還將智能合約執(zhí)行轉(zhuǎn)移到鏈下，支持各種Dapp，保證其可拓展性（每秒數(shù)千筆交易）。