Un giocatore di SNARK ha effettivamente annunciato che stava seguendo STARK? L'era STARK con @zksync arriverà così presto che @Starknet trema!
Allora, qual è la nuova versione Boojum dell'aggiornamento zkSync? Perché zkSync ha annunciato il suo aggiornamento Stark così rapidamente? Qual è la differenza essenziale tra snark e stark? Che impatto avrà questo aggiornamento sul mercato L2?
Dal punto di vista della discussione tecnica, commentiamo e discutiamo rapidamente. 1/5
In poche parole, Boojum è la versione di transizione di zkSync dal sistema di prova SNARK a STARK.
Ciò significa che per molto tempo a venire, il sistema di certificazione Prover di zkSync avrà la capacità di interfaccia di Stark. La maggior parte delle esigenze tradizionali utilizzerà ancora la certificazione matura SNARK. Le singole applicazioni, in particolare quelle nell'ambiente multi-catena zk Stack, devono utilizzare zk sistema di certificazione Ciò può essere ottenuto collegandosi a boojum. 2/5
Il punto chiave in questo cerchio è che Boojum è una scelta inevitabile per zkSync per implementare la strategia multi-catena zk Stack.
Rispetto a STARK, il metodo di prova SNARK si basa sulla verifica ricorsiva, che è adatto per la prova di deduzione zk basata sulla stessa chiave pubblica nello stesso sistema, mentre la prova STARK può essere basata su un metodo di verifica non interattivo, consentendo un'implementazione complessa non ricorsiva in verifica dello stato della catena incrociata. 3/5
Questa è la differenza fondamentale tra i due sistemi di prova SNARK e STARK.
Rispetto al metodo di verifica di SNARK basato su presupposti matematici, il processo di prova di STARK contiene una grande quantità di informazioni ridondanti, quindi le risorse dell'algoritmo computazionale sono relativamente elevate e anche i tassi sono elevati.
Pertanto, in futuro la catena principale zkSync utilizzerà SNARK come sistema di certificazione principale e STARK è solo un'estensione della sua strategia multi-catena. 4/5
Ciò è in linea con lo spirito di sviluppo leggero ed efficiente di zkSync.
Pertanto, Boojum di zkSync non si trova nella stessa dimensione strategica di Starknet, ma porrà alcune minacce ad altri come Op Stark, Arbitrum orbit e polygon2.0.
Devi sapere che il passaggio di zkSync a STARK equivale a riconoscere le carenze tecniche di SNARK e utilizzare le carte vincenti dei prodotti concorrenti per sfondare il proprio limite. Il modello e l'ambizione di questa ondata di giocatori L2 sono davvero uno dopo l'altro. 5/5