目前零知識證明(ZKP)應(yīng)用的主要2個方向:隱私和可驗證計算,Aleo是隱私L1公鏈,同時兼具可編程性,像ZCash等雖然也是隱私公鏈,但是不具備可編程性。以太坊L2上的ZK-Rollup項目,屬于可驗證計算,我們之前的文章也分析過:重磅分析!為什么說FPGA或者ZK通用服務(wù)器在Aleo項目上機會是零?,在證明的需求量上完全不是一個級別。
由于Aleo在隱私模式下,每筆交易都需要生產(chǎn)零知識證明,而且需要在很短的時間內(nèi)完成,這樣生態(tài)的體驗才是流暢的且能大規(guī)模發(fā)展,所以基于這個背景需求,才會有Aleo的隱私委托代理計算方案,也就是在誕生Aleo項目的論文中大篇幅講解的:誕生Aleo項目的論文完整中文版翻譯—Zexe實現(xiàn)去中心化的私有計算,Aleo芯片機,Aleo-ASIC,zktaoma或者maxsayss
雖然PoW的周期是10年,不代表說10年后ASIC就不需要了,只要隱私委托代理計算方案還存在,那么ASIC其實是一直需要的。
總結(jié),從算法、定位和共識三個方面綜合來看,Aleo都和以往的其他公鏈項目有本質(zhì)上的差別,而ASIC對于Aleo來說是必需的硬件設(shè)備,就好比專用顯卡/芯片對于AI大模型訓練是一樣的道理,所以官方明確表態(tài)支持ASIC也在情理之中,而且無論從Token價格、內(nèi)存、帶寬、成本、回本周期等因素長期來看,ASIC都是選擇。
身份驗證和身份驗證:ZKP 可用于確認身份,而不會泄露不必要的信息。例如,一個人可以在不提供確切出生日期的情況下證明自己已年滿 18 歲,或者在不共享密碼等敏感數(shù)據(jù)的情況下證明自己的身份。這可以限度地降低身份盜竊或未經(jīng)授權(quán)訪問的風險。
多方計算(SMPC):ZKP 可以促進多方之間的復(fù)雜交互,其中每一方都可以證明他們遵循商定的協(xié)議,而無需透露其私人輸入。這在各種場景中都很有用,例如保護隱私的數(shù)據(jù)挖掘、投票系統(tǒng)和分布式游戲。