Upgrade to add your own logo

Thinking in Invariants

Finding, debugging, and fixing a critical invariant-breaking bug in a Chainlink DeFi protocol with formal verification.
Download
Vidyard uses cookies to better understand how videos are viewed, and to improve your experience. Learn more