CoinDesk
Cardano founder Charles Hoskinson said he is personally developing a new programming language for the network with Input Output Global engineer Lucas Rosa, co-creator of Aiken. The language would combine transaction intents, proof-carrying data and Groth16 proofs. Hoskinson has not disclosed its name, released public code or set a developer release date.
Why it matters
Transaction intents let users describe the outcome they want without specifying every execution step. For example, a trader could request a token swap only if the final price meets defined conditions. Proof-carrying data would attach cryptographic evidence showing that information follows required rules, allowing another application to verify it without repeating the underlying computation.
Groth16 produces compact proofs that can be checked quickly and can demonstrate that a condition was met without exposing the private data behind it. Combined, the three components could help Cardano applications coordinate trades, verify complex conditions and pass validated information between services.
Cardano developers currently use Plutus, which is built on Haskell, and Aiken for smart contracts. Hoskinson's company also developed Compact for confidential applications on the Midnight blockchain, giving the new project a broader language and privacy context within the ecosystem.
Market impact
The immediate impact is on Cardano's development roadmap rather than on a confirmed product launch. A usable language could reduce the complexity of building applications that need conditional execution and zero-knowledge verification, but its effect depends on delivery, documentation and developer adoption.
Until Hoskinson publishes specifications, code or a timeline, the project remains an announced development effort. Developers and ADA investors will be watching for those milestones, as well as evidence that the proposed design works alongside existing Cardano tools.
Frequently asked questions
-
What is Hoskinson building for Cardano?
He is personally developing a new programming language for Cardano with Input Output Global engineer Lucas Rosa. The language is designed for transaction intents, proof-carrying data and Groth16 proofs.
-
How would transaction intents work in the proposed language?
Transaction intents would let users state the outcome they want without specifying every execution step. An application could then execute a token swap only if defined price conditions were met.
-
What role would Groth16 proofs play?
Groth16 proofs can provide compact cryptographic evidence that a condition was met. They can be checked quickly without revealing the private data used to satisfy the condition.
-
How could the language affect Cardano applications?
It could help developers coordinate trades, verify complex conditions and pass validated information between services. The practical effect depends on the language's delivery, documentation and adoption.
-
When will Cardano developers be able to use the new language?
No release date has been announced. Hoskinson has not yet shared the language's name, public code or developer availability timeline.
CryptoSlate
CoinTelegraph
WuBlockchain
CZ Binance
WatcherGuru
Crypto Rank News