Vitalik Buterinův argument pro přesunutí části kryptografické práce mimo Ethereum stojí na rozdílu mezi výpočtem a daty. Předkompilovaná operace může zlevnit samotné ověření, ale síť stále musí dostat data, která ověřuje. Návrh EIP-8288 nabízí jiný postup: velké kryptografické podklady pokud možno nezapisovat do bloků a jejich ověření spojovat do rekurzivních STARK důkazů. Návrh je zatím veden jako draft.
4
16
Proč nestačí přidat další předkompilované operace?
Předkompilované operace jsou vestavěné funkce, díky nimž mohou být určité kryptografické kontroly levnější. Samy o sobě ale neřeší náklady na přenos podpisů, důkazů a dalších vstupních dat. Buterin upozorňuje, že množství kryptografických dat, která Ethereum zvládne, omezuje nejen výpočetní cena v gasu, ale také datová propustnost. Praktický strop odhadl přibližně na 8 MB za sekundu, a to i při započtení PeerDAS a bloků s blobovými daty. Jde o jeho odhad, nikoli o formální limit calldata.
4
12
Předkompilované operace mají také nevýhodu v menší flexibilitě. Podpora každého kryptografického schématu zvlášť může zvyšovat složitost protokolu a vyžaduje implementaci v klientech Etherea. EIP-8288 se místo toho snaží nabídnout společnou cestu k ověřování různých schémat.
7
16
Příklad v návrhu ukazuje, proč to může být důležité: zmiňuje hašové podpisy o velikosti zhruba 2–3 kB a přímé ověření za 150 000–200 000 gasu. Jde o odhady pro konkrétní příklad v návrhu, nikoli o univerzální cenu každého podpisu či každé implementace.
10
Jak má EIP-8288 fungovat
Oficiální návrh uvádí jako autory Vitalika Buterina a Thomase Coratgera a jeho stav označuje jako draft. EIP-8288 rozšiřuje transakce typu frame podle EIP-8141 a stojí na třech hlavních částech:
16
- Transakce uvedou stručné závislosti. Každá závislost odkazuje na kryptografické schéma, haš dat a haš ověřovacího klíče. Návrh tuto trojici kóduje do 96 bajtů.
16
13
- Úplná kryptografická data putují sítí při šíření transakcí. Velké podpisy či důkazy se předávají spolu s transakcemi, místo aby byly v bloku zapsány v celé původní podobě. Účastníci mempoolu mohou spojovat práci potřebnou k jejich ověření.
15
16
- Ověřování se agreguje. Záměrem je pomocí rekurzivních STARK důkazů spojit více kontrol. Blok by pak obsahoval souhrnný důkaz namísto každého původního kryptografického podkladu. Cílem je snížit objem dat potřebných v blocích; neznamená to zvýšení základního datového limitu sítě.
6
15
16
Nákladné kryptografické výpočty by mohli provádět také sami uživatelé na svých zařízeních a následně dodat STARK důkaz o jejich správném provedení. Záměrem je umožnit Ethereu podporovat širší výběr kryptografických schémat, aniž by pro každé potřebovalo vlastní nativní předkompilovanou funkci.
3
6
Co by se změnilo — a co ne
Pokud by řešení fungovalo podle záměru, stručné závislosti a agregované ověřování by mohly omezit množství původních podpisových a důkazních dat zapisovaných do bloků. Nejde tedy jen o „rychlejší kryptografii“: část práce by se přesunula na uživatele a účastníky mempoolu a omezil by se objem dat, který je nutné zahrnout přímo na blockchain.
1
13
16
To ale neznamená, že by kryptografické náklady zmizely. Uživatelé a účastníci sítě by stále museli příslušná data a důkazy vytvářet, šířit a ověřovat. Dostupné zdroje nepotvrzují, že EIP-8288 přinese konkrétní snížení gasu nebo vyřeší širší problémy Etherea se škálováním.
Co zatím zůstává otevřené
Bezpečnost důkazů a hašů. Návrh uvádí jako bezpečnostní předpoklady správnost ověřovacích obvodů i funkcí používaných k hašování závislostí. Pozdější úprava návrhu navíc svazuje haš závislostí bloku s agregačním obvodem. Jde o ochranné mechanismy, které je třeba vyhodnotit, nikoli o důkaz, že systém už byl plně ověřen nebo bezpečně nasazen.
32
Riziko útoků na mempool. Agregace přidává práci a zpracování dat ve vrstvě mempoolu. Riziko útoků typu denial-of-service je označeno za oblast, kterou je třeba řešit; dostupné podklady ale nedokládají, že jsou všechna opatření hotová nebo dostatečná.
25
Parametry draftu nejsou pravidla hlavní sítě. Jedna z oficiálních revizí stanovuje nejvýše 16 podpisových závislostí a jednu STARK závislost na transakci. Jde o parametry návrhu, nikoli o pravidla nasazená na hlavní síti Etherea.
32
Bezpečnost podpisů založených na mřížkách. Podle zpráv Buterin nevyloučil předkompilované funkce pro mřížkovou kryptografii, například pro účty a peněženky, pokud se prokáže její bezpečnost. Zmíněné obavy z možných útoků s pomocí AI jsou otázkou k posouzení, nikoli důkazem, že mřížkové podpisy byly prolomeny.
17
24
Oficiální EIP je stále označen jako draft. Zprávy popisují simulace a práci na testovací síti, nikoli schválené nasazení na hlavní síti. Dostupné zdroje nepotvrzují konečné rozhodnutí o přijetí ani termín nasazení.
15
16