Invited Talks and Keynotes
Privacy-Preserving Oracles with DECO.
😯 Imagine that users can bring claims about themselves into smart contracts with complete privacy: “I am a person” (but not private information about me); “I live in the US” (but not my address); “my combined bank accounts balance is above a threshold” (but not my balances); and more.
🤔 In this presentation at SmartCon 2022, we explain how DECO enables the unlocking of user information from current web 2.0 servers into Web 3.0; we describe the application of academic research to allow smart contracts to serve even more powerful use cases in a truly privacy-preserving manner; and we give a glimpse into real-world use cases.
Maximal Extractable Value (MEV) Protection on a DAG.
[Science and Engineering of Consensus 2022] 🎥
Many cryptocurrency platforms are vulnerable to Maximal Extractable Value (MEV) attacks, where a malicious consensus leader can inject transactions or change the order of user transactions to maximize its profit. This joint work with Pawel Szalachowski introduces Fino, an efficient method to implement an approach known as “Blind Order-Fairness”, which enables certain MEV protection to services that subscribe to it.
Connecting Blockchains and the World.
[UC Berkeley RISE/Sky seminar, summer 2022, invited speaker]
[Imperial College London LSDS seminar, summer 2022, invited speaker]
[ETH and EPFL, summer 2022]
What would it take for blockchains to enable people and businesses everywhere better, trusted and innovative financial foundations? In the first part of the presentation, I briefly recall the Diem story, June 2018-January 2022. I joined the Diem project (it was named Libra back then) in 2019 as CTO and stayed until its closing. I explain the stablecoin structure Diem built over a purpose-built blockchain. In the second part, I switch gears and talk about my current role as chief research officer at Chainlink Labs. Chainlink enables smart contracts to interact with the real world and to reduce trust in centralized intermediaries. I provide a glimpse into Chainlink Labs technology and a research outlook.
Tech Transfer Stories and Takeaways.
[IEEE TCDP Outstanding Technical Achievement Award keynote at ICDCS 2021]
[Cornell CS colloqium 2021 invited speaker]
[DISC 2021 keynote] [🎥]
In this talk, I share impressions from several industrial research project experiences that reached production and became part of successful products. I will go through four stories of how these systems transpired and their journey to impact. All of the stories are in the distributed computing arena, and more specifically, they revolve around the state-machine-replication paradigm. Yet, I hope that the take-aways from the experience of building foundations for these systems may be of interest and value to everyone, no matter the discipline.
Invited presentations about the Libra technology.
[UC Davis ExpoLab 2020] [🎥]
[CMU ECE 2020]
[ACM AFT’20 keynote]
[UZH Blockchain Center Summer School 2020, invited speaker]
[TPBC’20 invited speaker] [🎥]
[FAB’20 invited speaker]
[ITA 2020 invited speaker]
Flexible BFT and New Approaches in Byzantine Fault Tolerance.
[Chicago booth Cryptocurrencies and Blockchains Conference, 2019, invited speaker]
[Richard M. Karp Distinguished Lecture 2019]
[CES 2019, invited speaker]
[BC ‘19, invited speaker]
[Tokenomics 2019, keynote]
[she256 conference 2019, invited speaker] , [🎥]
In this presentation, I introduce the Flexible BFT approach, a joint work with Kartik Nayak and Ling Ren. Byzantine Fault Tolerant (BFT) protocols designed for building replicated services collapse if deployed under settings that differ from the fault model they are designed for. Flexible BFT is a new approach for BFT consensus solution design revolving around two pillars. First, flexible BFT introduces a new fault model that allows resilience to higher corruption levels than possible in a pure Byzantine fault model. Second, Flexible BFT separates between the fault model and the solution, supporting in the same protocol synchronous and asynchronous beliefs, as well as varying resilience thresholds.
Blockchains in the Lens of BFT and HotStuff.
[Northeastern University Khoury Distinguished Lecture Series, 2019]
[Swiss Blockchain Winter School, Feb 2019, invited speaker]
[Gerald M. Masson Distinguished Lecture Series, Johns Hopkins University, 2018]
[Usenix ATC ‘18, keynote]
[BITCOIN ‘18, keynote]
[Tsinghua-Cornell Blockchain Winter School 2017, invited speaker]
In this series of talks, I introduced classical BFT foundations for blockchains which were gradually developed. They followed several blogposts I made, including [Blockchain/BFT] [The BFT Lens: HotStuff and Casper] [The BFT Lens: Tendermint], a [BEATCS fall 2017 tutorial], and culminating with the introduction of the HotStuff algorithm [HotStuff-PODC2019].
- “BFT Reconfiguration”, [Swiss Blockchain Summer School 2017, invited speaker]
- “Beyond Paxos”, [BIRS workshop 11/2016, invited speaker] [🎥]
“Randomized Gossip Methods: From Grapevine to SWIM”, [PWL Conference 2016, invited speaker] [🎥]
- '’Foundations of Reliable Distributed Systems in Practice’’, at [Women in Theory 2016, invited speaker]
- “CorfuDB: Transactional Data Services over a Shared Log”, at [Princeton Distinguished Colloquium Series, fall 2014]*
- “What happens when distributed systems go elastic?”, at [SSS ‘12, keynote]
- “CORFU: Going Beyond Paxos”, at [DISC 2011, keynote]
- “CORFU: Transactional Storage at the Speed of Flash”, at [LADIS ‘2011, invited speaker]
- “Backend Consistency for Large-Scale Live Services”, at [IPTPS ‘10]
- “Dynamic Reconfiguration in Distributed Systems”, at [TADDS 2010]
- “Virtually Synchronous Paxos”, at [A 30-Year Perspective on Replication, invited speaker]
- “FairPlay - A Secure Two-Party Computation System”, at [SMP 2004, keynote]
- “Locality Aware network Solutions”, at [WDAS 2004, invited speaker]
- “From Byzantine Agreement to Practical Survivability”, at [RCDS 2002, keynote]