Vitalik提及的ZK实时证明,可依靠ZK硬件加速实现?

Odaily星球日报Pubblicato 2024-04-11Pubblicato ultima volta 2024-04-11

Introduzione

“实时证明”,真正去中心化的前置环节。

原创 | Odaily星球日报

作者 | 夫如何

Vitalik提及的ZK实时证明,可依靠ZK硬件加速实现?

2024 香港 Web3 嘉年华期间,以太坊联合创始人 Vitalik Buterin 发表演讲《Reaching the Limits of Protocol Design》。在本次演讲中,Vitalik 就如何提高 zk-snark 的效率展开阐述。

在演讲中,Vitalik 指出目前区块链的发展是以牺牲隐私性和可扩展性为前提的,zk-snark 所具备的属性能够对牺牲的隐私性和可扩展性进行补救。但目前 zk-snark 效率较低,在以太坊中,以太坊节点验证一个区块所需时间,约为 400 毫秒,而 zk-snark 验证一个以太坊区块的时间约为 20 分钟,这导致网络虽然具备隐私性和可扩展性,但运行时间却延长 3000 倍。所以想将 zk-snark 运行到现有区块链网络中,需要提供一种“实时证明”,如果证明生成时间降低,那么在保证区块链运行速度的同时,也能提升隐私性和可扩展性。

什么方法能够实现“实时证明”?为此Odaily星球日报将根据 Vitalik 在演讲中所提供的思路进行解析,并对相应方案的项目进行简短介绍。

zk-snark 实现“实时证明”的三个方向

在此之前,先科普一下 zk-snark,zk-snark 全称为简洁的非交互式零知识证明,为了更好的理解,我们分开解释:

  • 零知识证明:即证明者(Prover)能够在不向验证者(Verifier)提供任何有用的信息的情况下,使验证者相信某个论断是正确的。

  • 简洁的:指交易验证过程不涉及大量数据传输,且验证算法简单。

  • 非交互的:证明者与验证者之间无需进行交互。

以下是 zk-snark 的运作流程图。从图中对 zk-snark 进行简单解读:

  1. 利用 Setup,使用随机数生成置信参数 F,生成证明密钥 pk 和验证密钥 v

  2. 证明者输入隐私输入 W 和公开输入 x,生成证明 π,并用私钥 pk 签名。π 通过椭圆曲线加密,隐藏了 W

  3. 验证者验证证明: 验证者持有 v,输入 x 和 π,确认证明者知道 W。验证者无法得知 W

  4. 结果返回: 如果验证成功,则返回 TRUE;否则返回 FALSE。

Vitalik提及的ZK实时证明,可依靠ZK硬件加速实现?

通过上述以 Zcash 的 zk-snark 相关流程介绍,不难发现,zk-snark 在验证证明时,所产生的步骤别不多,同时根据 zk-snark 的特性来看,验证所耗时间并不多,根据相应的 zk-snark 相关统计,验证证明时间一般不超过 80 毫秒,那么影响 zk-snark 成为公链的运行阻碍的原因在于证明者提供的证明。

Vitalik提及的ZK实时证明,可依靠ZK硬件加速实现?

上图为目前比较主流的 zk-snark 相关技术的汇总,从中不难发现,证明的大小、证明生成时间,验证时间是衡量有关 zk-snark 技术的标准。抛开验证时间来看,大多数 zk-snark 的证明无论从证明大小和生成时间来看,都与本文起始部分,Vitalik 用以太坊为例的标准不符,值得注意的是,上述大多数技术的所在公链并不具备智能合约的功能,也无法与以太坊区块大小相提并论,所需证明尺寸和证明生成时间要求更高。

为此,Vitalik 在本次演讲中对 zk-snark“实时证明”的实现,提供三个解决优化方向。

  • 并行化和聚合:通过并行计算和证明聚合,提高验证大块区块的效率。每个计算步骤都可以进行独立证明,然后将这些证明进行聚合,减少验证过程中的计算时间和资源消耗。这可以通过利用并行计算和分布式系统的特性来实现,以加速大规模区块的验证过程。

  • 硬件设计改进:设计专门用于 SNARK 计算的 ASIC,以提高计算效率。类似于挖矿中使用的 ASIC,SNARK ASIC 可以通过定制化的硬件结构和优化的算法来加速 SNARK 计算过程,从而实现更快的验证速度和更低的成本。

  • 算法改进:进一步优化 snark 算法,包括 Groth 16、查找表、 64 位 snark、 32 位 stark 等,以提高算法的效率和可扩展性。此外,还可以研究开发更加高效的哈希函数和签名算法,使其更适合于 snark 的计算,进一步提高验证速度和资源利用率。

