Will be talking in ~1h about a proper Bored Ghost topic on @summit_defi 101 :
Insights on how a system like Aave applies Formal Verification, together with Tomer Ganor from @certora
Join if you are in Paris, or also via piped.video/watch?v=v9ANh5wm…
The previous is way more powerful than initially seems.
Also, while some users fork V3s, understand their intricacies, and build a brand from scratch, guess where are the brains of the V3 developers during that period?
1/3 The Aave governance proposal to approve a joint development between Aave and Starknet communities has been executed, after approval by the Aave community.
What does this mean? ⬇️