Wie kann ich zwei Konsensprotokolle vergleichen?

Es gibt verschiedene Möglichkeiten, diese Frage zu beantworten.

Sie könnten beispielsweise versuchen, den Prozentsatz des Netzwerks zu messen, der sich auf böswillige oder „byzantinische“ Weise schlecht verhalten muss, bevor die Einigung zwischen den „echten Benutzern“ zusammenbricht. Diese Art von Ansatz, die als Fehlertoleranzanalyse bezeichnet wird , ist in der Informatik gut untersucht, und einige wichtige Unmöglichkeitsergebnisse sind bekannt. Der größte Nachteil besteht darin, dass wirtschaftliche Überlegungen im Allgemeinen nicht berücksichtigt werden, was definitiv dazu führen kann, dass Nodes ihr Verhalten ändern .

Ein anderer Ansatz, der unter anderem von Vlad Zamfir befürwortet wird , besteht darin, zu versuchen, die Kosten, Vorteile und spieltheoretischen Strategien zu messen, die die Teilnehmer dazu motivieren, ihre Handlungen innerhalb des Netzwerks zu entscheiden, wobei bestimmte Verhaltensweisen und Ziele (wie begrenzter Altruismus und Rentabilität) angenommen werden. Diese Mechanismusentwurfsstrategie hat den Vorteil, dass sie eine viel detailliertere Analyse als die bloße Fehlertoleranz ermöglicht und gegebenenfalls gegebenenfalls auf diese Analyse zurückgreift. Es hat den Nachteil, dass es komplizierter ist, es genau durchzuführen.

Und schließlich vergessen Sie nicht, die Konsensprotokolle auf ihre rohen technischen Vorzüge sowie ihre Leistung in der realen Welt zu vergleichen . Selbst wenn sie das erreichen, was sie vorgeben zu erreichen, ist dieses Ergebnis signifikant oder lohnenswert? Setzen sie die Theorien, die sie vorgeben, erfolgreich um? Oder ist es eines dieser Projekte, die auf dem Papier besser aussahen? Es gibt viel Unsinn da draußen: Seien Sie vorsichtig!

Verwenden Sie die gleichen formalen Analysetechniken, die seit über 25 Jahren in der Literatur verwendet werden.

Ein guter Ausgangspunkt für die konzeptionelle Basis dieser Systeme ist Paxos . Dann würde ich mir Raft ansehen , da seine Implementierung wesentlich einfacher zu verstehen ist. Es ist auch von entscheidender Bedeutung, dass Menschen, die in diesem Bereich forschen, sich dieses Papier ansehen , es scheint oft übersehen zu werden, es bietet die wegweisende Anleitung für den Umgang mit den Konsequenzen des FLP-Unmöglichkeitssatzes. Auch Vektoruhren sind ein wichtiges Werkzeug.