Presso @ziskvm, stiamo ora dimostrando i blocchi di Ethereum in tempo reale — open source e in esecuzione su infrastrutture sempre più efficienti. È un traguardo precoce ma significativo. Unisciti a me oggi alle 13:00 @ EthCC, Redford Stage per saperne di più. #EthCC #ZK #Ethereum #zkVM @eth_proofs

:) 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

🤯 La prova in tempo reale è qui 🤯 Blocchi EVM della mainnet collaudati in meno di 1 slot Ethereum (12s). Pelle d'oca. Succintt dimostra ogni blocco L1 di Ethereum: → 94% nei <12 anni → 99% nei <13 anni → 99,9% negli anni <12, presto™ Ieri RISC Zero ha presentato un cluster di GPU domestiche da $ 120K, le prove sono attese in 9,25. Brevis, OpenVM, Snarkify, ZisK, ZKM sono a poche settimane dall'ingresso nel club in tempo reale. Presto™ il mio validatore verificherà i blocchi EVM su un Rasberry Pi Pico, una scheda da $ 5 che consuma < 1W. Abbandonerò il mio cliente EL a favore di uno zkEL. N. 1 TB NVMe. Addio Geth, ciao zkReth. Verifica stateless e RAMless in millisecondi su un singolo core della CPU. Con la prova in tempo reale di 1 gigagas/sec (10K TPS) è a portata di mano, senza compromettere la decentralizzazione del validatore. D'ora in poi aspettatevi regolari aumenti del limite di benzina. Il 10% della puntata sta già votando per un limite di 60 milioni: anche i tuoi validatori possono farlo. Lo snarkifying mainnet trasforma Ethereum L1 nel primo rollup basato e nativo. Fase 2. Senza insetti. Sequenziamento decentralizzato. Nessun consiglio di sicurezza. Nessuna governance. La L1 darà l'esempio. Questo venerdì festeggiamo. Unisciti a noi per la chiamata #2 di Ethproofs, il 23 maggio alle 14:00 UTC. 25 relatori, 2 ore di contenuti. Le chiamate sono aperte: MD @corcoranwill per un invito del calendario. Stiamo assistendo alla storia. Credi in qualcosa di reale. Credi nella prova in tempo reale.

Gli sviluppatori di ETH Core non twittano molto su quanto sia duro il lavoro che svolgono, quindi parliamone: 1. Ogni riga di codice che uniscono può spostare più denaro di quanto la maggior parte delle banche elabora in un trimestre. Non esiste un server di staging per questo. 2. Scambiano la logica del consenso con un'economia di 400 miliardi + dollari senza programmare i tempi di inattività. mai. 3. Coordinano centinaia di ricercatori, auditor e team di clienti attraverso fusi orari, culture e filosofie, ma operano come un'unica mente. 4. Fanno tutto in pubblico, con ogni decisione sezionata dalla galleria di arachidi più rumorosa di Internet, e mantengono comunque l'atmosfera collaborativa. 5. Progettano per gli aggressori che hanno incentivi a nove cifre e pazienza infinita. poi dormono comunque. 6. Mantengono sei client indipendenti in perfetta sincronia in modo che lo stesso blocco viva alla stessa altezza per ogni nodo del mondo. 7. Trasformano la ricerca all'avanguardia in codice di produzione, preservando la compatibilità con le versioni precedenti per le macchine che sono andate online prima ancora che la DeFi avesse un nome. 8. Eseguono il debug di problemi che si verificano solo una volta all'anno su un singolo nodo di archiviazione perché qualcuno da qualche parte si affiderà a quel caso limite. 9. Scrivono una crittografia che deve rimanere intatta per decenni mentre la matematica stessa si evolve sotto i loro piedi. 10. Quando l'aggiornamento atterra liscio, il mondo esterno alza le spalle. All'interno di Ethereum sappiamo che è stato un piccolo miracolo. Ogni fork di successo dimostra che il coordinamento decentralizzato può sovraperformare le migliori gerarchie del mondo e dimostra che i mercati dei capitali aperti su Internet sono ora l'impostazione predefinita. Grazie, davvero. Ti dobbiamo tutto.

configurato il mio validatore per un limite ⛽ di gas di 60 milioni → aumento del 66% rispetto a 36M è sicuro dopo Pectra → validatori stabiliscono il limite: vota con il tuo → istruzioni su PumpTheGas[.]Org wen 1 gigagas/sec (10K TPS) su Ethereum L1? → ha bisogno di prove zkEVM per i dispositivi consumer → Ethproofs call #2: prove in tempo reale → bando di Ethproofs #3: gigagas L1 credere in qualcosa

Semplificazione dell'L1

Presentazione di Ethereum R1: il rollup neutrale creato per Ethereum Nessun gettone. Nessuna vendita privata. Nessun culto della governance. Solo i valori di Ethereum, i finanziamenti pubblici e il controllo della comunità. 🧵 Perché R1 è importante e come puoi iscriverti:

1 gigagas/sec (10K TPS) su Ethereum L1 con zkVM Nessun compromesso: → l'hardware consumer (zkVM) → Internet domestico (DAS) → resistenza alla censura (FOCIL) → 100% di uptime (diversità dei clienti) → nodi di consenso 8K Costruito per la finanza su Internet. Credi in qualcosa di reale.

tre nuove zkVM svelate sulla call #1 di Ethproofs → ix (lean 4) di @argumentxyz → StarkV (RISC-V) di @StarkWareLtd → zCray (ispirato a RISC-V) di @IrreducibleHW

LIVE NOW - Il perno strategico di Ethereum: il piano per ripristinare la dominanza @ethereumfndn ricercatori @dankrad e @adietrichs unirsi a @TrustlessState e @MikeIppolito_ per discutere della crisi d'identità della @ethereum e di come sta invertendo la rotta. Analizzano le sfide culturali e organizzative di Ethereum, il perno verso la crescita di L1 e il ruolo in evoluzione della Ethereum Foundation sotto la nuova leadership. La conversazione verte sul futuro dei rollup di base e nativi, sull'allineamento L2 e sul perché i valori unici di Ethereum sono ancora importanti in un panorama competitivo. -------------- TIMESTAMP 0:00 Introduzione 5:42 Principali problemi con Ethereum 12:33 Mancanza di crescita nel Layer 1 di Ethereum 27:49 Il dilemma della roadmap di Ethereum 38:08 Avanzamento del ridimensionamento del livello 1 39:08 La proposta di valore di Ethereum L1 per gli L2 48:44 Spiegazione dei rollup di base e nativi 57:25 EVM canonico in un mondo rollup 1:01:26 La visione di Vitalik per il ridimensionamento L1 1:05:59 ZK Il ridimensionamento diventa reale 1:08:12 Tempi di blocco veloci e DeFi 1:16:59 L'evoluzione della cultura di base di Ethereum 1:22:38 Altre modifiche interessanti 1:26:41 La direzione di Ethereum sembra diversa ora 1:30:09 Chiusura e divulgazione