1. 算法

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

再者對于隱私委托計(jì)算方案不僅可用于Aleo，也可用于其他需要生產(chǎn)證明的ZK項(xiàng)目，所以對于硬件的儲(chǔ)備和迭代是尤為重要的。

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

零知識證明密碼學(xué)的一些用例包括：

區(qū)塊鏈和加密貨幣：Zcash 等區(qū)塊鏈技術(shù)使用 ZKP 來保護(hù)交易隱私。一個(gè)人可以證明他們擁有足夠的加密貨幣來進(jìn)行交易，而無需透露其資金的確切金額。這在保證交易完整性的同時(shí)維護(hù)了隱私。