Cardano creator Charles Hoskinson is crafting a brand-new programming language tailored for his blockchain ecosystem, stating it will be the inaugural option to merge user transaction objectives with cryptographic verification that protocol rules were successfully obeyed.
“I’m actually personally developing a programming language for Cardano,” Hoskinson wrote on X over the weekend, noting he is collaborating alongside Lucas Rosa, an Input Output Global software developer who helped build Aiken, a primary smart contract language on Cardano.
It is unusual for a founder to take on such a project after a network has scaled to this magnitude, yet Hoskinson leads an engineering firm while still opting to personally build the tool that future Cardano decentralized applications may rely upon.
This upcoming language is designed to integrate three distinct components: transaction intents, proof-carrying data, and Groth16 zero-knowledge proofs.
Intents allow individuals to specify their desired outcome while leaving the underlying mechanics to the application itself, such as a trader requesting a token exchange only if specific pricing criteria are satisfied, bypassing the need to dictate the execution path.
Proof-carrying data links cryptographic validation directly to information to prove adherence to predetermined rules, allowing separate programs to verify that proof without repeating the original computations.
Groth16 is a popular cryptographic proof framework known for generating compact proofs that systems can validate rapidly, demonstrating that conditions were satisfied while keeping underlying private details confidential.
Combined, these features could enable developers to construct applications that manage asset exchanges, evaluate complex parameters, and transfer verified updates across systems while Cardano merely validates a minor cryptographic proof at conclusion.
Cardano engineers currently author smart contracts utilizing Plutus, which relies on Haskell, alongside Aiken, while Midnight—the privacy-centric network developed by Hoskinson’s Input Output Global—employs its own language called Compact for confidential data applications.
As of now, Hoskinson has withheld the title of the new language, any open-source code repositories, and an official launch timeline for when developers can expect access.
Originally published at https://www.coindesk.com/tech/2026/10/19/cardano-founder-charles-hoskinson-is-building-a-new-programming-language-for-the-network.
