In this article5 sections
Charles Hoskinson said he is developing a new programming language for Cardano himself, working alongside Lucas Rosa, one of the creators of Aiken, according to Cointribune. In an October 18 post on X, Hoskinson said the tool would combine intents, proof-carrying data and Groth16 proofs, and called it the first of its kind.
Hoskinson did not give a name, a code repository, a technical specification or a launch date, Cointribune reported. AMBCrypto likewise noted the post offered no release date.
Also read: Crypto Market Today: Bitcoin Steady Near $86.1K as Cardano Jumps 11%
Key facts
- Hoskinson said the language would support intents and proof-carrying data using Groth16 proofs, per Zycrypto.
- He is collaborating with Lucas Rosa, co-creator of Aiken, a Cardano validator language.
- No public name, code repository, testnet or first application has been announced.
- He made the disclosure on October 18 in reply to a community question about what sets Cardano apart.
- AMBCrypto reported ADA traded near $0.2173, down 1.76% in the session, while ZyCrypto cited CoinGecko at $0.2158, down 2.6% in 24 hours and 13% in seven days.
What intents and proof-carrying data change
An intent-based system lets a user state the outcome they want instead of listing every intermediate step. Cointribune’s example: a trader could ask to swap one token for another only if the final price respects a set limit. Proof-carrying data attaches a cryptographic proof that a calculation or set of rules was followed, so the receiving application checks the proof rather than repeating the work. Groth16, which produces compact and quickly verified proofs, would handle that check.
The project would sit on top of languages Cardano already uses. Plutus has been the network’s long-standing smart-contract environment, Aiken is a newer alternative, and contracts typically compile to UPLC for node validation. Cointribune reported Hoskinson has not said whether the new language replaces Aiken or Plutus or follows the same compilation path. Midnight’s Compact, used on the privacy-focused chain with zero-knowledge proofs, already shares some of these ideas.
Also read: Lubin: No MetaMask Funds Hit as ETH Exit Queue Tops 800K
A chart setup and a crowded calendar
Zycrypto reported Cardano is tracing a weekly cup-and-handle, with analyst Giannis Andreou setting a weekly close above $0.278 as the trigger and a cup-depth target of $0.416. The outlet noted ADA at $0.2158 was about 28.8% below that level, and that a close below $0.16 would invalidate the setup. Cointribune separately reported the network was preparing the Leios upgrade, while AMBCrypto reported Hoskinson’s October 17 post described a Midnight concept as the “magnum opus” of his career and did not say the two projects were the same.
Why it matters
Hoskinson’s disclosure points to an additional development option for Cardano builders rather than a finished product, and the absence of code means its value cannot yet be assessed. The timing matters for two audiences: developers weighing whether to wait for the tool before writing new contracts, and holders watching the chart. Zycrypto’s target ladder, stretching as high as $1.3291, is a forecast, not an outcome, and the pullback it documented shows the gap to the trigger.
This is not financial advice, and crypto markets are volatile and uncertain.
What to watch
The next concrete markers are code: a repository, a name, a testnet or technical specification from Hoskinson, and whether ADA delivers a weekly close above $0.278 or falls below $0.16.
Reported by cointribune.com.
Sources: Cointribune, Zycrypto, Ambcrypto