Strachey Lecture: The Computer in the Sky
From Strachey Lectures by Oxford University
May 16, 2024 · 1h 2m
About this episode
The lecture discusses the mathematical tools essential for understanding blockchain protocols and their applications.
The talk will emphasize the diversity of mathematical tools necessary for understanding blockchain protocols and their applications The talk will emphasize the diversity of mathematical tools necessary for understanding blockchain protocols and their applications (e.g., distributed computing, game theory, mechanism design, and continuous-time stochastic processes) and the immediate practical impact that mathematical work on this topic has had (e.g., Ethereum's EIP-1559 and LVR for automated market makers).
Topics covered
- blockchain
- mathematical tools
- distributed computing
- game theory
- mechanism design
- stochastic processes
Keywords
- blockchain
- mathematics
- distributed computing
- game theory
- mechanism design
- stochastic processes
- Ethereum
Mentioned in this episode
Organizations: Ethereum
Books & works: EIP-1559, LVR
More episodes of Strachey Lectures
- Hardening Digital Infrastructure: Two Examples · May 27, 2026 · 1h 2m
- An AI stack: from scaling AI workloads to evaluating LLMs · February 26, 2026 · 56 min
- Advances in Garbled Circuits · October 27, 2025 · 48 min
- Will Computers prove theorems? · May 15, 2025 · 46 min
- Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI · May 15, 2025 · 47 min
- Privacy, Verification, Robustness: A Cryptographer's perspective on ML · March 11, 2025 · 1h 4m
Explore listener stats, chart rankings, contacts and more on the Strachey Lectures podcast page.