Cardano founder Charles Hoskinson has said he is personally developing a new programming language for the network. As of mid-October 2026, he described the language as the first of its kind that will enable intents and proof-carrying data (PCD) via Groth16 proofs. He is building it together with Lucas Rosa (@rvcas), co-founder of Aiken. No name, detailed specifications, or release timeline were provided.
The announcement continues to focus attention on Cardano’s smart-contract and cryptography roadmap. It has restricted public information to the high-level claim about intents and Groth16-based PCD. Existing statements position the work as a response to questions about the chain’s unique advantages. Developers and community members rely partly on Hoskinson’s description while awaiting further technical details. This highlights the difference between existing languages such as Plutus and Aiken and a purpose-built language aimed at intent-centric and proof-carrying designs.
The Drivers of the Current Situation
The main issue is Hoskinson’s disclosure that he is creating a new language for Cardano. In a public post he stated that the language will support intents and PCD through Groth16 proofs and noted that Rosa is collaborating on the project. The remarks came after a community member asked about Cardano’s strengths as a decentralized base for applications. No additional design documents or prototypes were shared at the time of the announcement.
Related context has limited the immediate scope of available information. Cardano already supports pairing operations and other cryptographic primitives through existing proposals. Only the founder’s claim of novelty around intents plus Groth16 PCD is confirmed. Broader interest in intent-based architectures and zero-knowledge techniques across the industry contributed to the attention the statement received.
Continued monitoring requires observation of any follow-up technical papers, prototypes, or formal proposals. Limited public detail on syntax, tooling, or integration plans forms a narrower path for early evaluation. Hoskinson and collaborators are actively developing the language. The situation is the founder’s assertion that the new Cardano language will be the first to pair intents with Groth16 proofs.
Impact and Broader Context
Questions about Charles Hoskinson saying a new Cardano language will be first to pair intents with Groth16 proofs keep growing. The claim creates uncertainty about how the language will fit alongside Plutus, Aiken, and other existing tools. It also elevates attention on intent-centric programming and efficient zero-knowledge proofs within the Cardano ecosystem. Developers, researchers, and token holders continue to discuss the potential implications.
The issue drives debate on next-generation smart-contract design. It raises questions about the practical advantages of combining intents with PCD, the limits of current languages for complex off-chain computation, risks of prolonged development timelines, effects on developer adoption, and competition with other ecosystems pursuing similar cryptographic features. Hoskinson has framed the work as novel. Coverage notes that no release schedule or formal specification has been published.
The mid-October statement forced renewed focus on Cardano’s longer-term language strategy. The current technical review shows how subsequent disclosures, prototypes, or community feedback will determine whether the language advances from concept to usable tooling.
New technical details, progress updates from the collaborators, or related Cardano Improvement Proposals will clarify the path forward.
This analysis uses Hoskinson’s public statement and contemporaneous reporting. Development status, specifications, and any eventual release remain subject to future announcements.