Cardano founder Charles Hoskinson says he’s writing the blockchain’s subsequent programming language himself. In response to Hoskinson, the brand new language will help intents and proof-carrying knowledge (PCD) by way of Groth16 proofs.
“I’m truly personally growing a programming language for Cardano. It’s the primary of its variety enabling intents + PCD by way of Groth16 proofs,” Hoskinson wrote.
He didn’t say something extra. The language has no identify but, there aren’t any printed specs, and Hoskinson gave no launch date.
A reply to a neighborhood query
The announcement got here in a reply to a neighborhood member. That they had requested what makes Cardano helpful as a extremely decentralized base layer for blockchain use instances. Hoskinson pointed to the language and stated it could deliver superior cryptography options to the chain.
A few days earlier than, in the identical week, he hinted at a bigger undertaking for Midnight, the privateness-targeted accomplice chain to Cardano.
“I’m engaged on an idea that solely Midnight can deliver to the cryptocurrency house to unravel many of the issues. It’s gonna be the magnum opus for my profession,” he stated.
It’s unclear whether or not the language and the Midnight idea are associated, and Hoskinson hasn’t addressed it.
His second ideas on Haskell
Hoskinson has spent years debating programming languages in public. He’s a fan of Haskell, the language Cardano’s growth structure was initially constructed on.
In June 2022, Elon Musk and Jack Dorsey had been discussing which languages are value utilizing. Musk stated he most popular C to the newer C++, and Hoskinson joined in to counsel they fight Haskell.
He later admitted he hadn’t been sure Haskell was the suitable alternative for Cardano. In Might 2024 he stated that at one level he nearly picked Clojure. Haskell got here out forward, he stated, due to Cloud Haskell and since it gave him entry to instruments like Liquid Haskell and Agda.
In an April 2025 interview he stated that if he might rebuild Cardano from scratch, he would in all probability use a special language.
The way it suits with current choices
Cardano builders have already got a couple of good contract languages to select from. Plutus is constructed on Haskell, and Aiken is the opposite primary alternative. Privateness-targeted contracts on Midnight use a language known as Compact.
Hoskinson’s language can be added to these choices. Till he shares a reputation, a spec or a launch window, although, builders don’t have anything to construct with.
