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 2 / formal verification of smart contracts

  • YouTube
  • IPFS
  • Details

Formal Verification of Smart Contracts

Duration: 00:15:34

Speaker: Yoichi Hirai

Type: Other

Expertise: Advanced

Event: Devcon

Date: Invalid Date

Yoichi Hirai gives their talk on Formal Verification of Smart Contracts.

Categories

Developer Infrastructureproofshistoryrulessmugglingtonksolidityevmlanguagesspecchecker
  • Related
Morphing Smart Contracts with Bamboo preview
Devcon
Talk
19:36

Morphing Smart Contracts with Bamboo

An Ethereum contract language called Bamboo mitigates common mistakes. A Bamboo program textually displays all states and transitions. A program runs always one-pass without loops or functions. Runtime checks never allow reentrant execution. Erlang folks might like the syntax. OCaml people, I need you.

Formal Verification for Solidity preview
Devcon
Talk
19:29

Formal Verification for Solidity

Christian Reitwiessner & Yoichi Hirai speak on Formal Verification for Solidity.

What would Solidity 1.0 and 2.0 look like? preview
Devcon
Talk
24:59

What would Solidity 1.0 and 2.0 look like?

Solidity has quite a long history already, especially in terms of "crypto years". Yet, the project has not yet reached the "magical" 1.0 release. This talk is discussing what the language could look like reaching 1.0; and going beyond reaching 2.0.

Updates from the Solidity Team preview
Devcon
Talk
33:04

Updates from the Solidity Team

In this talk we will give an overview of what the Solidity team has worked on in 2017/2018 and what our plans our for the next year. It will cover features, challenges and plans.

Symbolic Computation for Fun and for Profit preview
Devcon
Talk
26:47

Symbolic Computation for Fun and for Profit

How symbolic computation in EVM / Solidity works, end-to-end. I'll try to give insights on problems that can be solved efficiently, forming constraints, relaxations, how to build custom solvers from scratch, and produce computer proofs. We'll be saving gas!

Truebit - Trying to Fool a Blockchain preview
Devcon
Talk
10:35

Truebit - Trying to Fool a Blockchain

How to use interactive verification for offloading computations, providing help in scaling and giving a proper incentivisation scheme for doing computationally-intensive work.

Hardhat 3 Preview: Overhauled & Rust-Powered preview
Devcon
Talk
27:00

Hardhat 3 Preview: Overhauled & Rust-Powered

The Hardhat team has been working continuously over the past two years to redesign and rewrite Hardhat from the ground up, including a major migration to Rust. This talk will explore the problems and solutions that the upcoming release of Hardhat 3 will focus on: performance, Solidity tests, correct L2 network simulation, and a comprehensive deployment system.

Solidity, Vision and Roadmap preview
Devcon
Talk
42:00

Solidity, Vision and Roadmap

Dr. Gavin Wood and Dr. Christian Reitwiessner present the vision and roadmap of Solidity, the smart contract programming language.

What's next in EVM preview
Devcon
Lightning Talk
07:22

What's next in EVM

What is the future of the EVM? This talk will include an overview of proposals to the EVM, many listed and some detailed. It will try to explain the likely hood of adopting them and what needs to be done to make sure they get adopted.

Ethereum Meets the Outdoors preview
Devcon
Talk
11:52

Ethereum Meets the Outdoors

This talk will introduce Sikorka. It’s a system that allows smarts contracts to be deployed out in the open air. Users can interact with smart contracts deployed around them or deploy their own. We will see how Sikorka works, some of its use cases, the work done so far and what remains to be done.