Charles Hoskinson develops new Cardano programming language for crypto applications

Traders Union
All News
Crypto
Hoskinson develops Cardano language

Highlights

Charles Hoskinson is developing a new Cardano programming language with Lucas Rosa to support transaction intents, proof-carrying data, and Groth16 proofs.
The language aims to enable developers to build advanced crypto applications coordinating trades, verifying complex conditions, and transferring verified information across services on Cardano.
No name, technical specifications, code, or release date for the new language have been disclosed, signaling the effort is in the early development stage.

Language design and development scope

As reported by CoinDesk, Hoskinson says on X that the language is being developed with Lucas Rosa, a software engineer at Input Output Global who also co-created Aiken, one of Cardano's main smart contract languages.

Hoskinson says the language is intended to support three components, transaction intents, proof-carrying data and Groth16 proofs. In practice, that means a user could specify the outcome they want from a transaction while the application determines the steps, then attach cryptographic evidence showing the required rules were followed.

An intent allows a user to define a desired result without prescribing each action needed to get there. Proof-carrying data lets another application verify that information meets defined conditions without repeating all of the underlying computation, while Groth16 is a widely used proof system that produces small proofs that can be checked quickly.

Potential impact on Cardano's developer stack

Together, those features could allow developers to build applications that coordinate trades, evaluate more complex conditions and transfer verified information between services, with Cardano validating a compact proof at the end.

Cardano developers already use Plutus, which is built on Haskell, as well as Aiken for smart contracts. Midnight, the privacy-focused blockchain built by Input Output Global, also has its own language, Compact, for applications handling confidential data.

Hoskinson has not shared a name for the new language, public technical specifications, code or a release date for developers. That leaves the initiative at an early stage, even as it signals continued investment in Cardano's programming infrastructure.

Our earlier article on Cohere’s planned acquisition of AI cybersecurity startup AISLE explained how the deal would add software vulnerability detection to Cohere’s expanding AI business alongside its merger with Germany’s Aleph Alpha. We noted that the move also strengthens Cohere’s European footprint through AISLE’s Prague engineering hub and targets enterprise and public-sector clients with enhanced security and threat-detection capabilities.

This material may contain third-party opinions, none of the data and information on this webpage constitutes investment advice according to our Disclaimer. While we adhere to strict Editorial Integrity, this post may contain references to products from our partners.