Espresso × Taifoon.
HotShot orders the transactions, Taifoon seals the proof. This is a permanent dossier of how the two systems compose — live state, architecture, source-code references, and every external link a third party would want to verify.
HotShot finality, anchored against the SuperRoot.
Taifoon indexes Espresso's mainnet sequencer block-by-block and threads HotShot consensus through V5 as a first-class finality type — alongside Ethereum PoS, Arbitrum BOLD, BSC fast finality, and seven others. Espresso-sequenced rollups inherit the same six-layer proof envelope, with the HotShotLightClient on Ethereum L1 as the BN254 Plonk anchor.
Three layers, one provable wire.
One of ten named V5 finality types.
V5 doesn't treat HotShot as a special case — it's one row in a finality registry that already covers nine other consensus families. Solvers and risk desks consume the same envelope regardless of which chain produced the underlying block.
Espresso is not a slogan, it's three rust files.
rust/crates/header-collector/src/espresso.rsrust/crates/da-api/src/finality/espresso_consensus.rsrust/crates/da-api/src/finality/consensus_relay.rs