https://code4rena.com/contests/2023-10-badger-ebtc-audit-certora-formal-verification-competition#top
$100,000 Only for HMs Pot + $30,000 Formal Verification Pot (Certora contest)
https://github.com/Badger-Finance/ebtc-purple-paper/blob/main/eBTC_Protocol_-_Purple_Paper.pdf
https://www.youtube.com/playlist?list=PLM6E5kYOSJZz83IGFFlsOtrCV7nScN-a9
https://gist.github.com/GalloDaSballo/a0f9766bf7bac391f49d2d167e947de0
https://gist.github.com/GalloDaSballo/8402757460a97f5599fad3cffb34859a
https://miro.com/app/board/uXjVNZRpfyY=/?share_link_id=999245775110
https://miro.com/app/board/uXjVNZRUH6E=/?share_link_id=290317560867
https://www.youtube.com/watch?v=ELY_zjIAKuE&ab_channel=Spearbit
https://github.com/GalloDaSballo/CDP-Sim
https://github.com/GalloDaSballo/Cdp-Demo/tree/main/scripts
https://gist.github.com/GalloDaSballo/f02d887cfd1efd483b49be8201d4c960
https://gist.github.com/GalloDaSballo/27ddbf6cb06d8fe8368d2611c4eecc40
https://gist.github.com/GalloDaSballo/5a0eb205d72df5b0d033b55f3baaa927
https://gist.github.com/GalloDaSballo/0a33a8b07e681d49c8228b6f8e9c9bd2
https://gist.github.com/GalloDaSballo/19535663b1dbfda120f3b8695906a67a