Skip to content
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
Cannot retrieve contributors at this time

Protocol Labs Research Seminar Series

If you would like to receive emails with talk announcements and Zoom link, please sign up for talk announcements through our mailing list. You may also check out our talk calendar (Google Calendar, iCal).

The Zoom link for all of the presentations is the same. Please try to join ~5 minutes before the start of the talk with your audio muted. Thank you!

NOTE: Attendees and speakers will act respectfully toward others in attendance, in accordance with the Protocol Labs Research Code of Conduct. Anyone who behaves disrespectfully, abusively, or otherwise inappropriately will be removed from the call and banned from future research seminars. If you have any questions about the code of conduct, please email

Upcoming Talks

[January 24, 2023]: Cryptography with Weights: MPC, Encryption, and Signatures, Mingyuan Wang, 17:00 UTC

[February 7, 2023]: Miners' Reward Elasticity and Stability of Competing Proof-of-Work Cryptocurrencies, Shunya Noda, 16:00 UTC

[Awaiting Reschedule]: The Current State and the Future of Longevity Research, Maximilian Unfried, TBD

Past Talks


December 13, 2022: Advances in Human Cryopreservation - Science, Ethics, and Communication, Emil Kendziorra, 17:00 UTC

November 7, 2022: Algorithm-Substitution Attacks on Cryptographic Puzzles, Pratyush Ranjan Tiwari, 16:00 UTC

October 3, 2022: Impact Markets for Public Good Medicines, Savva Kerdemelidis, 16:00 UTC

September 13, 2022: PoSAT: Proof-of-Work Availability and Unpredictability, Without the Work, Soubhik Deb, 16:00 UTC

September 6, 2022: Timelock Encryption based on drand, Yolan Romailler, 15:00 UTC

August 30, 2022: Blockchain-based IoT systems architectures: Practical implementations in agriculture, Dr. Miguel Pincheira Caro

August 16, 2022: The Nature and Nurturing of Research: A Modern Synthesis, Dr. Jeff Tsao

August 9, 2022: Design of a Trustless Software Marketplace, John Burnham

July 14, 2022: Accelerating Scientific Discovery by Lowering Barriers to User-Generated Synthesis of Scientific Literature, Dr. Joel Chan

June 30, 2022: Random Number Generation and Extraction, Dr. Yevgeniy Dodis

June 28, 2022: HECO: Automatic Code Optimizations for Efficient Fully Homomorphic Encryption, Alexander Viand

June 21, 2022: Introduction into Memex - A tool to collaboratively curate, annotate and discuss websites, PDFs and YouTube videos, Oliver Sauter

June 14, 2022: State machine replication scalability made simple, Chrysa Stathakopoulou

June 9, 2022: Back to the Future: Welcome to the RINAissance (part 2), John Day

May 24, 2022: Influencing NFT Pricing on Secondary Markets: A case study of Vpunks, Trent Davis

May 17, 2022: How in the Hell do you lose a layer!?(part 1), John Day

May 10, 2022: Mandala: a high-level data management language implemented in Python, Aleksandar Makelov

May 3, 2022: Social Computing Systems to Deepen Public Contributions to Science, Vineet Pandey

April 28, 2022: Eliminating Sandwich Attacks with the Help of Game Theory, Lioba Heimbach

April 21, 2022: BlockSTM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance Blessing, Rati Gelashvili & Alexander Spiegelman

April 19, 2022: Minotaur: Multi-Resource Blockchain Consensus, Xuechao Wang

March 22, 2022: CryptoMaze: Privacy-Preserving Splitting of Off-Chain Payments, Subhra Mazumdar

March 15, 2022: Securing Proof-of-Stake Nakamoto Consensus Under Bandwidth Constraint, Joachim Neu & Srivatsan Sridhar

February 22, 2022: Gage MPC: Bypassing Residual Function Leakage for Non-Interactive MPC, Ghada Almashaqbeh

February 8, 2022: Count Me In! Extendability for Threshold Ring Signatures, Elena Pagnin

February 3, 2022: Filecoin Hierarchical Consensus Specification, Alfonso de la Rocha

February 1, 2022: Bringing Secure Outsourced Deep Learning one Step Closer to Practicality, Siddharth Garg

January 27, 2022: Nova: Recursive Zero-Knowledge Arguments from Folding Schemes, Srinath Setty

January 25, 2022: VerLoc: Verifiable Localization in Decentralized Systems, Katharina Kohls

January 18, 2022: Fast-HotStuff: A Fast and Robust BFT Protocol for Blockchains, Mohammad Jalalzai


December 9, 2021: Cryptosat - Secure Computing in Space using CubeSats, Yan Michalevsky & Yonatan Winetraub

October 12, 2021: Cairo - a Turing-complete STARK-friendly CPU architecture, Shahar Papini

October 5, 2021: RandPiper - Reconfiguration-Friendly Random Beacons with Quadratic Communication, Aniket Kate

September 30, 2021: Differential Privacy in Constant Function Market Makers, Tarun Chitra

September 28, 2021: MyOPE: Malicious securitY for Oblivious Polynomial Evaluation, Paola de Perthuis

September 21, 2021: A Survey of Rational Proofs, Rosario Gennaro

