Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Simple correction: has -> have #12896

Merged
merged 1 commit into from
May 3, 2024
Merged

Simple correction: has -> have #12896

merged 1 commit into from
May 3, 2024

Conversation

mcmoodoo
Copy link
Contributor

@mcmoodoo mcmoodoo commented May 3, 2024

Just spotted a wrong verb used and decided to correct. Much love for Ethereum!

Description

Related Issue

Summary by CodeRabbit

  • Documentation
    • Updated the explanation of the block finalization process in the roadmap documentation, highlighting the role of validators and the trade-offs between decentralization, time to finality, and computational overhead.

Just spotted a wrong verb used and decided to correct. Much love for Ethereum!
@github-actions github-actions bot added the content 🖋️ This involves copy additions or edits label May 3, 2024
Copy link

netlify bot commented May 3, 2024

Deploy Preview for ethereumorg ready!

Name Link
🔨 Latest commit e680e91
🔍 Latest deploy log https://app.netlify.com/sites/ethereumorg/deploys/6634845543eb640008442550
😎 Deploy Preview https://deploy-preview-12896--ethereumorg.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.
Lighthouse
Lighthouse
7 paths audited
Performance: 51 (🟢 up 12 from production)
Accessibility: 92 (🔴 down 1 from production)
Best Practices: 94 (🔴 down 6 from production)
SEO: 95 (🔴 down 5 from production)
PWA: -
View the detailed breakdown and full score reports

To edit notification comments on pull requests, go to your Netlify site configuration.

@mcmoodoo
Copy link
Contributor Author

mcmoodoo commented May 3, 2024

@coderabbitai review

Copy link
Contributor

coderabbitai bot commented May 3, 2024

Walkthrough

The update focuses on enhancing the explanation of how new blocks achieve finality in the network. It particularly clarifies the roles of validators and outlines the balance between decentralization, time to finality, and computational demands. This change aims to provide a clearer understanding of the finality process and its associated trade-offs.

Changes

File Path Change Summary
.../roadmap/single-slot-finality/ Updated explanation of block finality, emphasizing validator roles and trade-offs in system design.

Recent Review Details

Configuration used: CodeRabbit UI
Review profile: CHILL

Commits Files that changed from the base of the PR and between 7c08c0c and e680e91.
Files selected for processing (1)
  • public/content/roadmap/single-slot-finality/index.md (1 hunks)
Additional Context Used
LanguageTool (31)
public/content/roadmap/single-slot-finality/index.md (31)

Near line 17: Possible spelling mistake found.
Context: ...use to censor certain blocks or extract MEV. The mechanism that deals with upgradin...


Near line 21: This expression is wordy and can make your writing hard to follow, try rephrasing to be more direct.
Context: ...takes time for a new block to finalize. The reason for this is that validators representing at least 2/3 of...


Near line 21: Consider a shorter alternative to avoid wordiness.
Context: ...o process attestations from other nodes in order to know that a block has, or has not, achi...


Near line 23: If the ‘because’ clause is essential to the meaning, do not use a comma before the clause.
Context: ... but also lengthens the time to finality, because attestations are processed more slowly....


Near line 32: Consider a shorter alternative to avoid wordiness.
Context: ...ck. With the current mechanism design, in order to reduce the time to finality, it is nece...


Near line 38: The word ‘greatest’ tends to be overused in this context. Consider an alternative.
Context: ...ature. The aggregator that includes the greatest number of individual contributions passes thei...


