Skip to content
EVENT / TOPICHistorical

Charles Hoskinson Leads Development of New Cardano Programming Language

2 reports2 sources10/19/2026 updated

Current overview (not historical)

AI overview

Charles Hoskinson is personally collaborating with IOHK engineer Lucas Rosa to create a new programming language for Cardano. The language combines transaction intent, proof‑carrying data, and Groth16 proofs to enable applications to efficiently verify whether conditions are met. Hoskinson has stated that he is directly developing this language to help applications execute user requests and validate conditions quickly. Earlier reports suggested the project would support the Leios scaling upgrade, aiming to realize Cardano’s native vision. However, the exact scope and timeline remain unclear, and some observers note that the $63 million TVL on the platform highlights a gap between the language’s potential and current adoption.

Written with AI from the reporting · updated 10/19/2026

Latest developmentOct 20, 05:20
Hoskinson reveals new programming language for Cardano amid $63M TVL gap
Explore the timeline, relations and evidence
Expand the detailed fact route and sources

Story route

A station-by-station route from the first public evidence onward; every station carries its own evidence and uncertainty.

  1. 1Unclassified fact stationOct 19, 00:00recorded Oct 19, 20:53revised

    Cardano founder Charles Hoskinson building new programming l

    Read original source ↗ CoinDeskReplay this moment in the explorer
    Evidence & revisions · 2 source records
    Subject：
    Charles Hoskinson
    Action：
    developing a new programming language
    Object：
    transaction intents, proof-carrying data and Groth16 proofs
    Occurred (fact side)：
    Oct 19, 00:00
    CoinDesk ↗Report pageRevision 2 · currently revised
    Published (valid side)：
    Oct 19, 20:16
    First seen (known side)：
    Oct 19, 20:53
    CryptoSlate ↗Report pageRevision 2 · currently revised
    Published (valid side)：
    Oct 20, 05:20
    First seen (known side)：
    Oct 20, 05:57
    Fact stationRevised

    Copy may have been revised later; time replay is bounded. Layer labels group reading only, not causation between layers.

Uncertainty marks flag where to check the sources; they are not proven causation.

Report timeline

Explore every side through dated source reports.

Oct 20
  1. CryptoSlateSource report revised
    Hoskinson reveals new programming language for Cardano amid $63M TVL gap

    Report first recorded Oct 20, 05:57

    Cardano founder Charles Hoskinson is developing a new programming language with developer Lucas Rosa to support intent-based transactions and proof-carrying data using Groth16 cryptographic proofs. The upgrade follows the upcoming Leios scalability improvement. Despite a market capitalization of about $8.3 billion, Cardano's DeFi ecosystem holds only $63 million in total value locked, with daily trading volume below $1 million and stablecoin supply at $70 million, highlighting a significant gap compared to competitors like Solana.

    Read original source ↗
Oct 19
  1. CoinDeskSource report revised
    Cardano founder Charles Hoskinson developing new programming language with Input Output Global engineer

    Report first recorded Oct 19, 20:53

    Cardano founder Charles Hoskinson is personally developing a new programming language with Input Output Global engineer Lucas Rosa. The language aims to combine transaction intents, proof-carrying data, and Groth16 proofs to allow applications to execute user requests and efficiently verify that conditions were met.

    Read original source ↗

Event discussion

Reader opinions are hosted on GitHub Discussions; posting requires a GitHub account. Comments are not verified facts.

Open GitHub Discussions