Charles Hoskinson is developing a new programming language for Cardano as the blockchain prepares for its Leios scalability upgrade, according to CryptoSlate. The initiative is intended to support intent-based transactions and proof-carrying data, but it arrives as Cardano’s decentralized-finance activity remains modest compared with larger competing networks.
New language targets more advanced applications
Hoskinson is working with Lucas Rosa, a software engineer at Input Output Global, on the proposed language. It is designed to support intent-based transactions and proof-carrying data, with Groth16 cryptographic proofs used to establish the validity of information or computations.
Intent-based systems allow users to state the result they want from a transaction while software handles execution according to predefined conditions. In financial applications, that model could help coordinate asset exchanges, automated trading instructions and more complex settlement processes.
Proof-carrying data adds a different capability: information can be accompanied by cryptographic evidence supporting its validity. When combined with zero-knowledge proofs, this may allow applications to verify transactions or computations without revealing every underlying detail.
The proposed tools could therefore be relevant to decentralized applications involving automated settlement, confidential verification and interactions between software agents. However, Cardano has not yet published the language’s architecture, performance characteristics or technical specifications, and no launch date was provided.
Rosa previously helped develop Aiken, a Cardano programming language intended to make smart-contract development more accessible. Aiken included a compiler, testing tools and a more familiar syntax, reducing some of the technical barriers associated with Plutus and its Haskell-based development environment.
The new project appears to extend that focus on developer accessibility toward intent-based execution and cryptographic verification. Cardano already supports cryptographic primitives capable of verifying pairing-based zero-knowledge proofs, but the commercial value of the language will depend on how effectively those capabilities are packaged for developers.
Leios raises the question of demand
Hoskinson has also described the forthcoming Ouroboros Leios upgrade as the final component of his original vision for Cardano. That vision includes decentralized consensus and governance, the extended unspent transaction output accounting model, Plutus smart contracts, formal verification and multiple independent node implementations.
Leios is intended to increase Cardano’s processing capacity. Its development roadmap targets a throughput improvement of between 10 and 65 times through phased implementation. The upgrade has not yet been deployed.
Greater capacity could allow the network to handle more demanding applications, but Cardano’s current activity highlights a separate challenge: attracting users, developers and capital. More processing capacity does not automatically create trading demand or deepen the liquidity available to decentralized applications.
According to figures cited by CryptoSlate from DefiLlama, Cardano’s decentralized exchanges handled about $927,000 in transactions during the 24 hours ending October 19. Weekly decentralized-exchange volume was $8.35 million, down 25% from the preceding seven-day period.
Cardano recorded 12,716 active addresses and 28,146 transactions over the same day, generating approximately $2,196 in blockchain fees. Its stablecoin supply was about $70 million. Stablecoins are digital assets designed to track the value of currencies such as the US dollar and are commonly used as trading and settlement liquidity in blockchain-based financial applications.
Cardano’s financial footprint trails Solana
The contrast with Solana illustrates the scale of the adoption gap. Solana held about $5.9 billion in decentralized-finance deposits and processed approximately $1.45 billion in decentralized-exchange transactions over the same 24-hour period. Its stablecoin supply exceeded $15.5 billion.
Cardano’s ADA token had a market capitalization of about $8.3 billion, compared with roughly $62 billion for Solana. Although Solana’s market capitalization was about seven times larger, its decentralized-finance deposits were more than 90 times greater.
That difference matters because decentralized exchanges need liquidity to facilitate larger trades without substantial price movements. Lending applications also depend on deposits and borrowing demand to generate activity. When those pools are small, developers may find it harder to sustain applications, while potential users and capital providers have fewer reasons to join the ecosystem.
The new programming language and Leios therefore address two related but distinct issues. Better tools and more sophisticated execution could make it easier to build applications, while higher throughput could expand the network’s technical ceiling. Neither initiative, on its own, guarantees that developers will find users or that users will bring significant capital.
Moneyiar market picture
Moneyiar data at 22:29 on October 19, 2026, showed ADA trading at $0.2186574639, up 0.24% over 24 hours but down 8.09% over seven days. At 22:28, Gram (GRAM) was $1.3565183387, up 1.03% in 24 hours and down 0.48% over seven days. Nexus (NEX) was $0.0000006714, down 6.13% daily and 17.02% weekly, while BAS stood at $0.0183158516, up 0.38% daily and down 15.35% over seven days.
Cardano’s next test will be whether its technical upgrades translate into measurable activity. Leios still awaits deployment, while the new language has no announced release date. Until those projects become available and attract sustained use, the network’s relatively small financial footprint will remain an important measure of the distance between its technical ambitions and commercial adoption.
