Velmi důležitý dokument. Pojďme si to projít po jednom "cíli". Začneme rychlými sloty a rychlou konečností. Očekávám, že budeme čas ve slotu postupně snižovat, např. Líbí se mi vzorec "sqrt(2) najednou" (12 -> 8 -> 6 -> 4 -> 3 -> 2, i když poslední dva kroky jsou spíše spekulativní a závisí na důkladném výzkumu). Zde je možné jet rychleji nebo pomaleji; Ale hlavní je, že slot time vnímáme jako parametr, který upravujeme, když jsme si jisti, že je bezpečný, podobně jako u cíle blobů. Rychlé sloty jsou na začátku mapy ve svém vlastním pruhu a vlastně se nespojují s ničím. Je to proto, že zbytek plánu je poměrně nezávislý na čase slotu: museli bychom dělat zhruba stejné věci, ať už je čas slotu 2 sekundy nebo 32 sekund Je tu ale několik křižovatek. Jedním z nich jsou vylepšení p2p. @raulvk nedávno pracuje na optimalizované p2p vrstvě pro Ethereum, která využívá erasure coding k výraznému zlepšení hranice kompromisu mezi šířkou pásma a latencí. Zhruba řečeno: v dnešním návrhu každý uzel přijímá celé blokové tělo od několika partnerů a je schopen jej přijmout a znovu vysílat, jakmile přijme první. Pokud je "šířka" (počet peerů, kteří vám blok posílají) nízká, může jeden špatný peer výrazně zpozdit, kdy blok obdržíte. Pokud je šířka vysoká, vzniká velká zbytečná režie dat. S erasure kódováním si můžete zvolit k-of-n nastavení, např. rozdělit každý blok na 8 částí, abyste s jakýmikoli čtyřmi mohli rekonstruovat celý blok. To vám dává mnoho výhod redundance vysoké šířky, ale bez režie. Máme statistiky, které ukazují, že tato architektura může výrazně snížit čas šíření bloku na 95. percentilu, čímž se kratší sloty stanou životaschopnými bez bezpečnostních kompromisů (kromě větší složitosti protokolu, i když zde je poměr výkonu-zisk k řádkům kódu poměrně příznivý) Další oblastí průniku je složitější struktura slotů, která je součástí ePBS, FOCIL a pravidla rychlého potvrzení. Tyto mají důležité výhody, ale snižují maximální bezpečnou latenci ze slotu/3 na slot/5. Probíhá výzkum, který se snaží lépe pipelineovat věci a minimalizovat ztráty (poznámka: doba slotu je dolní omezená nejen latencí slotu, ale také fixní náklady latence ZK prover), ale existují zde určité kompromisy. Jedním ze způsobů, které zkoumáme, jak to kompenzovat, je přechod na architekturu, kde se na každém slotu přihlašuje pouze ~256-1024 náhodně vybraných attesterů. Pro fork choice (nefinalizující) funkci je to zcela dostačující. Menší počet podpisů nám umožňuje odstranit fázi agregace, čímž se zkracují sloty. Rychlá finalita je složitější (konečný protokol je podle mě jednodušší než status quo Gasper, ale cesta změny je složitá). Dnes trvá finalita v průměru 16 minut (12s slotů * 32 slotových epoch * 2,5 epochy). Cílem je oddělit sloty od finálnosti, takže si dovolte uvažovat o obou odděleně a chceme použít jednokolový finální BFT algoritmus (minimmit variantu) k fináli. Takže čas na finálnost v endgame může být například. 6-16 sekund. Protože se jedná o velmi invazivní sadu změn, plán je spojit největší krok každé změny s přepnutím kryptografie, zejména na postkvantové hashové podpisy, a na maximálně STARK-friendly hash (existují tři možné reakce na nedávné útoky Poseidon2: (i) zvýšit počet kol nebo zavést další protiopatření, jako je vrstva Monolith, (ii) vrátit se k Poseidonu1, který je ještě více lindy než Poseidon2 a neviděl žádné nedostatky, (iii) použít BLAKE3 nebo jiný maximálně levný "konvenční" hash. Všechny jsou zkoumány). Navíc existuje plán zavádět mnoho těchto změn postupně, např. "Finalita v jedné epoche" znamená, že upravujeme současný konsenzus tak, aby se změnil z finalizace ve stylu FFG na finalizaci ve stylu Minimmit. Jedna možná časová trajektorie finálnosti je: 16 min (dnes) -> 10m40s (8s sloty) -> 6m24s (jedno-epochová finále) -> 1m12s (8slotové epochy, 6s sloty) -> 48s (4s sloty) -> 16s (minimálně) -> 8s (minimálně s agresivnějšími parametry) Jedním zajímavým důsledkem inkrementálního přístupu je, že existuje cesta, jak učinit automaty kvantově odolnými mnohem dříve než udělat finální odolnost vůči kvantové, takže se můžeme poměrně rychle dostat do režimu, kdy pokud se kvantové počítače náhle objeví, ztratíme záruku finálnosti, ale řetězec pokračuje dál. Shrnutí: očekávejte postupné snižování času slotu i času finálnosti a očekávejte tyto změny propojené s nahrazováním struktury slotů Ethereuma ve stylu "lodi Theseus" komponent po komponentě za čistší, jednodušší, kvantově odolné, prověřovatelné, end-to-end formálně ověřenou alternativu.