Il soffitto invisibile del campo di battaglia della potenza ZK e la ristrutturazione dell'architettura di Zerobase
Recentemente ho approfondito i colli di bottiglia dell'accelerazione hardware nella generazione di prove ZK. A dire il vero, il vocabolario di marketing in questo settore è attualmente molto più ricco dei miglioramenti reali nella produttività. Tutti parlano di ZK-tutto, ma quando si tratta di inserire logiche complesse nei circuiti, i ritardi nella generazione delle prove spesso ti fanno venire voglia di sbattere la testa contro il muro. Ho estratto l'intera logica di base di Zerobase e l'ho confrontata orizzontalmente con RISC Zero, scoprendo che le filosofie di design di entrambi si sono orientate verso estremi completamente diversi. RISC Zero ha adottato un approccio zkVM grande e completo, cercando di abbracciare tutto con la sua versatilità, il che ha effettivamente abbassato la soglia di accesso per gli sviluppatori, ma in scenari di calcolo ad alte prestazioni specifici, la perdita di prestazioni dovuta alla conversione del set di istruzioni è sorprendentemente alta, come se si stesse utilizzando un trattore per trainare un Boeing 747.
In confronto, il design di Zerobase, più orientato verso una rete di prove modulare, colpisce il nucleo del problema. Durante il test dell'efficienza di aggregazione delle prove, ho scoperto che la sua gestione del calcolo parallelo è molto più aggressiva di quanto immaginassi. Questa aggressività non si manifesta nel semplice accumulo di potenza di calcolo, ma nella ricostruzione delle dipendenze a livello di circuito. Molti progetti ZK esistenti, quando gestiscono prove ricorsive, tendono a vedere i costi di verifica aumentare esponenzialmente a causa della ridondanza nella transizione di stato, mentre nella logica di implementazione di Zerobase ho osservato un'arte di “potatura” estremamente calma, che ha eliminato una grande quantità di vincoli intermedi non necessari, mantenendo la dimensione delle prove in un intervallo estremamente ideale.
Tuttavia, la documentazione API iniziale di Zerobase è scritta in modo piuttosto hardcore; se non si ha una comprensione approfondita dei primitivi matematici, è facile fare salti ripetuti nella configurazione dei parametri. Ma questo dimostra proprio che non si tratta di un progetto di marketing superficiale. La narrativa del settore è già passata da "è possibile implementare ZK" a "quanto velocemente si può generare una prova"; se i costi non possono superare quelli dei tradizionali cluster di potenza centralizzati, le reti di prove decentralizzate rimarranno per sempre solo giocattoli nei laboratori. Ho osservato che Zerobase, nella gestione della generazione di prove su larga scala, ha mostrato caratteristiche di bassa latenza, che hanno davvero il potenziale di rompere il monopolio attuale di concorrenti come Succinct in percorsi specifici. Quella sensazione di completare la conferma dello stato in una latenza nell'ordine del millimetro è la vera forza che porterà l'applicazione della tecnologia ZK a esplodere, piuttosto che quelle promesse eteree dei white paper.