Talks at DevCon 2024

DevCon 2024 in Bangkok was amazing! I gave a short talk and participated in a panel...

Posted Nov 15, 2024

By Igor Konnov

1 min read

DevCon 2024 was incredible — one of the few Web3 conferences where I genuinely felt surrounded by people who were on the same wavelength as me.

How model checking can help build trust in distributed protocols like Single Slot Finality

Check the short talk (together with Thanh Hai Tran) on our academic grant for Ethereum Foundation:

We had a great discussion on verification practices:

This post is licensed under CC BY 4.0 by the author.