Charles Hoskinson is developing a new programming language for Cardano
Cardano founder Charles Hoskinson is developing a new programming language focused on intent-based transactions and Groth16 cryptographic proofs.

Cardano founder Charles Hoskinson is personally developing a new programming language for the Cardano blockchain, working alongside Lucas Rosa, a software engineer at Input Output Global. The new language is designed to handle intent-based transactions and proof-carrying data using Groth16 cryptographic proofs.[1][2][3][4][5]
The language concept is reportedly nearly designed, though its official name, technical specifications, and release timeline have not been publicly disclosed. The Cardano blockchain already supports smart contract development languages including Plutus and Aiken. In tandem, Hoskinson is teasing an initiative involving Midnight, which is expanding into AI-powered cross-chain trading, automated strategies, and digital identity through Midnight Passport.[2][3][5]
The language effort comes as Cardano faces ongoing commercial adoption challenges. According to reporting by CryptoSlate, Cardano held $63 million in decentralized finance assets on Oct. 19, compared to approximately $5.9 billion on Solana.[1][4]
Key facts
- Charles Hoskinson is developing a new Cardano programming language with Input Output Global software engineer Lucas Rosa.
- The programming language is intended to support intent-based transactions and proof-carrying data via Groth16 cryptographic proofs.
- The name, technical specifications, and release date of the new language remain undisclosed.
- Cardano currently supports smart contract programming languages including Plutus and Aiken.
- Cardano held $63 million in DeFi assets on Oct. 19, compared to around $5.9 billion on Solana.
- Midnight is expanding into AI-driven cross-chain trading, automated strategies, and digital identity through Midnight Passport.
Sources · 5 sources
- CR
CryptoSlate@CryptoSlatePost on X ·
.@IOHK_Charles says he is developing a new Cardano programming language for intent-based transactions and proof-carrying data using Groth16 proofs. Cardano held $63M in DeFi assets on Oct. 19, versus about $5.9B on Solana. via @hardeyjumoh https://t.co/D8Qq0hkZ3t
Open source - CN
crypto.news@cryptodotnewsPost on X ·
JUST IN: Charles Hoskinson is building a new programming language for Cardano The language is expected to support intents and proof-carrying data using Groth16 proofs, although its name, technical details and release date remain undisclosed. https://t.co/21lJRvs8sN
Open source - BS
BSCN@BSCNewsPost on X ·
Hoskinson is Building a New Programming Language For Cardano Cardano (@Cardano) cardano:native founder Charles Hoskinson (@IOHK_Charles) says he is personally developing a new programming language for the blockchain. He says it will support intents and proof carrying data using Groth16 proofs. Hoskinson has not revealed its name, technical specifications, or release date. Worth noting, Cardano already supports smart contract languages such as Plutus and Aiken.
Open source - CR
CryptoSlateArticle ·
Hoskinson reveals new code for Cardano, but $63M TVL exposes a gap Charles Hoskinson is developing a new programming language for Cardano as the blockchain approaches a pivotal test of commercial demand. The Cardano founder said he is working with developer Lucas Rosa, a software engineer at Input Output Global, on a language supporting intent-based transactions and proof-carrying data using Groth16 cryptographic proofs. The announcement follows Hoskinson's… Read the full story on CryptoSlate Understand the crypto stories that matter and what to watch next. Get The Catalyst in your inbox
Open source - BL
BlockNews@blocknewsdotcomPost on X ·
🚨UPDATE: Cardano founder Charles Hoskinson reveals he is personally developing a NEW programming language combining transaction intents with cryptographic proofs. Hoskinson is also teasing a major plan involving Midnight midnight-3:native to tackle unresolved challenges in crypto, calling it a potential “signature work.” Meanwhile, Midnight is expanding into AI-powered cross-chain trading, automated strategies and digital identity through Midnight Passport. The concept is reportedly nearly designed, but full details and a launch timeline remain undisclosed.
Open source

