『ZK è il gioco finale？Una grafica per capire: come le prove a conoscenza zero stanno cambiando la blockchain』 Recentemente, vari progetti hanno cambiato il loro avatar per unirsi all'ondata dei piccoli pinguini, il che fa sorgere l'idea che stiamo per fare qualcosa di grande insieme. Ricordo che l'ultima volta che è successo qualcosa di simile è stato con "ZK è il gioco finale", ogni persona nel Web3 ha più o meno familiarità con ZK. Per aiutare i miei amici a comprendere meglio lo stato attuale della pista ZK, ho raccolto il percorso di sviluppo delle prove a conoscenza zero x blockchain negli ultimi dieci anni. Attualmente, il progetto ZK che considero più promettente è @boundless_xyz. Iniziamo! 🗓️ Sviluppo delle prove a conoscenza zero nel campo della blockchain 🔹Fase 1: 2014~2016: Prima combinazione di ZKP e blockchain 2014: Inizio dell'attenzione su ZKP Vitalik Buterin e altri iniziano a esplorare le possibilità degli zk-SNARKs in Ethereum; gli zk-SNARKs sono un sistema di prove a conoscenza zero che elimina la necessità di interazione utilizzando numeri casuali pubblici o funzioni hash. Più adatto per scenari blockchain. ZKP è visto come una potenziale tecnologia per la privacy. 2016: Lancio di Zcash (momento storico) Zcash è il primo progetto a utilizzare realmente zk-SNARK sulla mainnet. Ha realizzato transazioni completamente anonime (indirizzo e importo non visibili). Si basa su un'impostazione fidata (Trusted Setup). 🔹Fase 2: 2017~2019: Open source della tecnologia ZKP e ottimizzazione delle prestazioni Iniziano a comparire i framework di prove a conoscenza zero: libsnark, Bellman e altri librerie open source vengono lanciati; più progetti ricercano come generare prove più velocemente e verificare a costi inferiori. I progetti iniziano a provare applicazioni di secondo livello: StarkWare, Aztec, ZKSync iniziano a studiare zkRollup; StarkWare lancia zk-STARK, che non dipende da impostazioni fidate e resiste agli attacchi quantistici; Bulletproofs viene adottato da Monero per transazioni private più compatte. 🔹Fase 3: 2020~2021: Praticità di ZKP e esplosione di zkRollup zkRollup diventa una popolare soluzione di scalabilità: zkRollup sposta gran parte del calcolo fuori dalla catena, mettendo solo le prove sulla catena; realizza "sicurezza + costi bassi + alta capacità di elaborazione". Progetti rappresentativi: ZKSync: basato su zk-SNARK, supporta trasferimenti e transazioni; Loopring: supporta zkRollup DEX; StarkEx: motore zkRollup ad alte prestazioni lanciato da StarkWare; Aztec 2.0: costruisce un sistema di contratti intelligenti privati utilizzando ZKP. 🔹Fase 4: 2022~2023: zkEVM e calcolo generale Apparizione di zkEVM: porta la Ethereum Virtual Machine (EVM) all'interno di ZKP zkEVM consente agli sviluppatori di continuare a scrivere contratti in Solidity; ogni istruzione eseguita sull'EVM può essere "provata". Percorsi principali di zkEVM: Polygon zkEVM: altamente compatibile con Solidity ZKSync Era: alte prestazioni, compatibilità in aumento Scroll: compatibilità con i client Ethereum Taiko: equivalenza completa (obiettivo) Altre innovazioni: zkVM (come Risc Zero): combina calcolo generale e ZKP; zkWASM: WebAssembly + ZKP, espande le applicazioni Web3. 🔹Stato attuale: 2024~2025: Ingegnerizzazione, modularizzazione e integrazione con l'AI delle ZKP Vari ZKDSL (Circom, Noir, Leo, Juvix) maturano; la toolchain ZKP supporta linguaggi mainstream come Rust, C, Solidity; in combinazione con l'AI: fornisce prove ZK affidabili per l'inferenza dei modelli e l'input dei dati; Casi rappresentativi: Boundless @boundless_xyz: commercializzazione e mercato delle prove a conoscenza zero, costruzione di una rete di incentivi per il calcolo decentralizzato #Kaito #Boudless @blockTVBee @sanyi_eth_ @wenxue600 @0xNing0x