Основы блокчейнов (Лекция 7.3: Доказательство согласованности) скачать в хорошем качестве

Основы блокчейнов (Лекция 7.3: Доказательство согласованности)

Цикл лекций по науке и технологиям блокчейн-протоколов и приложений, созданных на их основе, с акцентом на фундаментальные принципы. Полный плейлист:    • Foundations of Blockchains   Лекция 7: Протокол консенсуса Tendermint (5 видео) Заметки к лекции 7: https://timroughgarden.github.io/fob2... Слайды лекции 7: https://timroughgarden.github.io/fob2... Оставляйте комментарии/вопросы ниже или по адресу   / 1531454337708343296   Краткое содержание лекции 7: 1. Лекция 6 показала, что согласованность и окончательная (после GST) жизнеспособность не могут быть достигнуты ни одним протоколом SMR в частично синхронной модели, если f ≥ n/3. 2. Протокол Tendermint — широко используемый протокол консенсуса, обеспечивающий согласованность и жизнеспособность при условии, что f меньше n/3. 3. Первая основополагающая идея Tendermint заключается в реализации итеративного однократного консенсуса (с одним экземпляром консенсуса на блок). 4. Вторая основополагающая идея заключается в перезапуске по истечении времени ожидания в случае недостаточного прогресса из-за византийского автора предложения блока или задержки сообщений. 5. Третья основополагающая идея заключается в использовании двух этапов голосования для обеспечения промежуточного результата между успехом и неудачей. 6. Протокол Tendermint использует ротацию лидеров, с одним лидером на раунд. 7. Каждый раунд состоит из четырёх фаз: фаза предложения блока (лидер вносит предложение); первый этап голосования (по предложению лидера); второй этап голосования (по результатам первого этапа голосования); и фаза подтверждения (для узлов, которые стали свидетелями успешного результата обоих этапов голосования). 8. Этап голосования считается успешным, если за один и тот же блок проголосовало подавляющее большинство (две трети) узлов. Их голоса составляют сертификат кворума (QC). 9. Tendermint удовлетворяет требованию согласованности (когда f меньше n/3), поскольку честный узел принимает участие в блоке B только в случае успешного голосования на втором этапе, что происходит только в том случае, если более n/3 честных узлов отдали голоса на первом этапе за B. Эти честные узлы блокируют блок B и предотвращают формирование QC для любых блоков, кроме B. 10. Tendermint удовлетворяет требованию жизнеспособности (когда f меньше n/3), поскольку всякий раз, когда после GST проходят два последовательных раунда с честными лидерами, второй раунд завершается тем, что все честные узлы принимают участие в недавно и честно собранном блоке. 11. Недавно разработанные протоколы консенсуса используют дополнительные идеи для повышения эффективности (например, задержки, сложности связи или скорости реагирования) Tendermint без ущерба для оптимальной отказоустойчивости в частично синхронной модели.