Near line 40: If the ‘because’ clause is essential to the meaning, do not use a comma before the clause.
Context: ...or every validator to vote in each epoch, because `32 slots * 64 committees * 256 validat...


Near line 45: Consider a shorter alternative to avoid wordiness.
Context: ...rate of 125,000 aggregations per second in order to process all 1 million attestations with...


Near line 45: When a number forms part of an adjectival compound, use a hyphen.
Context: ...can be done in ~62.5 ms - far below the one second threshold. Further efficiency gains co...


Near line 47: Possible spelling mistake found.
Context: ...iciency gains could be made by creating supercommittees of e.g. 125,000 randomly selected valid...


Near line 47: Possible missing comma found.
Context: ... Only these validators get to vote on a block and therefore only this subset of valid...


Near line 47: Make sure the noun ‘subset’ is in agreement with the verb ‘decide’. Beware that some collective nouns (like ‘police’ or ‘team’) can be treated as both singular and plural.
Context: ...herefore only this subset of validators decide whether a block is finalized. Whether t...


Near line 47: Possible spelling mistake found.
Context: ...k with 2/3 of the staked ether in that supercommittee. This is still an active area of resea...


Near line 47: Possible spelling mistake found.
Context: ...dator set sufficiently large to require supercommittees in the first place, the cost of attacki...


Near line 47: Use a comma before ‘so’ if it connects two independent clauses (unless they are closely connected and short).
Context: ...idator set (e.g. tune the validator size so the cost of attack is equal to 1 millio...


Near line 47: In American English, abbreviations like “etc.” require a period.
Context: ...her, 4 million ether, 10 million ether, etc). [Preliminary polls](https://youtu.be/...


Near line 47: If you want to indicate numerical ranges or time ranges, consider using an en dash.
Context: ...le cost of attack, which implies ~65,536 - 97,152 validators per supercommittee. H...


Near line 47: Possible spelling mistake found.
Context: ...implies ~65,536 - 97,152 validators per supercommittee. However, verification is not the true...


Near line 49: Possible spelling mistake found.
Context: ...building and generating commitments for rollup data will be outsourced to specialized ...


Near line 49: Possible spelling mistake found.
Context: ...r proposer-builder separation (PBS) and Danksharding. ## What is the role of the fork-choic...


Near line 53: Possible missing comma found.
Context: ...since the last finalized block. Under SSF there wouldn't be any blocks for the fo...


Near line 53: If the ‘because’ clause is essential to the meaning, do not use a comma before the clause.
Context: ...cks for the fork choice rule to consider, because finality occurs in the same slot as the...


Near line 53: As a shorter alternative for ‘able to’, consider using “can not”.
Context: ...line and attesting honestly. If a block is not able to exceed the 2/3 threshold, the fork choi...


Near line 57: If the ‘because’ clause is essential to the meaning, do not use a comma before the clause.
Context: ...regation. One potential solution is that, because all validators attest in every slot and...


Near line 57: Possible spelling mistake found.
Context: ...ire validator set. This relies on large stakers agreeing to consolidate their validator...


Near line 61: Possible spelling mistake found.
Context: ...ter other substantial upgrades such as Verkle trees and [Dan...


Near line 61: Possible spelling mistake found.
Context: ...bstantial upgrades such as Verkle trees and [Danksharding](/roadmap/dankshard...


Near line 61: Possible spelling mistake found.
Context: ...kle trees](/roadmap/verkle-trees/) and Danksharding. ## Further r...


Near line 65: Possible spelling mistake found.
Context: ... Further reading {#further-reading} - [Vitalik on SSF at EDCON 2022](https://www.youtu...


Near line 65: Possible spelling mistake found.
Context: ...#further-reading} - [Vitalik on SSF at EDCON 2022](https://www.youtube.com/watch?v=n...


Near line 66: Possible spelling mistake found.
Context: ...www.youtube.com/watch?v=nPgUKNPWXNI) - [Vitalik's notes: Paths to single slot finality]...


Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on your favorite social media?

Share
Tips

Chat

There are 3 ways to chat with CodeRabbit:

Note: Auto-reply has been disabled for this repository by the repository owner. The CodeRabbit bot will not respond to your replies unless it is explicitly tagged.

  • Files and specific lines of code (under the "Files changed" tab): Tag @coderabbitai in a new review comment at the desired location with your query. Examples:
    • @coderabbitai generate unit testing code for this file.
    • @coderabbitai modularize this function.
  • PR comments: Tag @coderabbitai in a new PR comment to ask questions about the PR branch. For the best results, please provide a very specific query, as very limited context is provided in this mode. Examples:
    • @coderabbitai generate interesting stats about this repository and render them as a table.
    • @coderabbitai show all the console.log statements in this repository.
    • @coderabbitai read src/utils.ts and generate unit testing code.
    • @coderabbitai read the files in the src/scheduler package and generate a class diagram using mermaid and a README in the markdown format.

Note: Be mindful of the bot's finite context window. It's strongly recommended to break down tasks such as reading entire modules into smaller chunks. For a focused discussion, use review comments to chat about specific files and their changes, instead of using the PR comments.

CodeRabbit Commands (invoked as PR comments)

  • @coderabbitai pause to pause the reviews on a PR.
  • @coderabbitai resume to resume the paused reviews.
  • @coderabbitai review to trigger a review. This is useful when automatic reviews are disabled for the repository.
  • @coderabbitai resolve resolve all the CodeRabbit review comments.
  • @coderabbitai help to get help.

Additionally, you can add @coderabbitai ignore anywhere in the PR description to prevent this PR from being reviewed.

CodeRabbit Configration File (.coderabbit.yaml)

  • You can programmatically configure CodeRabbit by adding a .coderabbit.yaml file to the root of your repository.
  • Please see the configuration documentation for more information.
  • If your editor has YAML language server enabled, you can add the path at the top of this file to enable auto-completion and validation: # yaml-language-server: $schema=https://coderabbit.ai/integrations/schema.v2.json

Documentation and Community

  • Visit our Documentation for detailed information on how to use CodeRabbit.
  • Join our Discord Community to get help, request features, and share feedback.
  • Follow us on X/Twitter for updates and announcements.

@mcmoodoo
Copy link
Contributor Author

mcmoodoo commented May 3, 2024

@minimalsm please merge. Just a simple change involving two letter changes. Thanks

Copy link
Contributor

@coderabbitai coderabbitai bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actionable comments posted: 1

Out of diff range and nitpick comments (2)
public/content/roadmap/single-slot-finality/index.md (2)

Line range hint 32-38: Improve conciseness and consider replacing 'greatest' for precision.

- With the current mechanism design, in order to reduce the time to finality, it is necessary to reduce the number of validators on the network or increase the hardware requirements for each node. However, there are improvements that can be made to the way attestations are processed that can allow more attestations to be counted without adding to the overhead at each node. The more efficient processing will allow finality to be determined within a single slot, rather than across two epochs.
- The aggregator that includes the greatest number of individual contributions passes their aggregate signature to the block proposer, who includes it in the block along with the aggregate signature from the other committees.
+ To reduce the time to finality under the current design, we must either decrease the number of validators or enhance node hardware. Yet, processing improvements could enable more efficient attestation counting without increasing overhead, achieving finality within a single slot.
+ The aggregator with the most contributions forwards their aggregate signature to the block proposer, who then includes it with others in the block.

Line range hint 47-49: Correct punctuation and rephrase for clarity.

- Further efficiency gains could be made by creating supercommittees of e.g. 125,000 randomly selected validators per slot. Only these validators get to vote on a block and therefore only this subset of validators decide whether a block is finalized. Whether this is a good idea or not comes down to how expensive the community would prefer a successful attack on Ethereum to be. This is because instead of requiring 2/3 of the total staked ether, an attacker could finalize a dishonest block with 2/3 of the staked ether _in that supercommittee_. This is still an active area of research, but it seems plausible that for a validator set sufficiently large to require supercommittees in the first place, the cost of attacking one of those subcommittees will be extremely high (e.g. the ETH denominated cost of attack would be `2/3 * 125,000 * 32 = ~2.6 million ETH`). The cost of attack can be adjusted by increasing the size of the validator set (e.g. tune the validator size so the cost of attack is equal to 1 million ether, 4 million ether, 10 million ether, etc). [Preliminary polls](https://youtu.be/ojBgyFl6-v4?t=755) of the community seem to suggest that 1-2 million ether is an acceptable cost of attack, which implies ~65,536 - 97,152 validators per supercommittee.
+ Efficiency could be enhanced by forming supercommittees, e.g., 125,000 randomly selected validators per slot. Only these validators would vote on a block, thus only this subset decides a block's finality. The feasibility depends on the community's tolerance for the cost of a potential attack. Instead of needing 2/3 of all staked ether, an attacker would need 2/3 within that supercommittee. Research continues, but it's plausible that with a large enough validator set, the cost to compromise a subcommittee could be prohibitive (e.g., `2/3 * 125,000 * 32 = ~2.6 million ETH`). Adjusting the validator size could modulate the attack cost (e.g., setting it to 1 million ether, 4 million ether, 10 million ether). Community polls indicate that an attack cost of 1-2 million ether is considered acceptable, implying about 65,536 - 97,152 validators per supercommittee.

Comment on lines +21 to 23
The finality guarantee is not an immediate property of a new block; it takes time for a new block to finalize. The reason for this is that validators representing at least 2/3 of the total staked ETH on the network have to vote for the block ("attest") in order for it to be considered finalized. Each validating node on the network has to process attestations from other nodes in order to know that a block has, or has not, achieved that 2/3 threshold.

The shorter the time allowed to reach finalization, the more computing power is required at each node because the attestation processing has to be done faster. Also, the more validating nodes exist on the network, the more attestations have to be processed for each block, also adding to the processing power required. The more processing power required, the fewer people can participate because more expensive hardware is needed to run each validating node. Increasing the time between blocks lessens the computing power required at each node but also lengthens the time to finality, because attestations are processed more slowly.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Consider simplifying the expression and correcting punctuation for clarity.

- The finality guarantee is not an immediate property of a new block; it takes time for a new block to finalize. The reason for this is that validators representing at least 2/3 of the total staked ETH on the network have to vote for the block ("attest") in order for it to be considered finalized. Each validating node on the network has to process attestations from other nodes in order to know that a block has, or has not, achieved that 2/3 threshold.
- The shorter the time allowed to reach finalization, the more computing power is required at each node because the attestation processing has to be done faster. Also, the more validating nodes exist on the network, the more attestations have to be processed for each block, also adding to the processing power required. The more processing power required, the fewer people can participate because more expensive hardware is needed to run each validating node. Increasing the time between blocks lessens the computing power required at each node but also lengthens the time to finality, because attestations are processed more slowly.
+ Finality in Ethereum is not immediate; it requires validators representing at least 2/3 of the total staked ETH to vote for a block. This process takes time as each node must process attestations to determine if the 2/3 threshold has been met.
+ Shortening the finalization time increases the computing demands at each node due to faster attestation processing. More nodes mean more attestations per block, increasing the computational load. Higher computing demands limit participation as they require more expensive hardware. Conversely, increasing the time between blocks reduces these demands but extends the finality time because attestations are processed more slowly.

Committable suggestion

‼️ IMPORTANT
Carefully review the code before committing. Ensure that it accurately replaces the highlighted code, contains no missing lines, and has no issues with indentation.

Suggested change
The finality guarantee is not an immediate property of a new block; it takes time for a new block to finalize. The reason for this is that validators representing at least 2/3 of the total staked ETH on the network have to vote for the block ("attest") in order for it to be considered finalized. Each validating node on the network has to process attestations from other nodes in order to know that a block has, or has not, achieved that 2/3 threshold.
The shorter the time allowed to reach finalization, the more computing power is required at each node because the attestation processing has to be done faster. Also, the more validating nodes exist on the network, the more attestations have to be processed for each block, also adding to the processing power required. The more processing power required, the fewer people can participate because more expensive hardware is needed to run each validating node. Increasing the time between blocks lessens the computing power required at each node but also lengthens the time to finality, because attestations are processed more slowly.
Finality in Ethereum is not immediate; it requires validators representing at least 2/3 of the total staked ETH to vote for a block. This process takes time as each node must process attestations to determine if the 2/3 threshold has been met.
Shortening the finalization time increases the computing demands at each node due to faster attestation processing. More nodes mean more attestations per block, increasing the computational load. Higher computing demands limit participation as they require more expensive hardware. Conversely, increasing the time between blocks reduces these demands but extends the finality time because attestations are processed more slowly.

Copy link
Contributor

@minimalsm minimalsm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the PR @mcmoodoo <3

@minimalsm
Copy link
Contributor

@all-contributors please add @mcmoodoo for docs

Copy link
Contributor

@minimalsm

I've put up a pull request to add @mcmoodoo! 🎉

@minimalsm minimalsm merged commit 7605e49 into ethereum:dev May 3, 2024
6 checks passed
This was referenced May 8, 2024
@mcmoodoo mcmoodoo deleted the patch-3 branch May 17, 2024 13:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
content 🖋️ This involves copy additions or edits
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants