Mrož se vyrovnává s problémem synchronních výzev v dnešních úložištích dat
Decentralizované úložné systémy se spoléhají na výzvy, aby ověřily, že validátoři skutečně ukládají data. Jednoduchý mechanismus: protokol náhodně se ptá "máš blob X?" a očekává rychlé odpovědi. Zádrhel je synchronie—toto funguje pouze tehdy, když odpovědi přicházejí v předvídatelných časových mezích.
Skutečné sítě tuto předpoklad neustále porušují. Validátor může data ukládat správně, ale může čelit latenci sítě, regionálnímu přetížení nebo krátkým výpadkům. Pod schématy synchronních výzev se tento poctivý validátor zdá být neodpovídající. Protokol ho trestá i přes správné chování. Mezitím mohou skutečně zlovolní validátoři načasovat své odpovědi strategicky a vyhnout se odhalení.
Synchronní výzvy vytvářejí perverzní pobídky. Systémy musí nastavovat časové limity volně, aby se vyhnuly falešným pozitivům, což zpomaluje detekci. Nebo nastavují časové limity těsně, aby rychle chytly nesprávné chování, což trestá poctivé uzly, které čelí dočasným problémům v síti. Tak či onak, systém se zhoršuje.
@Walrus 🦭/acc opouští synchronní výzvy úplně. Jeho asynchronní ověřování nezávisí na načasování odpovědí. Výzva zůstává platná, ať už odpověď dorazí během milisekund nebo dnů. Validátoři se nemohou vyhnout prostřednictvím strategického zpoždění, a poctivé uzly nikdy čelí trestům za podmínky sítě, které jsou mimo jejich kontrolu.
Tento posun od synchronie k asynchronii je jemný, ale hluboký—synchronizuje předpoklady protokolu s tím, jak se skutečné sítě skutečně chovají.
