Cardano founder Charles Hoskinson says he is personally developing a new programming language alongside Input Output Global engineer Lucas Rosa, describing the project as a way to make complex blockchain actions easier to express and verify.
Hoskinson, who has returned to hands-on coding work, outlined the effort in a social-media announcement. According to his description, the language would bring together three distinct concepts.
Three Building Blocks
- Transaction intents describe what a user wants to achieve without requiring them to specify every execution step.
- Proof-carrying data attaches evidence that a computation or action meets certain rules.
- Groth16 proofs are compact cryptographic proofs that can be checked efficiently.
In principle, those components could offer Cardano developers another way to build applications that coordinate actions and verify results without placing every underlying calculation on-chain.
What Has Not Been Disclosed
A significant caveat remains: Hoskinson has not publicly released a finished specification, a name for the language or a timetable for general developer access. An announcement on social media about work in progress is not the same as a new production programming environment.
Cardano already supports tools such as Plutus and Aiken, while the separate Midnight privacy network relies on its own developer tooling. For a new language to gain traction, it would have to demonstrate practical advantages, workable security and a developer experience strong enough to encourage adoption.
The concept is ambitious, but the unanswered question is how it progresses from a public description to reviewable code that builders can actually use.
