The Informal Blog - Is Namada’s Cubic Proof-of-Stake Secure?