Il tricheco affronta la sfida della sfida sincrona nei sistemi di archiviazione odierni
I sistemi di archiviazione decentralizzati si basano su sfide per verificare che i validatori memorizzino effettivamente i dati. Un meccanismo semplice: il protocollo chiede casualmente "hai il blob X?" e si aspetta risposte rapide. Il problema è la sincronia: questo funziona solo se le risposte arrivano entro limiti di tempo prevedibili.
Le reti reali violano costantemente questa assunzione. Un validatore potrebbe memorizzare i dati correttamente ma subire latenza di rete, congestione regionale o brevi interruzioni. Sotto schemi di sfida sincrona, questo validatore onesto appare non reattivo. Il protocollo lo punisce nonostante il comportamento corretto. Nel frattempo, i validatori realmente malevoli possono temporizzare le loro risposte in modo strategico, eludendo la rilevazione.
Le sfide sincrone creano incentivi perversi. I sistemi devono impostare i timeout in modo lasco per evitare falsi positivi, il che rende la rilevazione lenta. Oppure impostano i timeout in modo rigoroso per catturare rapidamente i comportamenti scorretti, il che penalizza i nodi onesti che affrontano problemi temporanei di rete. In entrambi i casi, il sistema degrada.
@Walrus 🦭/acc abbandona completamente le sfide sincrone. La sua verifica asincrona non dipende dal timing delle risposte. Una sfida rimane valida che una risposta arrivi in millisecondi o giorni. I validatori non possono eludere attraverso ritardi strategici e i nodi onesti non subiscono mai punizioni per condizioni di rete al di fuori del loro controllo.
Questo spostamento dalla sincronia all'asincronia è sottile ma profondo: allinea le assunzioni del protocollo con il modo in cui le reti reali si comportano effettivamente.
