Během nedávného rozhovoru u krbu Areg Hayrapetian, ředitel inženýrství v EOS Network Foundation a hlavní architekt Savanna, přehledl pokroky, které přineslo vydání Spring 1.0 a vývoj konsensuálního algoritmu Savanna. Jeho poznatky poskytly důkladné vysvětlení, jak Savanna řeší klíčová omezení modelu dědictví konsensu EOS a zavádí kryptografická, architektonická a výkonnostní zlepšení do blockchainu.
Úvod a pozadí
Vydání Spring 1.0 25. září 2024 znamenalo významný milník pro síť EOS. Hard fork byl úspěšně implementován, zavádějící Savanna, nový konsensuální algoritmus. Tento okamžik představoval vyvrcholení téměř dvouletého vývoje zaměřeného na zlepšení dědictví konsensuálního algoritmu používaného EOS, který byl zejména omezen dlouhou dobou konečnosti.
EOS dokončuje historický hard fork na Spring 1.0 s konsensuálním algoritmem Savanna
Areg poznamenal, že dědictví algoritmus byl vyvinut pod značným časovým tlakem, což vedlo k kompromisům v konečném designu. Tyto nedostatky se staly motivací pro vývoj Savanna. Nový systém si klade za cíl poskytovat okamžitou konečnost, škálovatelnost a kryptografickou bezpečnost bez obětování výkonu. Zatímco počáteční specifikace pro Savanna byla relativně jednoduchá, integrace do stávajícího kódu se ukázala jako výzva, což vedlo k vytvoření specializovaného týmu vedeného Aregem.
Vývoj konsensuálního algoritmu
V jádru Savanna je koncept konečnosti – zajištění, že jakmile je transakce potvrzena, nemůže být zrušena. Areg vysvětlil dva typy konečnosti: pravděpodobnostní konečnost (kde pravděpodobnost zrušení klesá s časem) a deterministická (algoritmická) konečnost (kde je konsensus matematicky zaručen). Dědictví konsensu EOS dosáhlo algoritmické konečnosti, ale vyžadovalo to tři minuty, především kvůli jeho návrhovému omezení, které umožnilo maximálně jedno potvrzení na blok. To vytvořilo úzké místo ve škálovatelnosti.
Savanna řeší toto omezení zavedením kryptografického řešení, které zkracuje dobu do konečnosti na pouhou jednu sekundu. Použitím BLS (Boneh-Lynn-Shacham) podpisů Savanna agreguje více podpisů potvrzení bloků do jednoho podpisu reprezentujícího kvorum certifikát, čímž snižuje režii a zlepšuje jak rychlost, tak škálovatelnost.
Návrh Savanna je založen na matematických důkazech, které poskytují formální záruky bezpečnosti, jež nebyly v původním protokolu EOS aplikovány s takovou přísností. Areg zdůraznil význam těchto důkazů pro zajištění jak bezpečnosti, tak živosti, i za nepřátelských podmínek. Nadcházející akademický článek poskytne hlubší pohledy na tyto teoretické základy, které dále ověří kryptografické techniky Savanna.
postihy, jako je snižování tokenů, kde finalizátoři ztrácejí část svých stakovaných tokenů za porušení pravidel. Tento systém motivuje čestné chování od finalizátorů a zajišťuje integritu sítě.
Budoucí vývoj a možnosti
S pohledem do budoucnosti Areg naznačil několik budoucích vývojů, které by mohly být prozkoumány za účelem dalšího zlepšení sítě EOS. Jednou z těchto inovací je potenciál pro časově uzamčené stakingové pooly pro finalizátory, kde účastníci stakují tokeny na stanovenou dobu a čelí postihům jako je snižování tokenů za porušení pravidel. Tento mechanismus by posílil bezpečnost sítě a motivoval k dlouhodobému závazku.
Závěr a budoucí práce
Vydání Spring 1.0 a zavedení Savanna představují velký krok vpřed pro síť EOS. S okamžitou konečností a kryptografickými inovacemi, jako jsou BLS podpisy, Savanna nastavuje nový standard pro konsensuální algoritmy blockchainu.
Zatímco současná implementace Savanna je již revoluční, Areg a jeho tým ji nadále zdokonalují. Nadcházející akademický článek poskytne hlubší pohledy na kryptografické a teoretické základy Savanna a pomůže dále ověřit systém.
Úspěšná implementace Spring 1.0 otevřela nové cesty pro IBC, decentralizaci a škálovatelnost, což činí Savanna kritickou součástí budoucnosti blockchainové technologie.