September 14, 2021: Blitz: Secure Multi-Hop Payments Without Two-Phase Commits, Pedro Moreno-Sánchez

September 7, 2021: Private Attacks in Longest Chain Proof-of-stake Protocols with Single Secret Leader Elections, Sarah Azouvi

August 31, 2021: Efficient and Universally Composable Single Secret Leader Election from Pairings, Emanuele Giunta

August 24, 2021: Balancing Privacy and Accountability in Blockchain Identity Management, Hamidreza Khoshakhlagh

August 17, 2021: YOSO: You Only Speak Once, Sophia Yakoubov

August 10, 2021: GoAT: File Geolocation via Anchor Timestamping, Deepak Maram

June 29, 2021: Decentralized Exchanges, Alfred Lehar

June 22, 2021: Haschached Reputation, Majid Khabbazian

June 17, 2021: Incentivizing the next generation of privacy infrastructure, Ania Piotrowska

June 8, 2021: Offload Annotations: Bringing Heterogeneous Computing to Existing Libraries and Workloads, Gina Yuan

May 25, 2021: The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts, Clara Schneidewind

May 20, 2021: Future privacy: A real right to privacy for artificial intelligence, Sakoyo Blodgett-Ford

May 11, 2021: Post-Quantum Succinct Arguments, Nick Spooner

May 4, 2021: SoK: Tools for game theoretic models of security for cryptocurrencies, Sarah Azouvi

April 27, 2021: Automating reasoning about the future: Language models as research tools, Andreas Stuhlmüller

April 20, 2021: Open Source Game Theory: What AI and Decentralized Technologies Need to Learn from Each Other, Andrew Critch

April 13, 2021: Threat Models and Approaches for AI Alignment, Rohin Shah

April 6, 2021: Almost an Android: Developments in Brain-Computer Interface Technology, Christopher James

March 25, 2021: Tournesol: Collaborative Content Recommendation, Lê Nguyên Hoang

March 16, 2021: How to Extract Useful Randomness from Unreliable Sources, Luisa Siniscalchi

March 11, 2021: Rinocchio: SNARKs for Ring Arithmetic, Eduardo Soria Vazquez

March 9, 2021: Zero-Knowledge Succinct Arguments with a Linear-Time Prover, Jonathan Bootle

February 23, 2021: Beyond Swapping Bits, Alfonso de la Rocha

February 16: Towards Open and Sustainable Infrastructures for Interdisciplinary Synthesis, Joel Chan

February 9: Winkle: a decentralized checkpointing for proof-of-stake systems, Sarah Azouvi

January 26: Verifiable computation over encrypted data, Anca Nitulescu

January 19: The Underlay: a distributed public knowledge graph, Joel Gustafson

January 12: The Inter-Cranial Abstraction System: A framework for content-addressed functional programming, Alan Ransil


November 17: Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage, Dimitris Kolonelos

November 12: Routing attacks on cryptocurrencies, Maria Apostolaki

November 3: Topology management and gossip: the way to scale, João Leitão

October 27: Hybrid ICN, Luca Muscariello

October 20: Non-Malleable Time-Lock Puzzles, Naomi Ephraim

October 6: Mapping the Interplanetary Filesystem -- A Network Layer Measurement Study of IPFS, Sebastian Henningsen

September 28: FastPay: High-Performance Byzantine Fault Tolerant Settlement, Alberto Sonnino

September 22: Protocol Stack for the Federation of DLT Networks, Alfonso de la Rocha

September 14: Measuring the performance of Private Cloud WANs, Vasilis Giotsas

September 8: Challenges in the Decentralised Web: The Mastodon Case, Gareth Tyson

August 27: Optimal P2P design for Blockchains, Shaileshh Bojja Venkatakrishnan

August 11: Unified security analysis of permissionless systems, Sreeram Kannan

August 6: The role of types in refactoring the internet and Structural type theory of higher-order languages, Greg Meredith and Christian Williams

July 30: Modular Politics: Toward a Governance Layer for Online Communities

July 28: Splitting Payments Locally While Routing Interdimensionally, Stefanie Roos

July 23: PulsarCast: Scalable and reliable pub-sub over P2P networks, João Antunes

July 9: Polynomial Protocols, Ariel Gabizon

July 2: ALBATROSS: publicly AttestabLe BATched Randomness based On Secret Sharing, Bernardo David

June 25: TARDIS + CRAFT: Better Randomness Beacons and MPC with Financial Penalties from Time-Lock Puzzles, Bernardo David

June 15: The Evolution of Internet Architecture, Barath Raghavan

April 20: SybilLimit: A Secure Decentralized Reputation System, Petar Maymounkov

April 16: Chronofold - a data structure for versioned text, Victor Grishchenko

March 25: Decentralized Energy Grid: A Protocol Labs Independent Research project, Michael Hammersley (with Alan Ransil)

March 4: Drand: Distributed, bias resistant, unpredictable and publicly verifiable randomness, Nicolas Gailly


December 4: LegoSNARK Modular Design and Composition of Succinct Zero Knowledge Proofs, Dario Fiore

October 19: Discrete Logarithms in Quasi polynomial Time in Finite Fields of Fixed Characteristic, Benjamin Wesolowski