dokazování otázek a odpovědí v reálném čase :) Co to je? ELI12. A: Armáda nerdů právě rozlouskla sci-fi problém: dokázala každý blok mainnetu Ethereum v reálném čase. Tyto zk důkazy jsou exponenciálně levnější na ověření než opakované provedení transakcí – jen několik milisekund, bez ohledu na použitý plyn. Thicc bloky, malé validátory. Decentralizace maxis se raduje. Nebyla snad matematika Měsíce v reálném čase nemožná? Od: Byla. Před pěti lety jsme byli o pět řádů vzdáleni. Ale technologie se stále skládala 10x za rok a teď jsme tady. Nemizí exponenciály. Také k exponenciálám: → nevyblednou kvantové počítače porušující ECDSA → neslábnou půlení a nenarušují bezpečnost Bitcoinu Jak se Ethereum L1 stane "založeným a nativním rollupem"? A: Pojďme si to rozebrat. → založené: L1 navrhovatelé objednávají transakce. Ethereum L1 je základní vrstva – je tautologicky založená. → nativní: L1 provádí transakce prostřednictvím zakotvené funkce přechodu stavu EVM. Podle definice je Ethereum L1 nativní. Vždy bude. → souhrn: Souhrnný balíček má onchain data a offchain provádění. Vrčením mainnetu EVM blokuje Ethereum L1 se změní na zk rollup. Rollupy odemykají velké limity plynu. Základna je již na 35 megagas/s – 20x Ethereum L1. Základem je 1 gigagas/sec, Ethereum L1 se tam může dostat také. Wen gigagas L1? A: Ethproofs call #3 bude věnován gigagas L1 – nalaďte si ho. S EIP-9698 Dankrad navrhuje ~3x za rok plynové hrboly nebo ~10x každé 2 roky. To je 1 000x za 6 let. Úctyhodná – ale stále nováčkovská čísla. Můj optimistický názor? Nyní, když zkVMs splňují limity výkonu EVM, může sledovat vylepšení zkVM. Pokud budeme stále dosahovat 10x za rok, je to 1 gigagas/sec za 3 roky. Pracoval jsem s Dankradem více než deset let – realita se obvykle ocitá mezi jeho opatrností a mým hopem. Nejsou zkVM chybné? A co formální ověření? Odpověď: Formální ověření je konečným cílem – nikoli prvním krokem. Krátkodobá strategie: rozmanitost zkVM. Do konce 2. čtvrtletí se hrstka zkVMs dostane do dokazování v reálném čase. Stejně jako u klientů CL a EL se předpokládá, že každý jednotlivý klient je chybný. Bezpečnost vychází z rozmanitosti. Může se prokazování s nízkou latencí škálovat na gigagy? Odpověď: Ano. Prokázání SNARK je masivně paralelizovatelné. Sekvenční je pouze počáteční spuštění x86 a chunking. EIP-7825 navrhuje omezit maximální množství plynu použitého na transakci. To umožňuje snadné chunkování na hranicích transakcí. Paralelismus se škáluje. Latence zůstává nízká. Jaké je další úzké místo zkVM? Moc. Důvěryhodná živost 1 z n znamená, že domácí zkoušení by mělo být dostupné nadšencům. Rozumný cíl může být 10 kW nebo méně na zkušební shluk. Jak zvýšíme limit plynu 1 000x při rozpočtu 10 kW? → software: důkazové systémy, obvody, algoritmy se neustále skládají → hardware: Moorův zákon + SNARK ASIC → distribuované prokazování: rozložte zátěž bez důvěry