Сегодня в пространстве блокчейна существует большое количество конкурирующих протоколов консенсуса. Как я могу объективно сравнить их друг с другом?
Есть несколько разных способов ответить на этот вопрос.
Например, вы можете попытаться измерить процент сети, которая должна вести себя злонамеренно или «византийским» образом, прежде чем соглашение между «настоящими пользователями» будет нарушено. Этот тип подхода, называемый анализом отказоустойчивости , хорошо изучен в информатике, и известны некоторые важные результаты невозможности . Его основным недостатком является то, что он обычно не учитывает экономические соображения, что определенно может привести к изменению поведения узлов .
Другой подход, отстаиваемый, в частности, Владом Замфиром , заключается в том, чтобы попытаться измерить затраты, выгоды и теоретико-игровые стратегии, которые будут мотивировать участников принимать решения о своих действиях в сети, предполагая определенные модели поведения и цели (такие как ограниченный альтруизм и прибыльность). Преимущество этой стратегии разработки механизма заключается в том, что она позволяет проводить гораздо более подробный анализ, чем простая отказоустойчивость, и при необходимости может вернуться к этому анализу. Его недостаток в том, что его сложнее выполнить точно.
И, наконец, не забудьте сравнить протоколы консенсуса по их грубым техническим достоинствам, а также по их реальной производительности . Даже если они достигнут того, о чем заявляют, является ли этот результат значительным или стоящим? Успешно ли они реализуют теории, на которые претендуют? Или это один из тех проектов, которые на бумаге выглядели лучше? Там много ерунды: будьте осторожны!
Используйте те же методы формального анализа, которые использовались в литературе более 25 лет.
Хорошей отправной точкой для концептуальной основы этих систем является Paxos . Затем я бы посмотрел на Raft , так как его реализация значительно проще для понимания. Также жизненно важно, чтобы люди, занимающиеся исследованиями в этой области, ознакомились с этой статьей . Кажется, ее часто упускают из виду, она дает основополагающее руководство для работы с последствиями Теоремы невозможности FLP. Также важным инструментом являются векторные часы .
Джефф Коулман