Hoskinson Writes the Code Himself — Literally 🖋️

Cardano founder Charles Hoskinson announced that he is personally developing a new programming language for the network, becoming the first language of its kind to enable intents combined with proof-carrying data (PCD) via Groth16 proofs. "I'm actually personally developing a programming language for Cardano. It's the first of its kind enabling intents + PCD via Groth16 proofs," Hoskinson wrote. The disclosure came in response to a community member asking what distinct advantages Cardano offers for blockchain applications.

According to Hoskinson, the language is designed to combine "intents," defined as user intentions, with evidentiary data, leveraging Groth16 evidence to support the structure. The design positions the language as a tool for handling intent-based interactions backed by verifiable proof components, a configuration Hoskinson described as novel for the Cardano ecosystem.

No further details have been shared regarding the language's technical specifications, its official name, the testing process, or an expected release date. The announcement did not include a roadmap, formal white paper, or third-party review timeline. Community members have begun asking follow-up questions in the thread where the update was posted, but no additional clarifications were provided at the time of writing.

Hoskinson is the founder of Cardano, a blockchain platform known for its research-driven development approach and its focus on peer-reviewed academic work. The forthcoming language marks one of his most direct hands-on contributions to the project's codebase, continuing Cardano's emphasis on formal verification and cryptographic rigor.