survivable-eclipse-durations: draft report #422
Draft
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
nfrisby
commented
Oct 11, 2023
|
|
||
| Let GR_W be a random variable that counts the minimum possible growth of the honest chain within some fixed interval of W slots (ie the growth assuming every message was delayed by the full Delta). | ||
| Note that 0 <= GR_W - GR_{W-1} <= 1 and 0 <= GR_{W+1} - GR_W <= 1. | ||
| (TODO This seems right to me, but probably deserves a proof sketch.) |
There was a problem hiding this comment.
Note to self: Alexander Russell sketched this in a private Slack message. https://input-output-rnd.slack.com/archives/C02EF6ET4DC/p1697038571622419?thread_ts=1696962923.870129&cid=C02EF6ET4DC
| Note that 0 <= GR_W - GR_{W-1} <= 1 and 0 <= GR_{W+1} - GR_W <= 1. | ||
| (TODO This seems right to me, but probably deserves a proof sketch.) | ||
| Also, note that the expected value of GR_W is mu(W) = W/( Delta + 1/phi_f(0.66) ), according to "the growth constant". | ||
| (TODO citation for this?) |
There was a problem hiding this comment.
Note to self: I anticipate that it's from https://iohk.io/en/research/library/papers/practical-settlement-bounds-for-longest-chain-consensus/
nfrisby
force-pushed
the
nfrisby/eclipse-duration
branch
7 times, most recently
from
eb2a527 to
10a1d78
Compare
nfrisby
force-pushed
the
nfrisby/eclipse-duration
branch
8 times, most recently
from
eec9d25 to
eb736f4
Compare
nfrisby
force-pushed
the
nfrisby/eclipse-duration
branch
2 times, most recently
from
365f972 to
138db20
Compare
This model (and the script that implements it) addresses the question of how long an eclipse can last before its victim has an appreciable chance of not being able to rejoin the honest network when the eclipse ends.
nfrisby
force-pushed
the
nfrisby/eclipse-duration
branch
from
138db20 to
31bbe9f
Compare
|
Part of #427 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Single commit PR, see the message.