Devcon Archive logo
Devcon Forum Blog
  • Watch
  • Event
    Event: background logo
    • Devcon 7
    • Devcon 6
    • Devcon 5
    • Devcon 4
    • Devcon 3
    • Devcon 2
    • Devcon 1
    • Devcon 0
  • Categories
    Categories: background logo
    • Cryptoeconomics
    • Devcon
    • Developer Experience
    • Coordination
    • Core Protocol
    • Layer 2s
    • Real World Ethereum
    • Cypherpunk & Privacy
    • Security
    • Applied Cryptography
    • Usability
  • Playlists

Suggested

Loading results..

View all

About Devcon —

Devcon is the Ethereum conference for developers, researchers, thinkers, and makers.

An intensive introduction for new Ethereum explorers, a global family reunion for those already a part of our ecosystem, and a source of energy and creativity for all.

  • Watch
  • Devcon
  • Forum
  • Blog

Get in touch

devcon@ethereum.org

Subscribe to our newsletter

Crafted with passion ❤️ at the Ethereum Foundation

© 2025 — Ethereum Foundation. All Rights Reserved.

devcon 7 / cls formal verification hangout

  • YouTube
[CLS] Formal Verification Hangout preview
  • Details

[CLS] Formal Verification Hangout

Duration: 00:00:00

Speaker:

Type: Mixed Formats

Expertise: Intermediate

Event: Devcon

Date: Nov 2024

A low key, informal, self-organized event hosted within the Devcon venue* to explore interesting topics in Formal Verification. The event will be casual, with minimal talks/programming, and geared towards facilitating discussions and allowing researchers to connect with others in the field. ​Agenda ​2:00 - 2:15 – Welcome 2:15 - 3:30 – Fishbowl Panel 3:30 - 4:00 – Break 4:00 - 5:00 – Lightning Talks** 5:00 - 6:00 – Discussion Groups 6:00 onwards – Informal Discussions

Categories

FormalVerification
  • Related
Keynote: Lessons learned from Tor preview
Devcon
Talk
31:51

Keynote: Lessons learned from Tor

I will share lessons learned during Tor's twenty years as free software fighting for privacy and human rights. We'll talk about distributed trust and privacy by design, how to help people understand the good uses of your tech, getting allies in both cypherpunks and government, why transparency and community-building are so essential to trust, and successes from other spaces. It may seem like the crypto wars never really end, but we all have a part to play in saving the world.

Farcaster frames: building embeddable Ethereum apps preview
Devcon
Workshop
1:24:46

Farcaster frames: building embeddable Ethereum apps

Frames are an open standard for creating embeddable, interactive apps in social media feeds and on the web. They help solve one of the hardest problems for Ethereum dapp developers: distribution. Although frames originated on Farcaster, it's now possible to build cross-platform frames that work on Farcaster, Lens, XMTP, and the open web. In this hands on workshop we'll introduce the core concepts behind frames and build a simple frame app that interacts with a smart contract.

Hunt the Bug, Save the Chain: Uncovering Bugs in EIP Implementations preview
Devcon
Workshop
1:51:06

Hunt the Bug, Save the Chain: Uncovering Bugs in EIP Implementations

In this workshop you can find a bug in an EIP implementation on a test network! The Ethereum Foundation Testing Team oversees cross-client execution specification testing, which is critical to avoid consensus issues at the smart-contract execution level. You'll implement tests for a new EIP from scratch using the ethereum/execution-spec-tests framework and execute them on a local test network with a faulty client. Anyone attending has the chance to find the issue and break the network!

Bad Proofs in Formal Verification preview
Devcon
Talk
28:48

Bad Proofs in Formal Verification

Formal verification can be a huge boon to smart contract security as it checks all possible execution paths. Unfortunately, even verified code can be faulty if the formal specification contains mistakes. "Bad" proofs can lead to false confidence in the code and premature deployment. This talk will discuss different types of "bad" proofs and how to avoid them.

Keynote: Ethereum in 30 minutes preview
Devcon
Talk

Keynote: Ethereum in 30 minutes

Vitalik Buterin, Founder of Ethereum, opens Devcon with a comprehensive overview of Ethereum’s evolution as a decentralized “world computer,” explaining its layer 1 trust machine and layer 2 scaling solutions for security and scalability, emphasizing improvements in decentralization and client diversity, and encouraging developers to build innovative applications that leverage Ethereum’s robust and evolving ecosystem.

Keynote: Redefining boundaries in the Infinite Garden preview
Devcon
Talk

Keynote: Redefining boundaries in the Infinite Garden

Aya Miyaguchi, Executive Director of the Ethereum Foundation, opens Devcon by emphasizing the importance of nurturing Ethereum as an infinite garden—a decentralized, long-term ecosystem built on shared values, overlapping spheres of influence, and collaborative growth beyond singular control.

Keynote: This year in Ethereum preview
Devcon
Talk

Keynote: This year in Ethereum

Josh Stark from EF Leadership opens Devcon with an overview of the Ethereum ecosystem's progress and status in 2024

Tending the Infinite Garden: Organizational Culture in the Ethereum Ecosystem preview
Devcon
Talk
23:47

Tending the Infinite Garden: Organizational Culture in the Ethereum Ecosystem

This presentation will discuss the findings of the academic paper "Tending the Infinite Garden: Organisational Culture in the Ethereum Ecosystem" by Dr. Paul-Dylan-Ennis and Ann Brody. Our study examines the decision-making processes fundamental to Ethereum's protocol governance, drawing on interviews with Ethereum's core developers. We identify a central worldview in Ethereum known as the "Infinite Garden" and discuss how Ethereum's social layer is crucial for upholding cypherpunk values.

Keynote: Programmable Cryptography and Ethereum preview
Devcon
Talk
25:17

Keynote: Programmable Cryptography and Ethereum

Programmable Cryptography is a "second generation" of cryptographic primitives - primitives that allow arbitrary programs to be executed "inside of" or "on top of" cryptographic objects. Programmable cryptography provides three key affordances that complement and amplify the affordances of Ethereum--verifiability, confidentiality, and non-interactivity. We'll discuss how these technologies can reshape the Internet over the next 50 years.

[CLS] Ethereum Magicians Infinite Endgames: Ethconomics preview
Devcon
Workshop
1:26:44

[CLS] Ethereum Magicians Infinite Endgames: Ethconomics

Once again, Devcon will host Ethereum Magicians gatherings for the community to come together and discuss the most important topics in Ethereum's roadmap. Join us here to discuss the "infinite endgame" for Ethereum's economic model. We'll cover the role of Ether in the network's security, issuance proposals, out-of-protocol economic influences, and more! For more context, see: https://bit.ly/ethmag-sea