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 / making smart contracts smarter oyente

  • YouTube
  • IPFS
  • Details

Making Smart Contracts Smarter - Oyente

Duration: 00:11:46

Speaker: Loi Luu

Type: Talk

Expertise: Advanced

Event: Devcon

Date: Invalid Date

The contract analyzer OYENTE was built to detect vulnerabilities in smart contracts and will soon be released as open source. This presentation will give an overview of Oyente and how it can me used to make smart contracts smarter.

Categories

Developer Infrastructureprogresssecurityvulnerabilitybugschallengescontributionsdependency
  • Related
Oyente: Development update preview
Devcon
Talk
14:12

Oyente: Development update

Oyente: An Analysis Tool for Smart Contracts. https://github.com/melonproject/oyente

Connecting Decentralized Liquidity preview
Devcon
Talk
22:01

Connecting Decentralized Liquidity

The talk will introduce decentralized liquidity, its role in the ecosystem and how several defi projects are utilising the decentralized liquidity in different ways. The talk will also touch base on what Kyber does to connect different decentralized liquidity sources to make them available for the defi ecosystem.

Blockchain Model Canvas preview
Devcon
Talk
12:36

Blockchain Model Canvas

Blockchain Model Canvas

Shh! Whisper preview
Devcon
Talk
26:57

Shh! Whisper

Ethereum's Co-Creator Dr. Gavin Wood presents on Whisper (https://github.com/ethereum/wiki/blob...), the 'pitch black' P2P messaging protocol. Apologies for the poor video framing, individual slides can be found here - http://www.slideshare.net/gavofyork/w...

Casper the Friendly GHOST: A correct-by-construction blockchain preview
Devcon
Talk
26:41

Casper the Friendly GHOST: A correct-by-construction blockchain

Vlad Zamfir presents their talk titled, "Casper the Friendly GHOST: A correct-by-construction blockchain"

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.

Keynote: Nomic Foundation’s vision for Ethereum’s tooling ecosystem preview
Devcon
Talk
17:35

Keynote: Nomic Foundation’s vision for Ethereum’s tooling ecosystem

Nomic Foundation is the nonprofit behind Hardhat. Nomic’s co-founder and CTO will walk you through Nomic’s long-term vision for a community-driven developer tooling ecosystem for Ethereum.

Augur preview
Devcon
Talk
15:24

Augur

Dr. Jack Peterson presents on Augur (http://www.augur.net/), an open-source, decentralized prediction market built on Ethereum.

Digital Identity preview
Devcon
Talk
17:20

Digital Identity

Christian Lundkvist of ConsenSys (https://consensys.net/) presents on digital identity.

Introduction to Snarks preview
Devcon
Talk
22:32

Introduction to Snarks

Blockchains are a hostile world were all information is public and computations are expensive. A technology called zkSNARKs is coming to the rescue: It allows both a tremendous speedup in verifying the correctness of a computation while at the same time it hides the private details from prying eyes. This talk tries to give an idea about how and why it works.