A Theory of DeFi? (Keynote talk at the 2021 ACM CCS Workshop on Decentralized Finance and Security)
Tim Roughgarden Lectures · 44:44
Tim Roughgarden argues that DeFi has no real theory yet — it's at the "definitions" stage, before even the easy theorems — and he sketches how one should be built: bottom-up, by descending into a bite-sized sub-proble...