DROPS

Document

Invited Talk

DOI: 10.4230/OASIcs.FMBC.2026.1

Scaling Formal Verification Across DeFi Ecosystems (Invited Talk)

Authors: Pamina Georgiev

Published in: OASIcs, Volume 142, 7th International Workshop on Formal Methods for Blockchains (FMBC 2026)

Abstract

Formal verification is essential for ensuring the safety of smart contracts in decentralized finance (DeFi), but scaling these techniques across diverse blockchain ecosystems remains a challenge. In this talk, we present our experience making formal verification practical across multiple platforms, including the EVM, Solana, Stellar, and Sui. We discuss how automated reasoning techniques can be adapted to different execution models and programming paradigms while still providing strong correctness guarantees. We focus on what it takes to apply verification in real-world settings: handling complex DeFi primitives, integrating with development workflows, and maintaining usability for engineers. Drawing from verification projects with production protocols, we highlight key challenges and lessons learned in bringing formal methods from theory into practice.

Cite as

Pamina Georgiev. Scaling Formal Verification Across DeFi Ecosystems (Invited Talk). In 7th International Workshop on Formal Methods for Blockchains (FMBC 2026). Open Access Series in Informatics (OASIcs), Volume 142, p. 1:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{georgiev:OASIcs.FMBC.2026.1,
  author =	{Georgiev, Pamina},
  title =	{{Scaling Formal Verification Across DeFi Ecosystems}},
  booktitle =	{7th International Workshop on Formal Methods for Blockchains (FMBC 2026)},
  pages =	{1:1--1:1},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-424-6},
  ISSN =	{2190-6807},
  year =	{2026},
  volume =	{142},
  editor =	{Bartoletti, Massimo and Marmsoler, Diego},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2026.1},
  URN =		{urn:nbn:de:0030-drops-256986},
  doi =		{10.4230/OASIcs.FMBC.2026.1},
  annote =	{Keywords: Formal Verification, Smart Contracts}
}

Search Results

Documents authored by Georgiev, Pamina

Scaling Formal Verification Across DeFi Ecosystems (Invited Talk)

Abstract

Cite as

Thanks for your feedback!

Could not send message