1. 算法

從算法的角度上來(lái)看，Aleo屬于零知識(shí)證明（ZKP）賽道項(xiàng)目，復(fù)雜度是比大餅和以太坊算法都要復(fù)雜的。算法的核心計(jì)算我們之前也提過(guò)主要是MSM+NTT/FFT的計(jì)算，還會(huì)包含一些Hash運(yùn)算。這些計(jì)算主要目的是為了生成零知識(shí)證明，而生成證明的速度直接會(huì)影響生態(tài)的體驗(yà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í)別。

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

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

零知識(shí)證明是一種密碼技術(shù)，允許在不泄露實(shí)際數(shù)據(jù)本身的情況下驗(yàn)證信息。簡(jiǎn)單來(lái)說(shuō)，它使一方（證明者）能夠向另一方（驗(yàn)證者）證明某個(gè)陳述是真實(shí)的，而無(wú)需披露任何附加信息。這個(gè)概念是通過(guò)使用數(shù)學(xué)證明來(lái)實(shí)現(xiàn)的，數(shù)學(xué)證明提供了陳述有效性的證據(jù)，而不會(huì)泄露任何敏感細(xì)節(jié)。

零知識(shí)證明對(duì)于確保許多密碼協(xié)議的隱私和至關(guān)重要，它是防止?jié)撛谛畔⑿孤兜谋Ｕ?。它的?yīng)用擴(kuò)展到不同的領(lǐng)域，包括區(qū)塊鏈技術(shù)和身份驗(yàn)證系統(tǒng)，其中敏感數(shù)據(jù)的保護(hù)至關(guān)重要。