Non parliamo più della narrazione ZK, chi sta effettivamente risolvendo il collo di bottiglia della potenza computazionale della prova a conoscenza zero?
Da molto tempo il settore ZK è intrappolato in un circolo vizioso, gli sviluppatori si stanno affannando a concorrere sulla compatibilità dei circuiti e sull'equivalenza EVM, trascurando volontariamente o involontariamente la perdita di efficienza più centrale. Di recente, mentre testavo il protocollo di base di ZeroBase, la mia impressione più immediata è stata che la sua strategia di sfruttamento della potenza computazionale è molto aggressiva. A confronto con l'architettura generica di RISC Zero, che cerca di essere ampia e completa, ma che risulta leggermente ingombrante nell'esecuzione, ZeroBase sta chiaramente seguendo un percorso di leggera riduzione più hardcore. Attualmente, la maggior parte degli ZK-Rollup sul mercato ha ritardi che vanno da decine di secondi a minuti nel generare prove, questo costo computazionale elevato ha praticamente eliminato la possibilità di interazioni in tempo reale ad alta frequenza.
Durante il debug pratico, ho notato che il ciclo di feedback delle prove di ZeroBase nella gestione di logiche complesse è stato ridotto a livelli estremamente bassi, questa velocità è una vera necessità per applicazioni come la finanza privata o i giochi nativi sulla catena, che richiedono feedback istantanei. Facendo un confronto trasversale con Aztec, sebbene Aztec sia già piuttosto maturo nella progettazione logica della privacy, il tentativo di ZeroBase di raggiungere velocità di prova estreme e completare la transizione di stato in millisecondi è chiaramente più in linea con l'appetito attuale del mercato per infrastrutture ad alte prestazioni.
Non credo che tutta la logica debba essere forzatamente ZKizzata, sarebbe solo uno spreco di risorse; questa capacità di selezione e accelerazione precisa per compiti computazionali specifici è, al contrario, la vera forza competitiva che ZeroBase sta mostrando attualmente. Molte persone sono ancora in preda al fascino di quei progetti di grande finanziamento con forti retroterra, ma io do più importanza alla logica di ottimizzazione del set di istruzioni di base. L'approccio di ZeroBase, che ricostruisce il processo di generazione delle prove a partire dalla potenza computazionale di base, è molto più profondo rispetto al semplice rattoppare a livello applicativo. Anche se l'attuale sistema di vita è ancora nelle fasi iniziali e la documentazione presenta ancora alcuni errori da correggere, questa pura capacità di penetrazione tecnica è difficile da nascondere. Questa narrazione di una rete di prove decentralizzata dovrà comunque essere sostenuta da prestazioni hardcore, e non da mappe stradali vistose.