The first complete formal verification of Alpenglow consensus protocol with mathematical guarantees of correctness.
This isn't just another blockchain project—it's a mathematical proof that Alpenglow works correctly under all conditions, including Byzantine attacks, network failures, and edge cases that traditional testing can't catch.
This is my submission for Formal Verification of Solana Alpenglow Consensus Protocol - by Amaan Ahmad (ashqking).