Cardano founder Charles Hoskinson is building a new programming language for the network

Introduction

Charles Hoskinson, the founder of Cardano, announced on X that he is personally co‑authoring a new programming language for the blockchain. Working alongside Lucas Rosa, an engineer at Input Output Global (IOG) who helped create the existing Aiken language, Hoskinson aims to blend transaction intents, proof‑carrying data, and Groth16 zero‑knowledge proofs into a single developer toolset. While no name, code repository, or launch timeline has been disclosed, the concept promises to streamline how applications express user intent and verify compliance with on‑chain rules.

What the Language Seeks to Achieve

The proposed language introduces three core capabilities:

1. Transaction Intents – Developers can specify what a user wants to achieve (e.g., swap tokens under certain price conditions) without detailing the procedural steps. The runtime or a smart contract interprets the intent and orchestrates the necessary actions.
2. Proof‑Carrying Data – Each piece of data can be accompanied by a cryptographic proof that it satisfies predefined constraints. Other contracts can validate the proof without re‑executing the original computation, reducing on‑chain workload.
3. Groth16 Zero‑Knowledge Proofs – Leveraging a widely adopted zk‑SNARK construction, the language can generate succinct proofs that attest to condition fulfillment while keeping underlying private inputs hidden.

By unifying these elements, the language aims to enable developers to build more expressive, privacy‑preserving applications that offload heavy verification to compact proofs verified by Cardano’s consensus layer.

How It Fits Within Cardano’s Existing Stack

Cardano currently supports two primary smart‑contract environments:

• Plutus, built on Haskell, offers a functional programming model with strong formal verification properties.
• Aiken, a newer language co‑created by Lucas Rosa, provides a more approachable syntax while still compiling to Plutus Core.

The upcoming language would complement these tools rather than replace them. Its focus on intent‑driven interactions and proof integration could simplify complex DeFi workflows, cross‑chain bridges, and privacy‑centric services that currently require extensive on‑chain logic. Additionally, IOG’s privacy‑focused sidechain, Midnight, already uses the Compact language for confidential contracts, indicating a broader strategic interest in proof‑based programming across the ecosystem.

Potential Impact for Developers and Users

• Reduced Gas Costs: By verifying concise proofs instead of recomputing full transaction logic, applications can lower the computational load on the network, translating to lower fees for end users.
• Enhanced Privacy: Groth16 proofs allow conditions to be proven without exposing sensitive data, opening avenues for confidential trading, identity verification, and regulated finance use cases.
• Simplified Development: Transaction intents abstract away low‑level steps, letting developers focus on business logic and user experience rather than intricate on‑chain orchestration.
• Interoperability: Proof‑carrying data can be shared across contracts and even across different blockchains that recognize compatible proof formats, fostering composable ecosystems.

Looking Ahead

While the language’s specifications remain under wraps, Hoskinson’s hands‑on involvement signals a commitment to pushing Cardano’s technical frontier. The community will be watching for an open‑source release, documentation, and tooling that integrate with existing Cardano development pipelines. If the language delivers on its promise, it could become a pivotal piece in Cardano’s roadmap toward more scalable, private, and developer‑friendly decentralized applications.

--- This article synthesizes publicly available statements from Charles Hoskinson and IOG engineer Lucas Rosa, focusing on the conceptual goals of the upcoming programming language without referencing unreleased code or timelines.