06:01

О защищённости блокчейнов — часть 2

Графическая модель может содержать очень сложные зависимости между, казалось бы, несвязанными состояниями, но мы всё же можем делать из неё выборку с помощью локального алгоритма в единичном цикле (MCMC). Эти зависимости встроены в наш механизм и позволяют противнику изменять состояние, обеспечивают методологию для выборки участников, а также работу механизма распространения блоков. Возможно, понадобится много итераций цикла, прежде чем произойдёт изменение, придётся ждать, пока зависимость будет удовлетворена. Единственная разница между графическими моделями и блокчейн-средами и моделированием заключается в том, что зависимости непосредственно вписаны в код распределения, из которого мы делаем выборку в протоколе. Таким образом, доказательство схожести результатов с результатами предыдущей секции похоже на доказательство свойств направленных графических моделей, хотя здесь и есть сложность в изучении внутренних зависимостей. Как только мы выписываем цикл для определённого протокола, то можем с лёгкостью анализировать алгоритм как рандомизированный [10]. Вместо того чтобы углубляться в анализ циклов и механизмов цикла определённого протокола, предлагаю рассмотреть несколько примеров таких циклов. В следующих статьях этой серии мы проанализируем циклы для разных протоколов со средами и моделированием.

• 11:00 Сезон альткоинов уже близко: ключевые индикаторы намекают на рост
• 09:44 Завьялов Илья Николаевич про Aerodrome. Рыночный взгляд (Ч.1).
• 07:44 WSJ: Cantor Fitzgerald договорилась о 5% доле в Tether
• 07:01 Трамп выдвинул криптоэнтузиаста Скотта Бессента на пост министра финансов
• 06:07 Криптовалюта EOS подросла на 11% в бычьей торговле в ралли