This repository contains a formal specification written in Quint for Solana's Alpenglow conensus algorithm.
Read more about it and how to use it to understand the Alpenglow consensus algorithm in this blog post.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This repository contains a formal specification written in Quint for Solana's Alpenglow conensus algorithm.
Read more about it and how to use it to understand the Alpenglow consensus algorithm in this blog post.