Invariant Testing of Blast Shares Logic from the Blast Contest
In this video I show the depths I went to ensure that the Blast Shares and Weth Rebasing implementation were safe against manipulation
How does Blast Shares differ from ERC4626?
What were the possible exploits?
How to scaffold rebasing tokens
Full explanation of the setup I used
BONUS: A differential Setup to compare different modes
Scaffold Invariant Tests for Free:
https://getrecon.xyz/
Add Invariant Tests to your CI / CD in 3 clicks:
https://getrecon.xyz/pro