1. 算法

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

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

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

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

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

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