Простая истина о времени: Время – это наиглавнейший ресурс. Его абсолютный дефицит ограничивает все наши нарративы, как отдельных людей, так и обществ. С помощью экономики мы стремимся к более эффективному использованию времени. Как разрушитель всего сущего и врачеватель всех ран, оно является великим парадоксом природы.
В первой статье этой серии мы рассматривали определение консенсуса Накамото и механизм голосования, в рамках которого доказательства работы или доли владения позволяют «выбрать лидера» для добавления блока в общую цепочку. Далее мы перешли к алгоритмам византийских генералов и способам, благодаря которым анализ безопасности таких алгоритмов можно применить к блокчейнам, использующим соглашение Накамото. Сегодня мы совершим формальный анализ блокчейнов и протоколов византийского соглашения, а также идеализированное моделирование блокчейн-системы.