Vitalik 提倡第一个解决方向——并行计算和证明聚合,需要对相关公链和 zk-snark 运作流程进行优化,例如此前 zk-snark 算法中 Plonk 算法的递归属性,不过并行计算和证明聚合目前并未有更好的解决方案可以解决相应问题。

至于算法改进,目前在 zk-snark 领域,从性能上来看,主流依旧是 Groth 16 算法,随后出现的 zk-snark 算法多是为解决可信设置问题,在运行速度和证明生成时间上并无更多进展,并且 zk-snark 算法中,可信设置约简单,运行速度越快,但安全性也越差。为此以安全性为前提,zk-snark 提升速度还需持续建设。

上述两个解决方向主要以理论为支撑,这需要很长时间才能有所突破,那抛开理论,能否通过其他方式快速实现“实时证明”吗?硬件设计改进或许是达成目标的最佳捷径。

ZK 硬件加速或能尽快实现“实时证明”

从前文关于 zk-snark 性能的内容中,不难发现,真正限制 zk-snark 性能在于证明的生成,其中证明大小和电路规模决定证明生成时间。目前,大多数项目的复杂度越来越高,其证明大小和电路规模也在不断提升,生成证明的算力也在不断增加,为此 ZK 硬件加速项目应运而生。

ZK 硬件加速主要在证明生成中的多项式类型 NTT 任务和椭圆曲线 MSM 任务提供算力支持,主要这两项任务的运行逻辑简单,且大部分计算逻辑重复,并且可以进行可并行计算。

ZK 硬件和挖矿硬件相差不大,依旧是 GPU、FPGA 以及 ASIC 三种。不过 ZK 硬件加速领域目前比较常见的是 GPU/FPGA 方案,该方案比较容易实现,相关配件更易获取,不过相比于前两者,ASIC 潜力更大,也是 ZK 硬件加速领域目前增长点之一。

目前 ZK 硬件加速项目采用两种方式为相关 ZK 项目提供算力服务,包括硬件出售和 SaaS 算力服务。硬件出售顾名思义,和比特大陆一样出售矿机;SaaS 算力服务,更像提供一个算力市场,ZK 项目可以在市场上购买算力来帮助项目生成 ZK 证明。

目前 ZK 硬件加速领域比较小众,若不是 Vitalik 在演讲中提到,想必大多数人并不太清楚有哪些项目存在。为此Odaily星球日报对该板块项目进行整理,板块项目较少,其中CysicIngopediaSupranationalUlvantanna以及Auradine为目前较为知名的项目。

其中 Cysic 目前关注度较高,其推出 FPGA/ASIC 硬件加速在算力性能上较为突出,同时还有算力市场为客户提供算力支持服务;Auradine 比较综合,其主推的是比特币矿机,同时提供相应 ZK 算力硬件,不过 ZK 硬件并不是其主打产品;Ulvantanna 主打利用 FPGA 集群为 ZK 项目提供算力支持,值得一提的是,Web3知名资本 Paradigm 是其投资者;Supranational 项目比较奇特,推特和官网的更新截止在去年 5 月,不确定目前是否运行;Ingopedia 提供基于 GPU 和 FPGA 两种硬件加速服务。

Letture associate

Trading

Spot
Futures

Articoli Popolari

Cosa è ETH 3.0

