Hoskinson Works on New Language to Expand Cardano’s Developer Ecosystem

Cardano founder Charles Hoskinson is building a new programming language that will combine transaction instructions with cryptographic proofs, according to an announcement on X. The language is intended to help developers create applications that can verify whether transactions meet specific conditions, although its name and release date have not been disclosed.

Hoskinson said on Sunday that he is personally developing the project alongside Lucas Rosa, a software engineer at Input Output Global. Rosa co-created Aiken, one of the main programming languages used for developing smart contracts on Cardano.

The effort gives Hoskinson a direct role in creating a tool that could shape future application development across the blockchain, rather than relying solely on the engineers at his company.

The language is expected to incorporate three technologies: transaction intents, proof-carrying data and Groth16 proofs.

Transaction intents allow users to state their desired outcome without defining every step needed to complete it. For example, a trader could request a token swap that executes only when the final price meets a specified threshold, leaving the application to determine how to carry out the transaction.

Proof-carrying data attaches cryptographic evidence to information so another application can confirm that it meets predefined rules without repeating the original calculations.

Groth16 is a commonly used cryptographic proof system that generates compact proofs that can be checked efficiently. It can establish that a condition has been satisfied without disclosing the private information used to demonstrate it.

Together, these features could support applications that coordinate trades, enforce complex conditions and exchange verifiable information between services. Rather than reproducing every computation, Cardano could check a compact proof to confirm that the relevant requirements were met.

The blockchain already supports smart contract development through Plutus, which is built on Haskell, and Aiken. Input Output Global’s privacy-focused network, Midnight, uses Compact, a separate programming language designed for applications that handle confidential data.

Hoskinson has yet to share the new language’s name, publish its source code or provide technical specifications. Developers also have no confirmed date for when the tool will become available.