Hoskinson is developing the language personally alongside Lucas Rosa, a software engineer at Input Output Global who co-created Aiken, one of Cardano's main smart contract languages. He announced the work on X on Sunday. According to the article, the language would support transaction intents, proof-carrying data and Groth16 proofs. Intents let users specify outcomes, such as a token swap only if a final price meets set conditions, without detailing execution steps. Proof-carrying data attaches cryptographic evidence showing information follows rules, letting other apps verify it without redoing calculations.

AI summary of the linked source — not editorial content.

Story signal · how it spread on X · via Elfa

as of
Spread
i
Distinct X and Telegram accounts Elfa counted behind this story’s reports, summed over the thread. Not posts, not impressions.
3 accounts

first post
Leviathan +10.3 h later

ADA reaction
i
Price change from the first post to 24 hours later (Hyperliquid). BTC over the same window is shown so a market-wide move is not mistaken for a reaction to this story. Not advice.
−1.3% 24h after post

$0.2208 → $0.2180
BTC −0.5% same window
Elfa measured −0.8% 1d · still measuring

Thread · 1 event
  1. First reportHoskinson is developing a new programming language for Cardano3 acc.
  2. Leviathan published this article

All times UTC.

Cited posts

  • @BSCNews BSCNFirst reportOn X ↗

    Hoskinson is Building a New Programming Language For Cardano Cardano (@Cardano) cardano:native founder Charles Hoskinson (@IOHK_Charles) says he is personally developing a new programming language for the blockchain. He says it will support intents and proof carrying data using…

  • @cryptodotnews crypto.newsOn X ↗

    JUST IN: Charles Hoskinson is building a new programming language for Cardano The language is expected to support intents and proof-carrying data using Groth16 proofs, although its name, technical details and release date remain undisclosed.

  • @leeky_k_crypt AMk.Crypto 🧢On X ↗

    JUST IN: HOSKINSON SAYS HE IS PERSONALLY BUILDING A NEW PROGRAMMING LANGUAGE FOR CARDANO He says it will support intents and proof-carrying data using Groth16 proofs. Groth16 is a type of zero-knowledge proof. Its name, specs and release date haven't been shared. Cardano…

TradersTrader calls tracked by Elfa · not advice

Positioning · ADA

Open95 open positions · 89 long · 6 short

Tracked accounts lean long about 97% of the time, so a long-heavy book is normal, not a signal. As of 19 Oct 13:46 UTC.

Reaction since the first post

Since 19 Oct 05:16 UTC2 calls opened · 2 long · 0 short

Whole crypto market, not this story

Crowding29th percentile · vs last 28 days, 50 typical
Pulse 24h35/100 · unusualness of new calls, 0–100, 50 typical, higher means more long than usual
Book97.3% long · 11,171 accounts

As of 19 Oct 15:35 UTC.

Social-monitoring data, not investment advice Elfa prices Hyperliquid post text from Xas of

Explore the topic

Loading related coverage…

Explore the full feed

Comments

Loading comments…