I detta dokument presenteras ett samförståndsprotokoll som är motståndskraftigt mot Bysantinska misslyckanden. Den använder sig av signerade och certifierade meddelanden och bygger på två underliggande feldetekteringsmoduler. Den första är en opålitlig feldetektormodul av klass 3S (bz). Den andra är en tillförlitlig godtycklig beteendedetektion modul. Mer exakt, den första modulen upptäcker processer som slutar skicka meddelanden, medan processer som upplever andra godtyckliga beteenden upptäcks av den andra modulen. Protokollet är motståndskraftig mot F-fel, 2,C) (där C är det maximala antalet felaktiga processer som kan tolereras av den underliggande certifieringstjänsten). Det tillvägagångssätt som används för att utforma protokollet är nytt. Medan vanliga Bysantinska konsensusprotokoll är baserade på opålitliga feldetektorer för att upptäcka processer som slutar kommunicera, ingen av dem använder en modul för att upptäcka deras godtyckliga beteende (den här upptäckten är inte isolerad från protokollet och gör det svårt att förstå och bevisa korrekt). Förutom detta modulära tillvägagångssätt och ett nytt samförstånd protokoll för bysantinska system, dokumentet presenterar en ändlig stat automatiserad-baserat genomförande av den godtyckliga beteendedetektion modulen. Slutligen kan det modulära tillvägagångssätt som används i detta dokument användas för att lösa andra problem i bysantinska system.
Baldoni och al. beskrivs en vektor konsensus protokoll baserat på två feldetektorer REF.
Consensus in Byzantine asynchronous systems
{'venue': 'JOURNAL OF DISCRETE ALGORITHMS', 'journal': None, 'mag_field_of_study': ['Computer Science']}