:) di prove in tempo reale di domande e risposte Cos'è? ELI12. R: Un esercito di nerd ha appena risolto un problema di fantascienza: provare ogni blocco della mainnet di Ethereum in tempo reale. Queste prove zk sono esponenzialmente più economiche da verificare rispetto alla riesecuzione delle transazioni: solo pochi millisecondi, indipendentemente dal gas utilizzato. Blocchi Thicc, minuscoli validatori. I maxi della decentralizzazione si rallegrano. Il tempo reale non si stava rivelando impossibile per la matematica lunare? R: Lo era. Cinque anni fa eravamo a cinque ordini di grandezza di distanza. Ma la tecnologia ha continuato a crescere di 10 volte all'anno e ora siamo qui. Non sbiadire gli esponenziali. Inoltre, sugli esponenziali: → non sbiadire i computer quantistici che rompono l'ECDSA → non sbiadire gli halving che infrangono la sicurezza di Bitcoin In che modo Ethereum L1 diventa un "rollup basato e nativo"? R: Analizziamolo. → base: transazioni di ordini dei proponenti L1. Ethereum L1 è il livello di base: è basato tautologicamente. → nativo: L1 esegue le transazioni tramite la funzione di transizione di stato EVM sancita. Per definizione, Ethereum L1 è nativo. Lo sarà sempre. → rollup: un rollup ha dati onchain ed esecuzione offchain. Bloccando la mainnet, Ethereum L1 si trasforma in un rollup zk. I rollup sbloccano grandi limiti di benzina. La base è già a 35 megagas/sec, 20x Ethereum L1. Base punta a 1 gigagas/sec, anche Ethereum L1 può arrivarci. Wen gigagas L1? R: La call #3 di Ethproofs sarà dedicata alle gigaga L1: sintonizzatevi. Con EIP-9698 Dankrad propone aumenti di gas ~3x/year, o ~10x ogni 2 anni. Si tratta di 1.000 volte in 6 anni. Numeri rispettabili, ma pur sempre da principiante. La mia opinione ottimistica? Ora che le zkVM corrispondono alle prestazioni EVM, i limiti di gas possono monitorare i miglioramenti delle zkVM. Se continuiamo a raggiungere 10 volte all'anno, è 1 gigaga/sec in 3 anni. Ho lavorato con Dankrad per oltre un decennio: la realtà di solito si colloca tra la sua cautela e la mia speranza. Gli zkVM non sono difettosi? E per quanto riguarda la verifica formale? R: La verifica formale è il punto di arrivo, non il primo passo. La strategia a breve termine: zkVM diversity. Entro la fine del Q2 una manciata di zkVM raggiungerà il test in tempo reale. Proprio come i client CL ed EL, si presume che ogni singolo client sia difettoso. La sicurezza nasce dalla diversità. La dimostrazione a bassa latenza può scalare fino a gigagas? R: Sì. La prova SNARK è enormemente parallelizzabile. Solo l'esecuzione x86 iniziale e la suddivisione in blocchi sono sequenziali. L'EIP-7825 propone di limitare la quantità massima di gas utilizzata per transazione. Ciò consente una facile suddivisione in blocchi ai limiti delle transazioni. Scale di parallelismo. La latenza rimane bassa. Qual è il prossimo collo di bottiglia di zkVM? Potenza. Una vitalità credibile del prover 1-of-n significa che la prova domestica dovrebbe essere accessibile agli appassionati. Un obiettivo ragionevole può essere pari o inferiore a 10 kW per cluster di prova. Come possiamo aumentare il limite del gas di 1.000 volte con un budget di 10 kW? Software →: sistemi di prova, circuiti, algoritmi continuano a comporsi → hardware: legge di Moore + ASIC SNARK → Prove distribuite: distribuire il carico, senza fiducia