Skip to main content
Ethereum

Return to Question

typo
Source Link
Vignesh Karthikeyan
Vignesh Karthikeyan
  • 2k
  • 1
  • 12
  • 41

Plausible liveness from arxiv

This is from the Casper FFG document on Arxiv.

  1. Is a higher than b? If so how is b the target checkpoint if it is lower?
  2. If a' is a descendant of a (which I take means a previous checkpoint) how does h(a') = h(b) + 1 look like?

Plausible liveness from arxiv

This is from the Casper FFG document on Arxiv.

  1. Is a higher than b? If so how is b the target checkpoint if it is lower
  2. If a' is a descendant of a (which I take means a previous checkpoint) how does h(a') = h(b) + 1 look like?

Plausible liveness from arxiv

This is from the Casper FFG document on Arxiv.

  1. Is a higher than b? If so how is b the target checkpoint if it is lower?
  2. If a' is a descendant of a (which I take means a previous checkpoint) how does h(a') = h(b) + 1 look like?
Source Link
Vignesh Karthikeyan
Vignesh Karthikeyan
  • 2k
  • 1
  • 12
  • 41

Plausible Liveness on Casper FFG

Plausible liveness from arxiv

This is from the Casper FFG document on Arxiv.

  1. Is a higher than b? If so how is b the target checkpoint if it is lower
  2. If a' is a descendant of a (which I take means a previous checkpoint) how does h(a') = h(b) + 1 look like?