Včerejší oznámení o prokazování v reálném čase je obrovským milníkem a přináší @VitalikButerin některé dobré body ohledně další práce, která bude zapotřebí. ALE myslím, že jsme ve všech těchto bodech blíže, než si lidé možná uvědomují... 1. V nejhorším případě lze dokazování v reálném čase vyřešit jednoduchými změnami v plánu plynu Etherea: Dnes lze ~94 % bloků dokázat za 12 sekund <, 99 % bloků lze dokázat za 13 sekund <. U zbývajících odlehlých hodnot by měly stačit jednoduché úpravy plánu Etherea (v současné době jsou předkompilace bn254, bls12-381 podhodnoceny v poměru k jejich nákladům na prokázání). Také EIP omezující maximální využití plynu jedné transakce pomůže zajistit, že nebudou existovat žádné vektory DDOS (protože paralelně dokazujeme podbloky transakcí, abychom dosáhli naší nízké latence). 2. Formální ověření pro SP1 již probíhá: V minulém týdnu jsme obdrželi 2 oznámení o formálním ověření pro SP1, ve spolupráci s @NethermindEth a @VeridiseInc! Máme jasný přehled o formálním ověření všech našich hlavních programů provádění v příštích několika měsících. 3. Domácí prokazování není u decentralizovaných sítí dokazování potřeba: Právě teď RTP vyžaduje ~160 GPU, což je velmi malé pro jakékoli datové centrum, ale možná trochu velké pro domácí nastavení. S nadcházejícím spuštěním decentralizovaných sítí dokazování si však nejsem jistý, zda se musíme snažit prokazovat doma. Síť bude ekonomicky motivovat, aby vždy existovali dokazovači online připraveni dokázat v reálném čase. 4. Paralelizované dokazování subbloků znamená, že 100násobek limitu plynu není žádný problém pro latenci: Jsem pro 100násobek limitu plynu a pro nás to nebude žádný problém. Naše implementace dokazování v reálném čase využívá subblokový přístup, kdy vezmeme blok a rozdělíme ho na menší subbloky několika transakcí. Tyto podbloky jsou dokázány paralelně a poté agregovány do 1 důkazu na konci. I když se limit plynu zvýší 100x, stále můžeme paralelizovat dokazování podbloků (je jich prostě více), což znamená, že latence nebude ovlivněna. Věřte v něco skutečného. Věřte v dokazování v reálném čase.