Accordo Bizantino con Predittori: Caratterizzazione dei Compromessi di Resilienza
Un nuovo articolo su arXiv (2605.19452) presenta una caratterizzazione completa del compromesso tra consistenza e robustezza nell'Accordo Bizantino quando i nodi hanno accesso a un predittore che segnala potenziali nodi difettosi. Gli autori forniscono algoritmi e risultati di impossibilità sia per ambienti non autenticati che autenticati. Per n nodi e un parametro α ∈ [0,1], i loro algoritmi tollerano fino a α·n nodi difettosi quando il predittore è corretto (consistenza) e fino a (1-α)/2·n - 1 nodi difettosi quando il predittore è arbitrariamente errato (robustezza). Nell'ambiente autenticato, il limite di robustezza migliora a (1-α)·n - 1. Questi compromessi sono dimostrati essere stretti.
Fatti principali
- L'articolo studia l'Accordo Bizantino con un predittore che segnala nodi sospetti.
- L'attenzione è sulla resilienza algoritmica in base all'accuratezza del predittore.
- Viene fornita una caratterizzazione completa dei compromessi tra consistenza e robustezza.
- Ambiente non autenticato: consistenza fino a α·n, robustezza fino a (1-α)/2·n - 1.
- Ambiente autenticato: robustezza migliora a (1-α)·n - 1.
- I compromessi sono dimostrati essere esattamente stretti.
- L'articolo è su arXiv con ID 2605.19452.
- Gli autori presentano sia algoritmi che risultati di impossibilità.
Entità
Istituzioni
- arXiv