Quint Blog
Understanding Solana's Alpenglow with Quint
Use the Quint spec we have written for the Alpenglow consensus algorithm to learn about it in an interactive way, while also learning how to use the Quint tools like we do.
Holiday protocols: Secret Santa with Quint 🎅
A fun little exploration of different drawing strategies for Secret Santa participants, and which properties they guarantee