Cardano Founder Charles Hoskinson Develops New Programming Language for Network

Charles Hoskinson Announces Hands-On Development of New Cardano Language

Cardano founder Charles Hoskinson has revealed that he is directly engaged in developing a novel programming language designed for his blockchain network. Despite leading Input Output Global (IOG)—an organization staffed with large engineering teams—the network creator has chosen a hands-on technical role to construct the foundation for future Cardano decentralized applications.

Hoskinson announced the development initiative publicly on social media, detailing his direct involvement and collaboration with established smart contract engineers within the Cardano ecosystem. I’m actually personally developing a programming language for Cardano, Hoskinson wrote on X on Sunday, adding that he’s working on it with Lucas Rosa, a software engineer at Input Output Global who co-created Aiken, one of Cardano’s main smart contract languages.

Architectural Innovations: Intents, Proof-Carrying Data, and Groth16 Proofs

According to Hoskinson, the forthcoming language will mark an industry milestone by serving as the first to combine a user’s operational goals for a transaction with cryptographic verification confirming all rules were strictly respected. The software architecture is being engineered around three fundamental components: transaction intents, proof-carrying data, and Groth16 proofs.

The transaction intent framework enables users to articulate high-level objectives rather than hard-coding execution pathways, delegating procedural operations to the underlying application. For example, a cryptocurrency trader can specify an order to swap one asset for another strictly if the eventual settlement price satisfies specific parameters, eliminating the requirement to manually detail every operational step necessary to complete the swap.

Complementing user intents, proof-carrying data embeds verifiable cryptographic validation directly into a piece of digital information to establish that all computational parameters adhere to protocol constraints. This mechanism allows external applications to seamlessly verify the integrity of the data without having to independently rerun and recalculate each underlying process.

Why This Matters

At a time when top-tier Layer 1 blockchain founders typically focus on executive leadership and ecosystem governance, Charles Hoskinson’s decision to co-author a core language marks a rare, technical return to ground-level development. The inclusion of Lucas Rosa ensures synergy with Aiken, an already critical smart contract development environment on Cardano. By natively combining transaction intents with advanced zero-knowledge mechanisms like Groth16 proofs and proof-carrying data, the new language aims to enhance computational efficiency and streamline the design of complex financial and decentralized smart contracts across the Cardano blockchain.

Frequently Asked Questions

Who is collaborating with Charles Hoskinson on the new language?

Charles Hoskinson is developing the programming language alongside Lucas Rosa, a software engineer at Input Output Global who is known for co-creating Aiken, one of Cardano’s primary smart contract development languages.

What are the three main technical capabilities of the language?

The new programming language will support transaction intents, proof-carrying data, and Groth16 cryptographic proofs.

What is the role of proof-carrying data in this programming language?

Proof-carrying data attaches cryptographic evidence directly to information to prove protocol rules were followed, allowing other applications to verify compliance instantly without having to recalculate every step.