ETH3.0 e $eth 3.0: Un'Analisi Approfondita del Futuro di Ethereum Introduzione Nel panorama in rapida evoluzione delle criptovalute e della tecnologia blockchain, ETH3.0, spesso indicato come $eth 3.0, è emerso come un argomento di considerevole interesse e speculazione. Il termine comprende due concetti principali che warrantono chiarimenti: Ethereum 3.0: Questo rappresenta un potenziale futuro aggiornamento volto ad aumentare le capacità dell'attuale blockchain di Ethereum, concentrandosi principalmente sul miglioramento della scalabilità e delle prestazioni. ETH3.0 Meme Token: Questo progetto di criptovaluta distinto cerca di sfruttare la blockchain di Ethereum per creare un ecosistema incentrato sui meme, promuovendo il coinvolgimento all'interno della comunità delle criptovalute. Comprendere questi aspetti di ETH3.0 è essenziale non solo per gli appassionati di criptovalute, ma anche per coloro che osservano tendenze tecnologiche più ampie nello spazio digitale. Che cos'è ETH3.0? Ethereum 3.0 Ethereum 3.0 è pubblicizzato come un aggiornamento proposto per la rete Ethereum già stabilita, che è stata la spina dorsale di molte applicazioni decentralizzate (dApps) e contratti smart sin dalla sua nascita. I miglioramenti previsti si concentrano principalmente sulla scalabilità, integrando tecnologie avanzate come lo sharding e le prove a conoscenza zero (zk-proofs). Queste innovazioni tecnologiche mirano a facilitare un numero senza precedenti di transazioni al secondo (TPS), potenzialmente raggiungendo milioni, affrontando così una delle limitazioni più significative della tecnologia blockchain attuale. Il miglioramento non è meramente tecnico, ma anche strategico; è volto a preparare la rete Ethereum per un'adozione e un'utilità diffuse in un futuro contrassegnato da un aumento della domanda di soluzioni decentralizzate. ETH3.0 Meme Token Al contrario di Ethereum 3.0, l'ETH3.0 Meme Token si avventura in un dominio più leggero e giocoso, combinando la cultura dei meme di internet con la dinamica delle criptovalute. Questo progetto consente agli utenti di acquistare, vendere e scambiare meme sulla blockchain di Ethereum, fornendo una piattaforma che promuove il coinvolgimento della comunità attraverso la creatività e interessi condivisi. L'ETH3.0 Meme Token mira a dimostrare come la tecnologia blockchain possa intersecarsi con la cultura digitale, creando casi d'uso che siano sia divertenti che finanziariamente praticabili. Chi è il Creatore di ETH3.0? Ethereum 3.0 L'iniziativa verso Ethereum 3.0 è principalmente propulsa da un consorzio di sviluppatori e ricercatori all'interno della comunità di Ethereum, tra cui Justin Drake. Conosciuto per le sue intuizioni e contributi all'evoluzione di Ethereum, Drake è stato una figura di spicco nelle discussioni riguardanti la transizione di Ethereum verso un nuovo livello di consenso, chiamato “Beam Chain.” Questo approccio collaborativo allo sviluppo significa che Ethereum 3.0 non è il prodotto di un creatore singolo, ma piuttosto una manifestazione di ingegno collettivo focalizzato sul progresso della tecnologia blockchain. ETH3.0 Meme Token I dettagli riguardanti il creatore dell'ETH3.0 Meme Token sono attualmente non rintracciabili. La natura dei token meme conduce spesso a una struttura più decentralizzata e guidata dalla comunità, il che potrebbe spiegare la mancanza di attribuzione specifica. Questo si allinea con l'etica della comunità crypto più ampia, dove l'innovazione spesso nasce da sforzi collaborativi piuttosto che individuali. Chi sono gli Investitori di ETH3.0? Ethereum 3.0 Il supporto per Ethereum 3.0 proviene principalmente dalla Ethereum Foundation insieme a una comunità entusiasta di sviluppatori e investitori. Questa associazione fondamentale fornisce un considerevole grado di legittimità e migliora le prospettive di implementazione di successo poiché sfrutta la fiducia e la credibilità costruite nel corso degli anni di operazioni della rete. Nel clima in rapida evoluzione delle criptovalute, il supporto della comunità gioca un ruolo cruciale nello sviluppo e nell'adozione, posizionando Ethereum 3.0 come un serio contenditore per i futuri progressi della blockchain. ETH3.0 Meme Token Sebbene le fonti attualmente disponibili non forniscano informazioni esplicite riguardo ai fondamenti o alle organizzazioni di investimento che sostengono l'ETH3.0 Meme Token, ciò è indicativo del modello di finanziamento tipico per i token meme, che spesso si basa sul supporto di base e sul coinvolgimento della comunità. Gli investitori in tali progetti sono tipicamente individui motivati dal potenziale per innovazioni guidate dalla comunità e dallo spirito di cooperazione trovato all'interno della comunità crypto. Come Funziona ETH3.0? Ethereum 3.0 Le caratteristiche distintive dell'Ethereum 3.0 risiedono nella sua proposta di implementazione della tecnologia di sharding e zk-proof. Lo sharding è un metodo di partizionamento della blockchain in pezzi più piccoli e gestibili o “shard,” che possono elaborare transazioni in modo concorrente piuttosto che sequenziale. Questa decentralizzazione dell'elaborazione aiuta a prevenire la congestione e garantisce che la rete rimanga reattiva anche sotto un carico pesante. La tecnologia delle prove a conoscenza zero (zk-proof) contribuisce con un ulteriore livello di sofisticazione consentendo la validazione delle transazioni senza rivelare i dati sottostanti coinvolti. Questo aspetto non solo migliora la privacy, ma aumenta anche l'efficienza complessiva della rete. Si parla anche di incorporare una macchina virtuale Ethereum a conoscenza zero (zkEVM) in questo aggiornamento, amplificando ulteriormente le capacità e l'utilità della rete. ETH3.0 Meme Token L'ETH3.0 Meme Token si distingue capitalizzando sulla popolarità della cultura dei meme. Stabilisce un mercato per gli utenti che desiderano partecipare al trading di meme, non solo per divertimento, ma anche per potenziale guadagno economico. Integrando funzioni come lo staking, la fornitura di liquidità e meccanismi di governance, il progetto promuove un ambiente che incentiva l'interazione e la partecipazione della comunità. Offrendo una miscela unica di intrattenimento e opportunità economica, l'ETH3.0 Meme Token mira ad attrarre un pubblico variegato, che va dagli appassionati di crypto ai semplici intenditori di meme. Timeline di ETH3.0 Ethereum 3.0 11 Novembre 2024: Justin Drake accenna al prossimo aggiornamento ETH 3.0, incentrato sui miglioramenti della scalabilità. Questo annuncio segna l'inizio delle discussioni formali riguardo l'architettura futura di Ethereum. 12 Novembre 2024: La proposta attesa per Ethereum 3.0 dovrebbe essere svelata a Devcon a Bangkok, preparando il terreno per un feedback più ampio della comunità e potenziali passi successivi nello sviluppo. ETH3.0 Meme Token 21 Marzo 2024: L'ETH3.0 Meme Token viene ufficialmente elencato su CoinMarketCap, segnando il suo ingresso nel dominio pubblico delle criptovalute e aumentando la visibilità per il suo ecosistema basato sui meme. Punti Chiave In conclusione, Ethereum 3.0 rappresenta una significativa evoluzione all'interno della rete Ethereum, concentrandosi sul superamento delle limitazioni riguardanti scalabilità e prestazioni attraverso tecnologie avanzate. I suoi aggiornamenti proposti riflettono un approccio proattivo alle future esigenze e usabilità. D'altra parte, l'ETH3.0 Meme Token incarna l'essenza della cultura guidata dalla comunità nello spazio delle criptovalute, sfruttando la cultura dei meme per creare piattaforme coinvolgenti che incoraggiano la creatività e la partecipazione degli utenti. Comprendere gli scopi e le funzionalità distinte di ETH3.0 e $eth 3.0 è fondamentale per chiunque sia interessato ai continui sviluppi nello spazio crypto. Con entrambe le iniziative che tracciano percorsi unici, esse sottolineano collettivamente la natura dinamica e multifacetica dell'innovazione blockchain.

