Problem Statement: A Sovereign PoS Ledger That Upgrades Itself
Frames the chain as a state-machine replication problem plus a constitutional amendment machine, not a database with tokens.
Problem statement
Design a brand-new Layer-1 blockchain whose block production is secured by proof-of-stake (pure or delegated), where token holders stake to earn rewards and expose themselves to slashing, and where on-chain governance can change protocol parameters or schedule new chain logic that auto-activates at a designated block height. The system must simultaneously be a replicated state machine (consensus), a bank (ledger and staking), a legislature (governance), and a deployment pipeline (upgrades).
The distinctive difficulty is that the system's own rules are mutable state. In a normal distributed system the schema and the code are outside the data. Here, parameter values (block size, inflation curve, unbonding period, validator set size) live inside the consensus state, and accepted proposals rewrite the transition function itself at a future height. Every node must apply the same new rules at exactly the same height or the network splits. Governance is therefore not a forum bolted onto the chain; it is a consensus-critical subsystem with its own concurrency control, guardrails, and activation protocol.
Why this differs from a payments backend
A payments service can deploy code whenever its release pipeline says so, because one company owns every replica. A sovereign L1 has thousands of independent operators. An upgrade is a coordinated constitutional event: proposal, deposit, voting period, tally with quorum and threshold, delay for review, signaling, activation height, state migration, and rollback policy. Ethereum coordinates upgrades off-chain through hard forks; Cosmos SDK chains and Polkadot execute parameter and runtime changes on-chain; Tezos self-amends through multi-period voting. Our design takes the on-chain route for parameters and scheduled logic activation, with explicit guardrails so a bad vote cannot halt or inflate the chain silently.
The four planes
- Consensus plane: proposer election, block gossip, BFT voting, finality, evidence and slashing.
- Ledger plane: accounts, balances, nonces, transaction execution, gas metering, state trie.
- Stake plane: validator set, delegations, unbonding queue, rewards, slashing, jail state.
- Governance plane: proposals, deposits, votes, tally, parameter registry, treasury streams, upgrade schedule.
A strong answer keeps these planes separate: consensus failures must not corrupt the ledger; governance spam must not stall consensus; staking economics must not let a minority rent the legislature.
Public baseline versus design assumptions
Public figures give context: Ethereum's beacon chain runs roughly one million 32-ETH validators with 12-second slots and finality across two ~6.4-minute epochs; Cosmos Hub runs an active set of about 180 validators with 14-day voting periods, 40% quorum and 50% threshold; Polkadot elects around 300 validators and upgrades forklessly via on-chain WASM runtime replacement. These are cited public characteristics, not our targets. For capacity work this answer assumes: 220 active validators, 9,000 candidates, 650,000 delegators, 1.4B of 2.4B tokens bonded, 2-second blocks, 250 TPS average and 2,000 TPS peak, 25 proposals per month. Every uncited number is an explicit assumption.
Key Highlights
- •Governance is consensus-critical: accepted proposals rewrite the transition function at a future height.
- •Four planes: consensus, ledger, stake, governance; failures must not cross plane boundaries.
- •Ethereum (~1M validators, 12s slots), Cosmos Hub (~180 validators, 14-day votes), Polkadot (~300 validators, forkless WASM) anchor the design space.
- •Assumed scale: 220 active validators, 2s blocks, 250 TPS average, 2,000 TPS peak, 25 proposals/month.
Section Rescue Kit
Buzzwords to use:
Safe statements:
- "Let me separate ordering (consensus), execution (ledger), security economics (stake), and rule change (governance) before drawing boxes."
- "The first question I ask is which changes are on-chain automatic (parameters) versus which require node binaries (consensus-critical code)."