The Universal Rewards Distributor has been formally verified using @certora ✅
The process verifies that Merkle trees are well-formed and the rewards distributor is correct, where claimed rewards correspond exactly to the rewards contained in the associated Merkle tree 🧵