170 Totale visualizzazioniPubblicato il 2024.04.04Aggiornato il 2024.12.03

Cosa è ETH 3.0

Cosa è ETHEREUM

HarryPotterTrumpHomerSimpson777Inu: Panoramica di un Progetto Crypto Web3 Introduzione Nel mondo in rapida evoluzione delle criptovalute e della finanza decentralizzata, progetti innovativi emergono frequentemente, catturando l'interesse della comunità degli investitori e degli appassionati di crypto. Uno di questi progetti è HarryPotterTrumpHomerSimpson777Inu, una criptovaluta che si trova all'incrocio tra cultura popolare e tecnologia blockchain. Questo token guidato dalla comunità mescola personaggi e figure politiche ben noti, con l'obiettivo di creare una piattaforma coinvolgente e promuovere un'adozione diffusa. Che cos'è HarryPotterTrumpHomerSimpson777Inu? HarryPotterTrumpHomerSimpson777Inu è un token costruito sulla blockchain di Ethereum, progettato per essere accessibile e divertente per un pubblico diversificato. L'unicità di questo progetto deriva dal suo approccio tematico, che intreccia elementi di fantasia, politica e intrattenimento. Sfruttando il fascino nostalgico di personaggi amati, il progetto cerca di creare un'esperienza di criptovaluta coinvolgente, incoraggiando il coinvolgimento e la partecipazione della comunità. L'obiettivo principale di HarryPotterTrumpHomerSimpson777Inu è stabilire un token che risuoni con gli utenti a livello personale, promuovendo sia il divertimento che il coinvolgimento nell'ambito crypto. Questo branding distintivo mira ad attrarre individui che in precedenza potrebbero non essersi interessati alle criptovalute, facilitando un nuovo punto di ingresso per utenti potenziali. Creatore di HarryPotterTrumpHomerSimpson777Inu L'identità del creatore dietro HarryPotterTrumpHomerSimpson777Inu rimane sconosciuta. Questa non è una pratica rara nel dominio delle criptovalute, dove l'anonimato è spesso preferito dai fondatori come mezzo di protezione della privacy e promozione di un ethos decentralizzato. Questa oscurità non diminuisce il valore del progetto; al contrario, riflette una tendenza più ampia all'interno del settore, dove molti progetti di successo sono emersi da origini anonime. Investitori di HarryPotterTrumpHomerSimpson777Inu Le informazioni pubbliche riguardo agli investitori di HarryPotterTrumpHomerSimpson777Inu sono limitate. La natura del progetto, incentrata sul coinvolgimento della comunità, suggerisce una dipendenza da investimenti di piccole dimensioni da parte di singoli appassionati piuttosto che da sostegni sostanziali da fondazioni di investimento consolidate o corporation. Questo livello di trasparenza nel finanziamento è tipico di molti progetti di criptovaluta guidati dalla comunità, dove il supporto spesso proviene da movimenti di base piuttosto che da investitori istituzionali. Come Funziona HarryPotterTrumpHomerSimpson777Inu? Operando sulla blockchain di Ethereum, HarryPotterTrumpHomerSimpson777Inu sfrutta la sua solida infrastruttura per facilitare transazioni e promuovere interazioni tra gli utenti all'interno della comunità. Ciò che distingue questo progetto è il suo posizionamento tematico: canalizzando il carisma di personaggi iconici provenienti da diversi ambiti culturali, crea un'identità di marca distintiva. Questo approccio non solo attrae gli utenti, ma coltiva anche una comunità fedele attorno al token. Le meccaniche operative del progetto si concentrano sul coinvolgimento della comunità. Adotta un modello decentralizzato che incoraggia la partecipazione, consentendo agli utenti di interagire attraverso vari canali mentre promuovono lo scambio di idee e esperienze. Inoltre, il progetto abbraccia i principi del Web3, privilegiando la sovranità degli utenti e la decentralizzazione, che sono i pilastri del futuro di Internet. Timeline di HarryPotterTrumpHomerSimpson777Inu La storia di HarryPotterTrumpHomerSimpson777Inu è segnata da diversi eventi decisivi: 12 agosto 2023: L'inizio di HarryPotterTrumpHomerSimpson777Inu, segnando il suo ingresso nell'ecosistema delle criptovalute. Fase di Sviluppo: Un periodo focalizzato sulla costruzione di una strategia completa per stimolare la crescita guidata dalla comunità e il coinvolgimento degli utenti. Listing sugli Scambi: Sebbene i dettagli specifici di listing non siano stati divulgati, il progetto è stato reso accessibile su vari scambi di criptovalute, migliorando la sua visibilità nel mercato. Coinvolgimento della Comunità: Sforzi continui per coinvolgere attivamente la comunità, stabilendo canali di dialogo e promuovendo la partecipazione attraverso varie attività, tra cui concorsi, discussioni e votazioni comunitarie. Aspetti Chiave di HarryPotterTrumpHomerSimpson777Inu Focus sulla Comunità Un tratto distintivo di HarryPotterTrumpHomerSimpson777Inu è la sua forte enfasi sul coinvolgimento della comunità. Il progetto incoraggia attivamente gli utenti a partecipare a discussioni, condividere idee e contribuire all'evoluzione del progetto. Questa interazione coltiva un senso di appartenenza e di ownership tra i membri della comunità, essenziale per la sostenibilità a lungo termine del token. Utilizzo della Blockchain di Ethereum La scelta di costruire sulla blockchain di Ethereum consente a HarryPotterTrumpHomerSimpson777Inu di sfruttare le sue caratteristiche di sicurezza ben consolidate e architettura decentralizzata. Questa base garantisce affidabilità per le transazioni e fornisce un framework affidabile su cui sviluppare varie funzionalità. Approccio Tematico Unico Fusione di elementi della cultura pop nella sua identità, HarryPotterTrumpHomerSimpson777Inu crea una narrazione coinvolgente che lo differenzia da altre criptovalute. L'amalgama di personaggi e temi genera riconoscimento e intrigo immediati, rendendo il token relazionabile a un'ampia gamma di utenti potenziali. Anonimato nello Sviluppo Il creatore anonimo del progetto rimane una caratteristica ricorrente in molte iniziative di criptovaluta. Questo aspetto evidenzia un ethos di decentralizzazione, introducendo anche un livello di mistero che potrebbe affascinare un segmento della comunità crypto, attirando l'attenzione sul progetto e invitando l'impegno da parte di utenti che supportano l'idea di un'iniziativa decentralizzata e gestita dalla comunità. Conclusione HarryPotterTrumpHomerSimpson777Inu si presenta come un'aggiunta distintiva al panorama delle criptovalute, combinando il fascino della cultura popolare con le meccaniche innovative della tecnologia blockchain. Sebbene i dettagli riguardanti il creatore e gli investitori specifici rimangano non divulgati, il focus del progetto sulla comunità e il suo approccio tematico lo contraddistinguono come un potenziale attore influente nel contesto del Web3 e delle criptovalute. Man mano che l'ecosistema delle criptovalute continua ad espandersi, iniziative come HarryPotterTrumpHomerSimpson777Inu ci ricordano le molteplici modalità in cui la blockchain può connettere le comunità globali attraverso narrazioni e valori condivisi.

