Cardano Founder Charles Hoskinson Develops New Programming Language for Blockchain
Cardano founder Charles Hoskinson is personally developing a new programming language for the blockchain network, with a focus on combining transaction intentions with cryptographic proofs that verify whether specified rules have been followed.
Hoskinson disclosed the project in a post on X on Sunday, saying he is working with Lucas Rosa, a software engineer at Input Output Global who co-created Aiken, one of Cardano's main smart contract languages. The proposed language is intended to give developers tools for expressing transaction goals and verifying outcomes through cryptographic evidence.
The project would bring together three technologies: transaction intents, proof-carrying data and Groth16 proofs. However, Hoskinson has not announced the language's name, released public code or provided a date for when developers might be able to use it.
Three Technologies at the Core of the Cardano Language
Transaction intents allow users to specify the outcome they want rather than manually defining every step required to achieve it. For example, a trader could request a token swap that proceeds only if the final price meets predetermined conditions, leaving the application to determine how to execute the transaction.
Proof-carrying data adds cryptographic evidence to information to demonstrate that it satisfies particular rules. Other applications can verify that evidence without repeating all the calculations used to produce it, potentially simplifying the exchange of validated information between services.
The third component, Groth16, is a cryptographic proof system capable of generating compact proofs that computers can verify quickly. Such proofs can demonstrate that a condition has been satisfied without disclosing the private information used to establish it.
Combined, these capabilities could allow developers to create applications that coordinate trades, evaluate complex conditions and transfer verified information between services. Cardano could then verify a compact proof of the result rather than independently repeating every underlying computation.
How the Project Fits Into Cardano's Existing Developer Tools
Cardano developers currently build smart contracts using Plutus, which is based on the Haskell programming language, and Aiken. The proposed language would add another option to the network's development environment, although its precise relationship with the existing tools has not been detailed.
Input Output Global is also developing Midnight, a privacy-focused blockchain associated with Hoskinson. Midnight uses Compact, a programming language designed for applications that handle confidential data.
Hoskinson's direct involvement in the new language is notable because Cardano already has an established engineering organization and existing smart contract development tools. Still, the project's practical capabilities and potential adoption remain uncertain until more technical details and usable code become available.
source: coindesk
Writer: Ethan Collins
Crypto Journalist
Ethan Collins reports on developments across the cryptocurrency and blockchain sector. His work covers market movements, protocol updates, regulatory changes, and emerging trends in digital assets.
He focuses on presenting complex topics in a clear and accessible manner for a broad readership.
Check out other news and articles on Google News
Disclaimer:
The articles on Hokanews are here to keep you updated on the latest buzz in crypto, tech, and beyond—but they’re not financial advice. We’re sharing info, trends, and insights, not telling you to buy, sell, or invest. Always do your own homework before making any money moves.
Hokanews isn’t responsible for any losses, gains, or chaos that might happen if you act on what you read here. Investment decisions should come from your own research—and, ideally, guidance from a qualified financial advisor. Remember: crypto and tech move fast, info changes in a blink, and while we aim for accuracy, we can’t promise it’s 100% complete or up-to-date.