Community Trust ScoreVerified
Charles Hoskinson said Sunday he’s building a new programming language for Cardano — one that ties a user’s intended transaction outcome directly to cryptographic proof that the governing rules were met. It’s an unusual combination, and pretty much nobody has shipped something like it before.
Why It Matters
Why it matters: If Cardano can make transaction intent and rule enforcement explicit at the language level, it could reduce ambiguity for developers and users while strengthening trust in how applications execute on-chain. The pairing of a founder-led vision with tooling from a core Cardano engineer also suggests the network is still pushing to differentiate itself through infrastructure design rather than just application growth, which is important in a crowded smart contract market.
Hoskinson, Cardano’s founder, posted the news on X. He’s working on it with Lucas Rosa, a software engineer at Input Output Global who co-created Aiken, one of Cardano’s two main smart contract languages. That’s a notable pairing. Rosa already has real skin in the game on Cardano’s developer tooling, which makes this feel less like a whiteboard idea and more like something they’re actually building.
The language would support three things: transaction intents, proof-carrying data, and Groth16 proofs. Each one does something distinct, and together they’re meant to let applications express what a user wants while simultaneously proving it happened correctly.
What Each of the Three Tools Actually Does
Transaction intents let a user say what they want without spelling out every step to get there. A trader could say: swap this token, but only if the final price hits my target. The application figures out how to execute it. The user sets the conditions; the app handles the mechanics. That separation matters because it keeps intent clean and separate from execution logic — something developers on most chains have to wire together manually.
Proof-carrying data is different. It attaches cryptographic evidence directly to information being passed around. When another application receives that data, it can check the attached proof rather than redo all the calculations that produced the original result. Faster. Leaner. And it doesn’t require trusting the sender blindly.
Groth16 is a specific proof system. It generates small proofs — compact enough that computers can verify them quickly. Crucially, a Groth16 proof can show that a condition was met without revealing the private data involved in satisfying it. That’s the privacy angle baked into the design.
Put all three together and you get something like this: a user specifies an outcome, the application executes it, and a small proof rides alongside the result showing the rules were followed. Cardano’s network checks the proof rather than repeat the underlying math. That’s a meaningful efficiency gain on a chain that already processes a serious volume of transactions.
Where This Fits in Cardano’s Existing Stack
Cardano developers already have Plutus and Aiken. Plutus is built on Haskell and has been around since the network launched smart contract support. Aiken came later as a more approachable option, and Rosa helped build it. Both are live, both have developer communities, and both are used in production applications today.
Input Output Global — the company Hoskinson works with — has also built Midnight, a privacy-focused blockchain with its own programming language called Compact. Compact handles confidential data for applications that need it. The proposed new language would add a fourth tool to that set, though it’s unclear yet how it would sit alongside Plutus or Aiken in a typical developer workflow. No details on interoperability have been shared.
Hoskinson said the language would be the first to combine a user’s intended transaction outcome with cryptographic evidence that its rules were satisfied. That’s a strong claim. Whether the final implementation lives up to it depends on details that haven’t been made public.
No name for the language yet. No public code. No release date. Hoskinson hasn’t shared a timetable, and the source material doesn’t give one either.
What’s clear is that he’s taking a hands-on role in writing it himself — not just commissioning it from the engineering team. For a founder running a company the size of Input Output Global, that’s worth noting. It probably says something about how seriously he takes the technical direction here, though whether it speeds things up or slows them down is anyone’s guess.
Rosa’s involvement keeps the project grounded in practical Cardano development. He’s not a theorist — he shipped Aiken. That’s the most concrete signal that this language could actually land in developers’ hands someday.
The collaboration between Hoskinson and Rosa is the only detail provided about who’s building it.
Hub: Cardano price, news, and analysis
Frequently Asked Questions
What is Charles Hoskinson building for Cardano?
Hoskinson is developing a new programming language with Lucas Rosa of Input Output Global, designed to support transaction intents, proof-carrying data, and Groth16 proofs.
Has Cardano’s new programming language been released?
No. No public code, no developer availability date, and no name have been disclosed as of Hoskinson’s Sunday post on X.
