STAKING

Staking and rewards distribution: fuzzing the accounting protocols get wrong

Staking reward math is deceptively tricky. Division-before-multiplication, rounding dust, flash-stake exploits — here are the properties that catch them all.