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 / ethereum blockchain initiatives at thomson reuters

  • YouTube
  • IPFS
  • Details

Ethereum Blockchain Initiatives at Thomson Reuters

Duration: 00:13:54

Speaker: Tim Nugent

Type: Talk

Expertise: Intermediate

Event: Devcon

Date: Invalid Date

Tim Nugent will discuss some of Thomson Reuters’ proof-of-concept projects including oracle services providing real-time market and reference to smart contracts.

Categories

Governance & CoordinationlegalenterprisefinancialrisktaxaccountingeikongovernmentsIPsciencetoolsdatabasesaccessKYCdappsblockdelegatedidentityIDoracleduediligenceelektronotcdatanewszkproofssolidityhackathonsecurityentitlement
  • Related
Ethereum in 25 Minutes preview
Devcon
Talk
25:17

Ethereum in 25 Minutes

Ethereum Foundation Chief Scientist, Vitalik Buterin, describes Ethereum.

Designs for the L4 Contract Programming Language Based on Deontic Modal Logic preview
Devcon
Talk
18:50

Designs for the L4 Contract Programming Language Based on Deontic Modal Logic

We propose the creation of a domain-specific-language (DSL) for (smart) contracts are consistent, correct, and complete. Our DSL, L4, doesn’t simply fill templates, it fulfills the Curry–Howard correspondence between computer programs and mathematical proofs, i.e., what functional languages do for the 𝜆-calculus, the DSL will do for the deontic modal μ-calculus. This means the DSL natively expresses obligations, permissions, prohibitions, and other contractual concepts in a way that computers can easily reason about. The compiler will be responsible for static analysis of the contracts and automated detection of several classes of errors, including: inconsistency, inompleteness, goal satisfaction, and policy compliance. Functional languages are well-suited for this kind of formal verification, and we developing L4 in Haskell. L4 derives from the academic literature on contract formalization, everything is opensource and we invite feature requests and contributors to define and create what will become "SQL for contracts".

Agreement Making in Solidity: A Legal Perspective preview
Devcon
Talk
16:18

Agreement Making in Solidity: A Legal Perspective

Bill Marino of Cornell Tech presents on Agreement Making in Solidity: A Legal Perspective.

Onchain Capital Allocation: From current mechanisms to future possbilities preview
Devcon
Talk

Onchain Capital Allocation: From current mechanisms to future possbilities

Capital allocation, from paying bills to complex organizational funding, often suffers from inefficiencies and lack of transparency. Web3 has the potential to revolutionize this by enabling more efficient, effective, and transparent capital distribution. By addressing coordination failures and introducing new onchain strategies, crypto could transform how society allocates resources. Gitcoin founder Kevin Owocki will articulate this design space in this 20 minute talk.

Common Knowledge Machines preview
Devcon
Lightning Talk
17:37

Common Knowledge Machines

Common knowledge is a precondition for collective action. Yet, increasing polarization in information ecosystems risks undermining common knowledge formation. This talk introduces Community Posts, a mechanism that leverages diversification and zero-knowledge proofs to help people identify divides, bridge them and find common ground, fostering greater common knowledge in social networks.

The Shape of Protocols to Come preview
Devcon
Talk
23:22

The Shape of Protocols to Come

Ethereum defies easy categorization—it blends aspects of money, nations, and more, yet doesn't fit neatly into any single category. To build better mental models for understanding Ethereum, we've spent the past two years stepping back and exploring the broader class it belongs to: Protocols. This talk explores the fundamental properties of protocols, strategies for navigating them, and how Ethereum can uniquely contribute to this emerging research field.

Cultivating the Understory : Building Resilient DAOs preview
Devcon
Talk
26:09

Cultivating the Understory : Building Resilient DAOs

Let's explore the overlooked "understory" of DAOs and teams: the human layer that forms the foundation of successful decentralized governance. While much attention is given to the technical and structural aspects of DAOs (the "overstory"), we'll dive into the cultural, social, and distributed leadership elements that are crucial for the longevity and effectiveness of anything we build. Themes: DAO Ecology, Decentralized leadership, Coding culture DNA, Biomimicry for Governance

Genesis Block, EXODUS 1, Zion preview
Devcon
Talk
06:56

Genesis Block, EXODUS 1, Zion

Lisa Chu speaks about the EXODUS 1 phone from HTC.

Backfeed preview
Devcon
Talk
14:40

Backfeed

Matan Field presents on Backfeed (http://backfeed.cc), which develops resilient technology and new economic models to support free, large-scale, systematic collaboration.

devp2p preview
Devcon
Talk
16:40

devp2p

Ethereum's Alex Leverington presents on "devp2p", Ethereum's networking protocol.