Charles Hoskinson, the creator of Cardano, is working with developer Lucas Rosa to build a new programming language intended for the blockchain. The language would support intent-based transactions and proof-carrying data using Groth16 cryptographic proofs, according to statements made by Hoskinson. This effort follows his earlier claim that the upcoming Leios scalability upgrade would complete a long-term vision for Cardano, which includes decentralized consensus, governance, smart contracts, and formal verification. The upgrade aims to increase transaction throughput by a factor of 10 to 65 through phased implementation, potentially allowing the network to handle more complex applications.

Despite the technical ambitions, Cardano's economic activity remains limited. Data from DefiLlama shows that decentralized exchanges on the network processed approximately $927,000 in transactions over the 24 hours ending October 19, with weekly volume at $8.35 million — a 25% decline from the prior week. The network recorded 12,716 active addresses and 28,146 transactions during that period, generating about $2,196 in fees. Stablecoin supply on Cardano stands at roughly $70 million, indicating a small pool of dollar-denominated liquidity for trading, lending, and other financial uses.

In comparison, Solana processed $1.45 billion in decentralized exchange volume and held $15.5 billion in stablecoins over the same period, despite a market capitalization about seven times larger than Cardano's $8.3 billion. Cardano's $63 million in total value locked (TVL) reflects a significant gap in DeFi adoption relative to other major blockchains.

Hoskinson described the new programming language as a first-of-its-kind effort, though its architecture and technical specifications have not yet been released. The language would allow users to define desired outcomes for transactions, with the system executing them under predefined conditions. This could simplify operations involving multiple asset exchanges, automated execution, and complex settlement processes. Additionally, proof-carrying data could enable applications to verify transactions or computations without revealing all underlying details, supporting use cases such as confidential verification and automated settlement.

Lucas Rosa's involvement is notable given his prior work on Aiken, a language designed to streamline smart contract development on Cardano by offering a more accessible syntax and tooling compared to the existing Plutus environment. The new project may build on that foundation by integrating intent-based execution and cryptographic verification, features that could become increasingly relevant as decentralized applications incorporate automated trading and autonomous agents.

While improved developer tools may lower barriers to entry, the network's limited liquidity and user activity present ongoing challenges. Expanding demand for Cardano will likely depend not only on technical capabilities but also on attracting capital, users, and sustained engagement with financial applications.