- Charles Hoskinson is developing a new Cardano programming language with engineer Lucas Rosa, focused on intent-based transactions and proof-carrying data.
- Cardano’s DeFi applications hold about $63 million in assets, far below larger smart contract networks such as Solana.
- Hoskinson says the Leios scalability upgrade would complete his original vision, but analysts note that user demand and liquidity remain the central challenges.
Cardano founder Charles Hoskinson has announced work on a new programming language for the network, as the blockchain nears what he describes as a key test of commercial demand. The project arrives while the network’s decentralized finance activity remains modest compared with other large blockchains. The news highlights a tension between Cardano’s technical roadmap and its ability to attract users and capital.
What Happened
Hoskinson said he is collaborating with Lucas Rosa, a software engineer at Input Output Global, on a language designed to support intent-based transactions and proof-carrying data. The design would use Groth16 cryptographic proofs. Intent-based systems allow users to describe the result they want, leaving the software to carry out the steps under set conditions. Proof-carrying data attaches cryptographic evidence to information so its validity can be checked.
The announcement followed Hoskinson’s statement that Leios, a forthcoming scalability upgrade, would complete the original vision he set out for Cardano. He listed the components he considers part of that vision: decentralized consensus and governance, the extended unspent transaction output accounting model, Plutus smart contracts, formal verification, and multiple independent node implementations. Leios is designed to raise transaction throughput, with a phased roadmap targeting improvements of 10 to 65 times.
Data from DefiLlama, cited as of October 19, shows the scale of Cardano’s current activity. The network’s decentralized exchanges processed roughly $927,000 over the previous 24 hours, and weekly trading volume was about $8.35 million, down 25% from the prior seven-day period. Cardano recorded 12,716 active addresses and 28,146 transactions in the same day, with fees of approximately $2,196. Its stablecoin supply stood near $70 million.
Why It Matters
For investors and developers, the gap between Cardano’s technical ambitions and its financial footprint is the central issue. ADA carries a market capitalization of about $8.3 billion, yet DeFi applications on the network hold only about $63 million in assets. Daily trading volume has remained below $1 million in the period reported.
Liquidity affects whether decentralized applications can function well. Exchanges need enough depth to handle larger orders without significant price slippage. Lending platforms depend on both deposits and borrowing demand to generate revenue. When activity is thin, developers may find it harder to sustain products, and new capital has less reason to enter the ecosystem.
For this reason, the new language may matter as much for its potential to attract builders as for its technical features. Better tools can lower the cost of launching applications, but they do not automatically create the users and liquidity that make those applications viable. Readers should treat the project as an effort that depends on future adoption rather than a guaranteed driver of market activity.
Market Context
Solana offers a useful comparison. According to the same DefiLlama data, Solana held approximately $5.9 billion in DeFi deposits and processed about $1.45 billion in decentralized exchange volume over the same 24-hour period. Its stablecoin supply exceeded $15.5 billion. Solana’s market capitalization is roughly $62 billion, about seven times Cardano’s, but its DeFi deposits are more than 90 times larger. The comparison shows how unevenly capital and activity are distributed across competing networks, even when market values are closer.
Rosa’s involvement also has background significance. He previously helped develop Aiken, a language intended to make smart contract development on Cardano more accessible than the Haskell-based environment historically associated with Plutus. Aiken included a compiler, testing tools, and syntax designed to be more familiar to new developers. The new project would extend that work into intent-based execution and cryptographic verification.
Cardano already supports cryptographic primitives capable of verifying pairing-based zero-knowledge proofs. The commercial value of the proposed language will therefore depend partly on how well it packages these existing capabilities into tools that developers can use in practice.
What to Watch Next
Several developments will indicate whether the project can move from announcement to adoption. The first is technical detail. Hoskinson has described the language as the first of its kind, but its architecture, performance characteristics, and specifications have not yet been published. Readers should look for these documents before drawing conclusions about its design.
The second is the rollout of Leios. Its phased implementation will determine whether the claimed throughput gains arrive on schedule and whether they translate into more transactions and applications. Higher capacity alone, however, will not solve the demand question.
The third is on-chain activity. Metrics such as DEX volume, DeFi deposits, stablecoin supply, and active addresses will show whether developer tools and protocol upgrades are drawing new users and capital. Progress on these measures would provide clearer evidence than announcements alone.
Source: original report