Is Namada’s Cubic Proof-of-Stake Secure?

Formal methods approach to verifying epoched staking and slashing mechanisms.