Quiz: Chapter 16 — Proof of Stake: How Ethereum Validates Without Mining
Multiple Choice
Question 1. How many slots comprise one epoch in Ethereum's Proof of Stake?
A) 12 B) 16 C) 32 D) 64
Answer
**C) 32.** Each epoch contains 32 slots, with each slot lasting 12 seconds, making one epoch 384 seconds (6 minutes and 24 seconds).Question 2. What is the minimum amount of ETH required to become a solo validator on Ethereum?
A) 16 ETH B) 32 ETH C) 64 ETH D) There is no minimum
Answer
**B) 32 ETH.** A validator must deposit exactly 32 ETH into the deposit contract on the execution layer. This amount was chosen to balance decentralization (low enough for individuals) with accountability (high enough to make misbehavior costly) and practical validator set size.Question 3. Ethereum's Proof of Stake uses two consensus protocols working together. Which pair is correct?
A) Casper FFG and Nakamoto Consensus B) Tendermint BFT and LMD-GHOST C) Casper FFG and LMD-GHOST D) Ouroboros and Casper CBC
Answer
**C) Casper FFG and LMD-GHOST.** Casper FFG (Friendly Finality Gadget) handles finality by justifying and finalizing checkpoints. LMD-GHOST (Latest Message Driven Greediest Heaviest Observed SubTree) serves as the fork choice rule, determining which branch of the chain to follow based on the most recent attestation weight.Question 4. Under normal conditions, how long does it take for a block to be finalized on Ethereum's PoS?
A) 12 seconds (one slot) B) 6.4 minutes (one epoch) C) Approximately 12.8 minutes (two epochs) D) 24 hours
Answer
**C) Approximately 12.8 minutes (two epochs).** Finalization requires a checkpoint to be justified and then the immediately following checkpoint to also be justified. Each epoch is 6.4 minutes, so finalization requires approximately two epochs — 12.8 minutes. This is a minimum under ideal conditions; network delays can extend it.Question 5. What percentage of the total staked ETH must attest to a checkpoint for it to be justified?
A) 50% (simple majority) B) 51% (majority plus one) C) Two-thirds (approximately 66.7%) D) 75% (three-quarters supermajority)
Answer
**C) Two-thirds (approximately 66.7%).** This threshold derives from BFT theory: with a two-thirds requirement, the protocol guarantees that two conflicting checkpoints cannot both be justified unless at least one-third of validators are provably malicious (and thus slashable).Question 6. Which of the following is a slashable offense in Ethereum's PoS?
A) Missing an attestation due to being offline B) Proposing a block with invalid transactions C) Signing two different attestations for the same target epoch (double voting) D) Failing to sync with the latest software update
Answer
**C) Signing two different attestations for the same target epoch (double voting).** The two slashable offenses are double voting and surround voting. Being offline results in missed rewards and mild penalties but is not slashable. Invalid transactions are rejected by the execution layer. Software updates are not enforced through slashing.Question 7. The inactivity leak activates when:
A) A validator has been offline for more than 24 hours B) The chain fails to finalize for more than four epochs C) More than 50% of validators are offline D) A slashing event is detected
Answer
**B) The chain fails to finalize for more than four epochs.** The inactivity leak is triggered by finality failure, regardless of the specific cause. Once active, it quadratically increases penalties for non-participating validators, gradually reducing their stake until the active validators represent a two-thirds supermajority.Question 8. In the context of the nothing-at-stake problem, what is the rational strategy for a validator in a naive PoS system (without slashing)?
A) Only sign the fork with the most attestations B) Refuse to sign any fork until consensus is clear C) Sign every possible fork to guarantee rewards on the winning chain D) Randomly choose one fork to sign
Answer
**C) Sign every possible fork to guarantee rewards on the winning chain.** In a naive PoS system without slashing, signing multiple forks costs nothing, so the dominant strategy is to sign all forks. This breaks the fork choice rule because all forks receive equal support. Ethereum's slashing mechanism transforms this game by making multi-fork signing extremely costly.Question 9. What is the primary concern about Lido's market share in liquid staking?
A) Lido charges higher fees than other protocols B) Lido approaching the 33% staking threshold threatens the finality guarantee C) Lido validators use outdated software D) Lido's stETH token has a flawed smart contract
Answer
**B) Lido approaching the 33% staking threshold threatens the finality guarantee.** If a single entity controls 33% or more of staked ETH, it could theoretically prevent finality by withholding attestations. While Lido argues its node operators are independent, the governance structure creates a potential coordination point. Additional concerns include censorship risk and stETH as systemic DeFi collateral.Question 10. Which PoS design achieves instant, absolute finality with a small validator set?
A) Ethereum's Casper FFG/LMD-GHOST B) Ouroboros (Cardano) C) Tendermint/CometBFT (Cosmos) D) Nakamoto Consensus
Answer
**C) Tendermint/CometBFT (Cosmos).** Tendermint achieves single-slot finality (approximately 6-7 seconds) through classical BFT consensus, but requires a small, fixed-size validator set (typically 100-175). The tradeoff is that the chain halts if more than one-third of validators go offline (safety-over-liveness), and the smaller validator set may be less decentralized.True or False
Question 11. In Ethereum's PoS, if a block proposer fails to produce a block in their assigned slot, the network forks.
Answer
**False.** If a proposer misses their slot, the slot is simply empty and the chain continues to the next slot. There is no fork — the chain just has a gap. The proposer misses their proposal reward but faces no additional penalty.Question 12. A validator who is offline 50% of the time earns approximately half the return of a perfect validator.
Answer
**False.** A validator who is offline 50% of the time earns approximately zero return, because they incur penalties during offline periods at roughly the same rate they earn rewards during online periods. The penalty for missing an attestation is approximately equal to the reward for submitting one.Question 13. The correlation penalty for slashing means that a single validator slashed in isolation loses their entire 32 ETH.
Answer
**False.** A single validator slashed in isolation faces an initial penalty of approximately 1/32 of their effective balance (about 1 ETH) plus a minimal correlation penalty. The correlation penalty scales with the number of validators slashed within the same time window. Only in a large-scale coordinated attack (many validators slashed simultaneously) does the penalty approach the full stake.Question 14. Ouroboros (Cardano's PoS protocol) provides absolute, deterministic finality like Tendermint.
Answer
**False.** Ouroboros provides probabilistic finality, similar to Proof of Work — certainty increases with the number of confirmations, but there is no single point at which a transaction becomes deterministically irreversible. This contrasts with Tendermint and Algorand, which provide absolute finality.Question 15. After The Merge, Ethereum's energy consumption dropped by approximately 99.95%.
Answer
**True.** Ethereum's pre-Merge PoW energy consumption was approximately 112 TWh per year. Post-Merge, the PoS network consumes approximately 0.01 TWh per year, a reduction of roughly 99.95%. The entire validator set can be powered by consumer-grade hardware.Short Answer
Question 16. Explain the difference between LMD-GHOST and Casper FFG. What role does each play in Ethereum's consensus?
Answer
**LMD-GHOST** is the fork choice rule. It determines which branch of the chain validators should follow by counting the attestation weight (based on each validator's most recent message) on each fork and selecting the branch with the most support. It provides probabilistic, real-time confirmation. **Casper FFG** is the finality gadget. It operates on epoch-boundary checkpoints, requiring two-thirds of the total stake to attest to a source-target link for justification. Finalization occurs when a justified checkpoint is followed by another justified checkpoint. Once finalized, reversal would require at least one-third of staked ETH to be slashable. Together, LMD-GHOST provides liveness (the chain always makes progress, even without finality) and Casper FFG provides safety (finalized blocks are irreversible under the honest-majority assumption).Question 17. What is "weak subjectivity" and why is it necessary in Proof of Stake but not in Proof of Work?
Answer
**Weak subjectivity** is the requirement that new or returning nodes must sync from a recent trusted checkpoint rather than from genesis. This is necessary because of the long-range attack vulnerability in PoS: an attacker who acquires the private keys of validators who have long since exited could create a fake alternative history. In PoW, this attack is infeasible because creating an alternative history requires re-doing all the mining work from the fork point, which is prohibitively expensive for a long chain. In PoS, there is no equivalent ongoing cost — the old private keys can sign blocks on a fake fork at zero marginal cost. Weak subjectivity mitigates this by ensuring that nodes always start from a recent, socially agreed-upon checkpoint that is beyond the reach of long-range attacks.Question 18. How does Rocket Pool's design differ from Lido's, and what advantage does this provide for decentralization?
Answer
**Lido** uses a curated, governance-selected set of professional node operators. LDO token holders vote on which operators to include. This creates a centralized governance chokepoint. **Rocket Pool** allows anyone to become a node operator by depositing 8 ETH and borrowing the remaining 24 ETH from the pool. This is permissionless — no governance vote is required to join. Node operators have their own capital at risk (8 ETH), aligning incentives with depositors. The decentralization advantage is that Rocket Pool's validator set is not controlled by a single governance body. New operators can enter freely, and no small group of token holders can dictate the composition of the operator set. The tradeoff is slightly lower returns and less DeFi integration for Rocket Pool's rETH token compared to Lido's stETH.Question 19. Why does the slashing correlation penalty scale with the number of simultaneously slashed validators? What behavior is it designed to deter?
Answer
The correlation penalty scales because the protocol distinguishes between honest mistakes and coordinated attacks. A single validator accidentally double-signing (due to a misconfiguration like running two instances) is a nuisance but not a threat to the network. A thousand validators double-signing simultaneously suggests a coordinated attack on consensus. By making the penalty proportional to the total amount of stake slashed within a time window, the protocol creates a deterrent that scales with the severity of the threat. An individual mistake costs approximately 1 ETH. A coordinated attack involving one-third of validators would cost each attacking validator their entire stake — potentially tens of billions of dollars collectively. This design deters coordinated attacks (where the penalty is catastrophic) while being forgiving of isolated errors (where the penalty is modest).Question 20. Name one advantage and one disadvantage of Proof of Stake relative to Proof of Work for censorship resistance.