TL;DR: Cardano founder Charles Hoskinson says he is personally developing a programming language that combines transaction intents, proof-carrying data and Groth16 proofs.
In an exciting development for the Cardano community, founder Charles Hoskinson has announced that he is personally diving into the creation of a new programming language. Partnering with Input Output Global engineer Lucas Rosa, the initiative aims to simplify the expression and verification of complex blockchain actions.
This innovative language is set to integrate three key concepts. First, transaction intents will allow users to articulate their goals without needing to detail every execution step. Second, proof-carrying data will provide the necessary evidence that computations or actions comply with predefined rules. Finally, the incorporation of Groth16 proofs—compact cryptographic proofs that can be quickly verified—will enhance efficiency.
When combined, these components could empower Cardano developers with new methods to construct applications that coordinate actions and verify outcomes without necessitating every underlying calculation to be on-chain.
However, it’s important to note that Hoskinson has yet to unveil a finished specification, a name for the language, or a timeline for when developers can access it. While his social-media announcements are promising, they do not constitute a fully developed programming environment.
Currently, Cardano supports existing tools like Plutus and Aiken, and the separate Midnight privacy network utilizes its own developer resources. For this new language to gain traction, it must demonstrate clear practical advantages, robust security, and an appealing developer experience that would spur adoption.
The ambition behind this project is notable, but it raises an essential question: how will Hoskinson transition from conceptual discussions to publicly reviewable code that developers can utilize?
Written by the News Desk and edited by Samuel Rae.
