Проведен глубокий формальный анализ поведения системы со временем. Проверены гарантии безопасности и живучести, особенно вокруг сигнализации о вето, выхода из ярости и переходов с таймлоком.

На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .