In today's post, we'll help you understand the new Solana's consensus algorithm by playing with the Quint spec we wrote for it :)
Check it out! bit.ly/4lZHGEA
In today's post, we'll help you understand the new Solana's consensus algorithm by playing with the Quint spec we wrote for it :)
Check it out! bit.ly/4lZHGEA