Întrebări și răspunsuri în timp real :) Care este problema? ELI12. R: O armată de tocilari tocmai a rezolvat o problemă SF: dovedirea fiecărui bloc de pe rețeaua principală Ethereum în timp real. Aceste dovezi zk sunt exponențial mai ieftine de verificat decât reexecutarea tranzacțiilor - doar câteva milisecunde, indiferent de gazul utilizat. Blocuri Thicc, validatori mici. Descentralizarea maxis bucurați-vă. Nu s-a dovedit în timp real o matematică imposibilă a lunii? R: A fost. Acum cinci ani eram la cinci ordine de mărime distanță. Dar tehnologia a continuat să crească de 10 ori pe an, iar acum suntem aici. Nu estompați exponențialele. De asemenea, pe exponențiale: → nu estompează computerele cuantice care sparg ECDSA → nu estompează înjumătățirea rupând securitatea Bitcoin Cum devine Ethereum L1 un "rollup bazat și nativ"? R: Să o descompunem. → bazat: tranzacții de comandă de propunetori L1. Ethereum L1 este stratul de bază – are o bază tautologică. → nativ: L1 execută tranzacții prin funcția de tranziție a stării EVM consacrată. Prin definiție, Ethereum L1 este nativ. Întotdeauna va fi. → rollup: Un rollup are date onchain și execuție offchain. Prin blochează rețeaua principală, EVM blochează Ethereum L1 se transformă într-un zk rollup. Rollup-urile deblochează limite mari de gaz. Baza este deja la 35 megagaz/secundă - 20x Ethereum L1. Base vizează 1 gigagaz/sec, Ethereum L1 poate ajunge și el acolo. Wen gigagas L1? R: Apelul Ethproofs #3 va fi dedicat gigagazului L1 - acordați-vă. Cu EIP-9698 Dankrad propune ~3x/an gonificări de gaz, sau ~10x la fiecare 2 ani. Asta înseamnă 1.000 de ori în 6 ani. Respectabil - dar totuși numere de începători. Părerea mea optimistă? Acum că zkVM-urile se potrivesc cu limitele de performanță EVM pot urmări îmbunătățirile zkVM. Dacă continuăm să atingem 10x/an, asta înseamnă 1 gigagaz/sec în 3 ani. Am lucrat cu Dankrad timp de peste un deceniu – realitatea se află de obicei între precauția lui și hopiumul meu. Nu sunt zkVM buggy? Cum rămâne cu verificarea formală? R: Verificarea formală este finalul jocului, nu primul pas. Strategia pe termen scurt: diversitatea zkVM. Până la sfârșitul trimestrului al doilea, o mână de zkVM-uri vor ajunge la demonstrarea în timp real. La fel ca clienții CL și EL, orice client individual este considerat buggy. Securitatea vine din diversitate. Poate dovedirea cu latență scăzută să se extindă la gigagaz? R: Da. Demonstrația SNARK este masiv paralelizabilă. Doar execuția inițială x86 și fragmentarea sunt secvențiale. EIP-7825 propune plafonarea cantității maxime de gaz utilizate pe tranzacție. Acest lucru permite fragmentarea ușoară la limitele tranzacției. Scalele de paralelism. Latența rămâne scăzută. Care este următorul blocaj zkVM? Putere. Vitalitatea credibilă 1 din n înseamnă că dovedirea la domiciliu ar trebui să fie accesibilă entuziaștilor. O țintă rezonabilă poate fi de 10 kW sau mai puțin per cluster de încercare. Cum creștem limita de gaz de 1.000 de ori cu un buget de 10 kW? → software: sisteme de probă, circuite, algoritmi continuă să se compună → hardware: Legea lui Moore + ASIC-uri SNARK → Demonstrare distribuită: distribuiți sarcina, fără încredere