Charles Hoskinson, the founder of Cardano, has revealed that he is currently working on creating a new programming language for the blockchain, promising to add advanced cryptography features to it
The new language will be able to handle intents and proof-carrying data (PCD) with the help of 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
He made this announcement after a community member inquired about the unique benefits of Cardano as a highly decentralized base for blockchain use cases
The creator of Cardano did not share any details of the language's name, specs, or release timeframe
Earlier this week, he also hinted at an ambitious use case for Midnight, a partner blockchain for Cardano focused on privacy
"I'm working on a concept that only Midnight can bring to the cryptocurrency space to solve most of the problems. It's gonna be the magnum opus for my career," he said
It's unclear if the two announcements are related
Hoskinson has shared his views on programming languages many times. He is a fan of Haskell, which was originally used as the basis of the development architecture of Cardano
In June 2022, he jumped into a discussion between Elon Musk and Jack Dorsey on programming languages' merits
After Musk shared his fondness for the C programming language instead of the modern C++, Hoskinson responded by suggesting they should try Haskell
However, later on, Hoskinson admitted that the choice to develop Cardano with Haskell was not something he was sure about
In May 2024, the founder revealed that he nearly picked Clojure at one point. He said Haskell was chosen eventually due to the presence of Cloud Haskell. Plus, he could use other technologies like Liquid Haskell, Agda, etc
In an interview in April 2025, he said he would probably pick another language for programming if he could rewrite Cardano from scratch
Currently, Cardano supports a few smart contract programming languages like Plutus (based on Haskell) and Aiken. Another privacy-focused language on Midnight is called Compact
