eBTC CheatSheet.MD

Contest & Code

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)

Demo (Testnet next week)

https://www.ebtc.finance/

Docs

https://docs.ebtc.finance/

https://github.com/Badger-Finance/ebtc-purple-paper/blob/main/eBTC_Protocol_-_Purple_Paper.pdf

Video Tour

https://www.youtube.com/playlist?list=PLM6E5kYOSJZz83IGFFlsOtrCV7nScN-a9

Known Issues

https://gist.github.com/GalloDaSballo/a0f9766bf7bac391f49d2d167e947de0

Broken Invariant "Debunk Tests"

https://gist.github.com/GalloDaSballo/8402757460a97f5599fad3cffb34859a

Extra Charts

Leverage Macro

https://miro.com/app/board/uXjVNZRpfyY=/?share_link_id=999245775110

DiamondLike

https://miro.com/app/board/uXjVNZRUH6E=/?share_link_id=290317560867

Additional Extra Resources

Antonios Invariants Workshop on eBTC

https://www.youtube.com/watch?v=ELY_zjIAKuE&ab_channel=Spearbit

Full blown Python Simulation of CDP System

https://github.com/GalloDaSballo/CDP-Sim

Selected Python Scripts to simulate specific economic behaviours

https://github.com/GalloDaSballo/Cdp-Demo/tree/main/scripts

Simulate Risky CDPs ratio given TCR

https://gist.github.com/GalloDaSballo/f02d887cfd1efd483b49be8201d4c960

Repay is better than delaying the RM

https://gist.github.com/GalloDaSballo/27ddbf6cb06d8fe8368d2611c4eecc40

Cost of Reorgs

https://gist.github.com/GalloDaSballo/5a0eb205d72df5b0d033b55f3baaa927

Cost of DOS of 10 / 15 minutes

https://gist.github.com/GalloDaSballo/0a33a8b07e681d49c8228b6f8e9c9bd2

Test Coverage

https://gist.github.com/GalloDaSballo/19535663b1dbfda120f3b8695906a67a