---
title: "Cardano Founder Charles Hoskinson Developing New Programming Language"
description: "The project integrates transaction intents, proof-carrying data, and Groth16 zero-knowledge proofs alongside Aiken co-creator Lucas Rosa."
url: https://basisdesk.news/news/cardano-charles-hoskinson-new-programming-language
published: 2026-10-19T12:32:09.092Z
modified: 2026-10-19T12:32:09.092Z
section: Tech & Protocols
author: Basis Desk Newsroom (AI-generated, source-verified)
sentiment: neutral
tickers: [ADA]
tags: [cardano, smart-contracts, programming-languages, zero-knowledge, input-output-global]
license: Quote with attribution to Basis Desk (basisdesk.news). Not financial advice.
---

# Cardano Founder Charles Hoskinson Developing New Programming Language

The project integrates transaction intents, proof-carrying data, and Groth16 zero-knowledge proofs alongside Aiken co-creator Lucas Rosa.

## At a glance

- **What happened:** Cardano founder Charles Hoskinson announced he is co-developing a new programming language for the blockchain alongside engineer Lucas Rosa.
- **Why it matters:** The framework aims to combine user transaction intents with proof-carrying data and Groth16 proofs to streamline zero-knowledge transaction verification.
- **Who is affected:** Cardano ecosystem developers and smart contract engineers.
- **What's next:** No next step announced.
- **Status:** announced
- **Primary source:** [ADA news: Charles Hoskinson is personally building a new programming language for Cardano](https://www.coindesk.com/tech/2026/10/19/cardano-founder-charles-hoskinson-is-building-a-new-programming-language-for-the-network) — coindesk.com

## Key points

- Charles Hoskinson is co-developing a new Cardano programming language with Aiken co-creator Lucas Rosa [1].
- The framework incorporates transaction intents, proof-carrying data, and Groth16 zero-knowledge proof systems [1].
- No project name, source code repository, or developer release date has been disclosed [1].

## Editorial remark

- **Context:** Cardano smart contract development currently relies on Plutus and Aiken, alongside Midnight's Compact language for confidential computing.
- **Impact:** Cardano decentralized application developers may gain access to native intent architectures and succinct zero-knowledge verification tools.
- **Watch:** Public codebase disclosures, a formal specification release, or testnet deployment timelines from Input Output Global.

Cardano founder Charles Hoskinson announced on Sunday that he is personally developing a new smart contract programming language for the network [1]. Hoskinson revealed the initiative in a post on X, confirming that he is collaborating on the project with Lucas Rosa, a software engineer at Input Output Global who previously co-created Aiken [1].

The planned language focuses on three cryptographic and execution primitives: transaction intents, proof-carrying data, and Groth16 zero-knowledge proofs [1]. Transaction intents allow users to outline desired state changes while delegating execution paths to applications, while proof-carrying data enables external systems to verify computational validity without re-executing state calculations [1]. The integration of Groth16 systems generates succinct proofs that verify transaction constraints without disclosing underlying private details [1]. By combining these components, developers could create protocols that coordinate complex transactions and pass verifiable states across services, leaving Cardano to validate compact zero-knowledge proofs [1].

## Cardano's Expanding Developer Stack

The development marks an addition to an ecosystem that already supports multiple purpose-built development environments [1]. Cardano developers currently deploy smart contracts using Haskell-based Plutus as well as Aiken [1]. In addition, Input Output Global previously created Compact, a specialized language designed for confidential smart contracts on its privacy-focused Midnight network [1].

Hoskinson has not yet released the project's name, public codebase, or expected launch timeline [1]. At the time of writing, native asset $ADA traded at $0.2189, down 0.4% over 24 hours.

## Sources

1. [ADA news: Charles Hoskinson is personally building a new programming language for Cardano](https://www.coindesk.com/tech/2026/10/19/cardano-founder-charles-hoskinson-is-building-a-new-programming-language-for-the-network) — coindesk.com, 2026-10-19

---
Basis Desk Newsroom · AI-generated, source-verified · https://basisdesk.news/about/how-we-use-ai