718 Totale visualizzazioniPubblicato il 2024.04.06Aggiornato il 2024.12.03

Cosa è ETHEREUM

Come comprare ETH

Benvenuto in HTX.com! Abbiamo reso l'acquisto di Ethereum (ETH) semplice e conveniente. Segui la nostra guida passo passo per intraprendere il tuo viaggio nel mondo delle criptovalute.Step 1: Crea il tuo Account HTXUsa la tua email o numero di telefono per registrarti il tuo account gratuito su HTX. Vivi un'esperienza facile e sblocca tutte le funzionalità,Crea il mio accountStep 2: Vai in Acquista crypto e seleziona il tuo metodo di pagamentoCarta di credito/debito: utilizza la tua Visa o Mastercard per acquistare immediatamente EthereumETH.Bilancio: Usa i fondi dal bilancio del tuo account HTX per fare trading senza problemi.Terze parti: abbiamo aggiunto metodi di pagamento molto utilizzati come Google Pay e Apple Pay per maggiore comodità.P2P: Fai trading direttamente con altri utenti HTX.Over-the-Counter (OTC): Offriamo servizi su misura e tassi di cambio competitivi per i trader.Step 3: Conserva Ethereum (ETH)Dopo aver acquistato Ethereum (ETH), conserva nel tuo account HTX. In alternativa, puoi inviare tramite trasferimento blockchain o scambiare per altre criptovalute.Step 4: Scambia Ethereum (ETH)Scambia facilmente Ethereum (ETH) nel mercato spot di HTX. Accedi al tuo account, seleziona la tua coppia di trading, esegui le tue operazioni e monitora in tempo reale. Offriamo un'esperienza user-friendly sia per chi ha appena iniziato che per i trader più esperti.

2.7k Totale visualizzazioniPubblicato il 2024.12.10Aggiornato il 2025.03.21

Come comprare ETH

Discussioni

Benvenuto nella Community HTX. Qui puoi rimanere informato sugli ultimi sviluppi della piattaforma e accedere ad approfondimenti esperti sul mercato. Le opinioni degli utenti sul prezzo di ETH ETH sono presentate come di seguito.

活动图片