Правдоподобие на Casper FFG

 Правдоподобие из arxiv

Это из документа Casper FFG в Arxiv .

  1. a выше b ? Если да, то как b контрольная точка цели, если она ниже?
  2. Если a ' является потомком (который я использую, это означает предыдущую контрольную точку), как выглядит h (a') = h (b) + 1 ?
5 голосов | спросил Meshugah 18 Maypm18 2018, 22:06:11

1 ответ


4

Роде это несколько недель назад. Попробуем объяснить это.

Ссылки на супермашины - это способ, с помощью которого контрольные точки более эффективно связаны , как вы можете видеть на фотографии, на рисунке C, ссылки на супермаксимальность позволяют проверить блоки /цепочку так, чтобы гораздо быстрее , потому что давайте сделаем «безопасные предположения»

  • A - это наивысшая оправданная контрольная точка .
  • Целевая контрольная точка B самая высокая на всех ставка сейчас (более 2/3, так как протокол требует .
  • Тогда, если любой A '(потомок наивысшей оправданной контрольной точки) , который явно оправдан, потому что он является потомком оправданной контрольной точки , имеет большую высоту, чем контрольная точка B, мы можем предположить , мы можем перейти непосредственно к контрольной точке A. И чтобы не потерять на этот раз оценку контрольной точки B, именно поэтому реализованы ссылки супермаксимальности.

 Поддержка объяснения

РЕДАКТИРОВАТЬ Добавить график, на котором продемонстрирована безопасность аккаунта и правдоподобие: Помощь графу

Описание бумаги и сайта, где применяется пример.

 description

Здесь у вас есть определения, поскольку в статье /статье говорится: Определение

Хорошо, надеюсь, что это поможет!

ответил CPereez19 18 Maypm18 2018, 22:47:24

Похожие вопросы

Популярные теги

security × 330linux × 316macos × 2827 × 268performance × 244command-line × 241sql-server × 235joomla-3.x × 222java × 189c++ × 186windows × 180cisco × 168bash × 158c# × 142gmail × 139arduino-uno × 139javascript × 134ssh × 133seo × 132mysql × 132