Cardano Founder Charles Hoskinson Is Building a New Programming Language

Cardano founder Charles Hoskinson is personally working on a new programming language designed specifically for the Cardano blockchain. The project aims to combine user-defined transaction goals with cryptographic proofs, potentially giving developers new tools for building decentralized applications.

Hoskinson revealed the project on October 18, saying he is developing the language alongside Lucas Rosa, an Input Output Global engineer and co-creator of the Aiken smart contract language. However, the new programming language does not yet have an announced name, public codebase or release date.

What Is the New Cardano Programming Language?

According to Hoskinson, the new language is being designed around three important technologies: transaction intents, proof-carrying data (PCD), and Groth16 proofs.

Transaction intents allow users to describe the result they want without necessarily specifying every step required to complete a transaction. For example, a user could request a token swap under certain conditions while an application determines the appropriate way to execute it.

Proof-carrying data adds cryptographic evidence to information or computations. This allows another party to verify that certain conditions or calculations were correctly completed without having to repeat the entire process.

The third component, Groth16, is a zero-knowledge proof system capable of producing compact proofs that can be verified efficiently. Such technology can help applications demonstrate that a condition has been satisfied without revealing sensitive information behind the calculation.

How Could It Help Cardano Developers?

The combination of these technologies could make it easier to create decentralized applications that handle complex transactions and verification requirements.

Developers could potentially build applications where users describe what they want to accomplish while the underlying system determines how to execute the operation. Cryptographic proofs could then provide a way to verify that the required conditions were satisfied.

Cardano already supports smart-contract development through Plutus, which is based on Haskell, as well as Aiken, another language used by Cardano developers. The proposed language would therefore represent another option rather than an immediate replacement for existing development tools.

No Release Date Yet

Despite the announcement, many important details remain unknown. Hoskinson has not revealed the language's official name, published its source code or provided a timeline for developer availability.

That means Cardano developers will have to wait for technical documentation and working software before they can evaluate its practical benefits.

For now, the project represents an interesting development in Cardano's programming ecosystem. If successfully implemented, combining transaction intents with proof-carrying data and Groth16 proofs could give developers new ways to build applications focused on automated transactions, verification and privacy.

More information is expected as development progresses.