alpenglow

Solana validator health in 60 seconds: score, leader duties, rewards, disk forecast, Prometheus. One static binary, read-only, never touches your keys.

An interactive, paper-faithful simulator that shows how a transaction moves through Solana consensus, side by side under TowerBFT and Alpenglow.

Alpenfox custom theme eith glowing gradient active tab and gradient to transparent hover plus other mods. Use with firefox alpenglow for look in pics or use default dark/light for transparent theme with cool look.

Desktop dashboard for tracking the Solana Alpenglow upgrade — finality times, TPS, and network health in real time.

The Firefox "Alpenglow" Theme for Thunderbird.

Mathematical proof of Solana's Alpenglow consensus protocol with 100% verification success.

Eye protection screen for Solana Alpenglow validator logs - terminal UI

Raycast-style keyboard-centric desktop shell for Alpenglow

Formal Verification of Solana Alpenglow Consensus Protocol

Staked-identity failover monitor for Solana validators (Alpenglow mode). The failing node steps down first; the spare pages you with the warm-swap steps; automatic takeover is opt-in (armed spare). bash + systemd, MIT.

Typed-decision escrow on Solana Alpenglow devnet — oracle-signed decisions verified on-chain, sub-second finality measured live.

An interactive proof-of-concept that explains and quantifies Alpenglow’s asymmetry tax — ( delaying head of the block (Slot 1) exponentially more expensive than later slots ).Built to demonstrate how Alpenglow’s Votor/Rotor architecture + strict latency penalties will dramatically reduce dark MEV opportunities while preserving validator incentives.

Verification of Solana's Alpenglow consensus protocol using TLA+ and statistical simulation.

Which sort key each Solana validator uses to order transactions in its block, and how strictly in time. Mainnet probes after Alpenglow: 16 validators, 8 clients, all raw data, one-command reproduction.

Legal documents for Alpenglow software projects.

A tool that counts the tools validators build. Including this one. Open directory of Solana validator tooling, verified with identity-key signatures.

Modular tools for Solana validators, one installer and one config. vat keeps the vote account funded for Alpenglow VAT; bamboost claims the Jito BAM Boost. A validator installer, an optimizer and AF_XDP setup are in testing.

Polybar for Arcan

Formal verification of Alpenglow consensus protocol for Solana using TLA+ - 604K+ states verified, 100% test pass rate