Charles Hoskinson Develops New Cardano Language
The Cardano founder is working on a new programming language to simplify blockchain verification and complex transactions.
Updated on Oct. 20, 2026 in Language Learning
Live Poll
Do you believe new specialized programming languages generally make building blockchain applications easier for users?
Charles Hoskinson is developing a new programming language for the Cardano network alongside Input Output Global engineer Lucas Rosa. The project seeks to make complex blockchain actions easier to express and verify using advanced cryptographic techniques.
Why it matters
By integrating transaction intents and proof-carrying data, the project aims to streamline blockchain development. This could lower technical barriers for building secure and verifiable applications within the ecosystem.
The proposed language integrates transaction intents, proof-carrying data, and Groth16 proofs to allow developers to verify results without on-chain calculation. It will join a suite of current tools that includes Plutus, Aiken, and Midnight network software.
The players
Charles Hoskinson
He is the founder of Cardano and a prominent figure in the blockchain industry.
Lucas Rosa
He is an engineer at Input Output Global who is collaborating on the new language project.
The details
The design focuses on allowing developers to perform complex actions while keeping calculation loads manageable. It utilizes cryptographic proof-carrying data to ensure the security and integrity of operations across the blockchain.
Timeline
The development of the language was announced on October 20, 2026.
Culture Shift
This effort represents a continuation of the trend toward domain-specific languages within the blockchain sector. It builds upon the foundation established by the Aiken programming language to offer developers more specialized tools for modern cryptographic verification.
Developers working within the Cardano ecosystem may eventually shift their workflows to utilize this new language for more efficient proof verification. Adoption will depend on how the language demonstrates practical security advantages over existing tools.
The takeaway
Blockchain developers often face trade-offs between complex functionality and ease of verification. This project suggests a future where cryptographic proofs handle the heavy lifting, potentially making secure decentralized apps more accessible to build.
Further reading
Learn more about the latest innovations in coding within the Language Learning section.
Source note: This article includes information reported by Bitcoinist.
Live Poll
Do you believe new specialized programming languages generally make building blockchain applications easier for users?
